56 lines
3.6 KiB
HTML
56 lines
3.6 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|
<html><meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<title>Interoperation - Boost.Outcome documentation</title>
|
|
<link rel="stylesheet" href="../../css/boost.css" type="text/css">
|
|
<meta name="generator" content="Hugo 0.52 with Boostdoc theme">
|
|
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
|
|
|
|
<link rel="icon" href="../../images/favicon.ico" type="image/ico"/>
|
|
<body><div class="spirit-nav">
|
|
<a accesskey="p" href="../../tutorial/advanced/hooks/hook_outcome.html"><img src="../../images/prev.png" alt="Prev"></a>
|
|
<a accesskey="u" href="../../tutorial/advanced.html"><img src="../../images/up.png" alt="Up"></a>
|
|
<a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../../tutorial/advanced/interop/problem.html"><img src="../../images/next.png" alt="Next"></a></div><div id="content">
|
|
|
|
<div class="titlepage"><div><div><h1 style="clear: both">Interoperation</h1></div></div></div>
|
|
<p>This is the final section of the tutorial, and it is unavoidably quite lengthy
|
|
as we are going to tie together all of the material covered in the tutorial
|
|
so far into a single, unified, application of Outcome’s facilities.</p>
|
|
|
|
<p>One thing which Outcome solves – and which alternatives do not – is how to
|
|
<strong>non-intrusively</strong> tie together multiple third party libraries, each using
|
|
Outcome – or some other <code>T|E</code> implementatation like
|
|
<a href="https://wg21.link/P0323" class="api-reference" target="_blank"><i class="fa fa-book" aria-hidden="true"></i> P0323 <code>std::expected<T, E></code></a>
|
|
|
|
– with custom incommensurate <code>E</code> types, or indeed arbitrary return
|
|
types which are “split” <code>T|E</code> return types. Solving
|
|
this well is the <em>coup de grâce</em> of Outcome against alternative approaches
|
|
to this problem domain,
|
|
including <code>std::expected<T, E></code>. It is the major reason why you should
|
|
consider using Outcome over alternatives, including Expected.</p>
|
|
|
|
<p>Firstly we shall explore some of the problems faced by the software
|
|
developer when <code>T|E</code> return type based code proliferates at scale,
|
|
where dozens of libraries may be using completely incompatible <code>T|E</code> return types.</p>
|
|
|
|
<p>Secondly we shall introduce the <code>ValueOrError</code> concept support in Outcome,
|
|
which implements a subset of the proposed <a href="https://wg21.link/P0786">WG21 <code>ValueOrError</code>
|
|
concept framework</a>.</p>
|
|
|
|
<p>Finally, we shall then step through a worked example which mocks up a realistic
|
|
situation that the software developer may find themselves in: tying
|
|
together disparate third party libraries, whose source code cannot be
|
|
modified, into an application-wide, mixed-mode <code>T|E</code> and exception
|
|
throwing universal error handling system which is capable of
|
|
accurately representing the original failure, but also propagating it
|
|
in a way that the application can deal with universally.</p>
|
|
|
|
|
|
|
|
</div><p><small>Last revised: February 08, 2019 at 22:18:08 UTC</small></p>
|
|
<hr>
|
|
<div class="spirit-nav">
|
|
<a accesskey="p" href="../../tutorial/advanced/hooks/hook_outcome.html"><img src="../../images/prev.png" alt="Prev"></a>
|
|
<a accesskey="u" href="../../tutorial/advanced.html"><img src="../../images/up.png" alt="Up"></a>
|
|
<a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../../tutorial/advanced/interop/problem.html"><img src="../../images/next.png" alt="Next"></a></div></body>
|
|
</html>
|