mirror of
https://github.com/boostorg/optional.git
synced 2025-07-30 20:47:18 +02:00
c++boost.gif -> boost.png replacement
[SVN r25573]
This commit is contained in:
@ -9,7 +9,7 @@
|
||||
</HEAD>
|
||||
|
||||
<BODY BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#0000FF" VLINK="#800080">
|
||||
<H2><IMG SRC="../../../c++boost.gif" WIDTH="276" HEIGHT="86">Header <<A
|
||||
<H2><IMG SRC="../../../boost.png" WIDTH="276" HEIGHT="86">Header <<A
|
||||
HREF="../../../boost/optional.hpp">boost/optional.hpp</A>> </H2>
|
||||
|
||||
<H2>Contents</H2>
|
||||
@ -115,7 +115,7 @@ if ( p.second )
|
||||
One of the typical ways in which this has been historically
|
||||
dealt with is via a special value: EOF,npos,-1, etc... This is equivalent to adding
|
||||
the special value to the set of possible values of a given type. This super set of
|
||||
T plus some <i>nil_t</i>—were nil_t is some stateless POD<EFBFBD>can be modeled in modern
|
||||
T plus some <i>nil_t</i>—were nil_t is some stateless POD-can be modeled in modern
|
||||
languages as a <b>discriminated union</b> of <code>T</code> and <code>nil_t</code>.
|
||||
Discriminated unions are often called <i>variants</i>. A variant has a <i>current type</i>,
|
||||
which in our case is either <code>T</code> or <code>nil_t</code>.<br>
|
||||
|
Reference in New Issue
Block a user