• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2<html><meta http-equiv="Content-Type" content="text/html; charset=utf-8">
3<title>value_or_error&lt;T&gt; - Boost.Outcome documentation</title>
4<link rel="stylesheet" href="../../css/boost.css" type="text/css">
5<meta name="generator" content="Hugo 0.52 with Boostdoc theme">
6<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7
8<link rel="icon" href="../../images/favicon.ico" type="image/ico"/>
9<body><div class="spirit-nav">
10<a accesskey="p" href="../../reference/concepts/basic_result.html"><img src="../../images/prev.png" alt="Prev"></a>
11    <a accesskey="u" href="../../reference/concepts.html"><img src="../../images/up.png" alt="Up"></a>
12    <a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../../reference/concepts/value_or_none.html"><img src="../../images/next.png" alt="Next"></a></div><div id="content">
13  <div class="titlepage"><div><div><h1 style="clear: both"><code>value_or_error&lt;T&gt;</code></h1></div></div></div>
14  <p>If on C++ 20 or the Concepts TS is enabled, a boolean concept matching types with a public <code>.has_value()</code> observer which returns <code>bool</code>, a public <code>.value()</code> observer function, and a public <code>.error()</code> observer function.</p>
15
16<p>If without Concepts, a static constexpr bool which is true for types matching the same requirements, using a SFINAE based emulation.</p>
17
18<p>This concept matches expected-like types such as
19<a href="https://wg21.link/P0323" class="api-reference" target="_blank"><i class="fa fa-book" aria-hidden="true"></i> P0323 <code>std::expected&lt;T, E&gt;</code></a>
20, one of which is <a href="../../reference/types/basic_result.html" class="api-reference"><code>basic_result&lt;T, E, NoValuePolicy&gt;</code></a>
21. Be aware it does not differentiate between value-<em>or</em>-error types and value-<em>and</em>-error types if they present the interface matched above.</p>
22
23<p>If you want a concept matching specifically <a href="../../reference/types/basic_result.html" class="api-reference"><code>basic_result&lt;T, E, NoValuePolicy&gt;</code></a>
24, see <a href="../../reference/concepts/basic_result.html" class="api-reference"><code>basic_result&lt;T&gt;</code></a>
25.</p>
26
27<p><em>Namespace</em>: <code>BOOST_OUTCOME_V2_NAMESPACE::concepts</code></p>
28
29<p><em>Header</em>: <code>&lt;boost/outcome/convert.hpp&gt;</code></p>
30
31<p><em>Legacy</em>: This was named <code>convert::ValueOrError&lt;T&gt;</code> in Outcome v2.1 and earlier. Define <a href="../../reference/macros/enable_legacy_support_for.html" class="api-reference"><code>BOOST_OUTCOME_ENABLE_LEGACY_SUPPORT_FOR</code></a>
32 to <code>210</code> or lower to enable.</p>
33
34
35        </div><p><small>Last revised: May 24, 2020 at 12:48:39 &#43;0100</small></p>
36<hr>
37<div class="spirit-nav">
38<a accesskey="p" href="../../reference/concepts/basic_result.html"><img src="../../images/prev.png" alt="Prev"></a>
39    <a accesskey="u" href="../../reference/concepts.html"><img src="../../images/up.png" alt="Up"></a>
40    <a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../../reference/concepts/value_or_none.html"><img src="../../images/next.png" alt="Next"></a></div></body>
41</html>
42