diff options
Diffstat (limited to 'libs/variant/doc/design.xml')
-rw-r--r-- | libs/variant/doc/design.xml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/libs/variant/doc/design.xml b/libs/variant/doc/design.xml index 857d39e36..756a6bdde 100644 --- a/libs/variant/doc/design.xml +++ b/libs/variant/doc/design.xml @@ -276,29 +276,6 @@ </para> - <para><emphasis role="bold">Caveat</emphasis>: On most platforms, the - <libraryname>Type Traits</libraryname> templates - <code>has_nothrow_copy</code> and <code>has_nothrow_constructor</code> - by default return <code>false</code> for all <code>class</code> and - <code>struct</code> types. It is necessary therefore to provide - specializations of these templates as appropriate for user-defined - types, as demonstrated in the following: - -<programlisting>// ...in your code (at file scope)... - -namespace boost { - - template <> - struct <classname>has_nothrow_copy</classname>< myUDT > - : <classname>mpl::true_</classname> - { - }; - -} -</programlisting> - - </para> - <para><emphasis role="bold">Implementation Note</emphasis>: So as to make the behavior of <code>variant</code> more predictable in the aftermath of an exception, the current implementation prefers to default-construct |