Boost-Commit :

Date view	Thread view	Subject view	Author view

Subject: [Boost-commit] svn:boost r60523 - sandbox/committee/rvalue_ref
From: dgregor_at_[hidden]
Date: 2010-03-12 11:39:15

Next message: dgregor_at_[hidden]: "[Boost-commit] svn:boost r60524 - sandbox/committee/exceptions"
Previous message: steven_at_[hidden]: "[Boost-commit] svn:boost r60522 - branches/units/autoprefix/libs/units/test"

Author: dgregor
Date: 2010-03-12 11:39:14 EST (Fri, 12 Mar 2010)
New Revision: 60523
URL: http://svn.boost.org/trac/boost/changeset/60523

Log:
Final pre-N version
Text files modified:
   sandbox/committee/rvalue_ref/rst.css | 1
   sandbox/committee/rvalue_ref/throwing-move.rst | 62 +++++++++++++++++++++++++++------------
   2 files changed, 43 insertions(+), 20 deletions(-)

Modified: sandbox/committee/rvalue_ref/rst.css
==============================================================================
--- sandbox/committee/rvalue_ref/rst.css (original)
+++ sandbox/committee/rvalue_ref/rst.css 2010-03-12 11:39:14 EST (Fri, 12 Mar 2010)
@@ -283,6 +283,7 @@

.ins {background-color:#A0FFA0;text-decoration:underline}
.del {background-color:#FFA0A0;text-decoration:line-through}
+.ed {background-color:#FFFF00}

.grammar { padding: 0 }

Modified: sandbox/committee/rvalue_ref/throwing-move.rst
==============================================================================
--- sandbox/committee/rvalue_ref/throwing-move.rst (original)
+++ sandbox/committee/rvalue_ref/throwing-move.rst 2010-03-12 11:39:14 EST (Fri, 12 Mar 2010)
@@ -183,7 +183,7 @@

The only impact of such an exception-specification is this: if a
function decorated with ``noexcept(true)`` throws an exception, the
-behavior is undefined. [#no-diagnostic]_ That effect is sufficient to
+the implementation is required to call ``std::terminate()`` but it is implementation-defined whether the stack is unwound. [#no-diagnostic]_ That effect is sufficient to
allow these *xxx*\ ``_nothrow_``\ *xxx* traits to report ``true`` for
any operation decorated with ``noexcept(true)``. Class maintainers could
label their move constructors ``noexcept(true)`` to indicate non-throwing
@@ -298,6 +298,8 @@

* N3050 (post-Pittsburgh mailing):

+ * If an exception escapes a ``noexcept`` function, the implementation is required to call ``std::terminate()``. In prior drafts, the behavior was undefined if an exception escapes a ``noexcept`` function.
+
 * Added cross-reference in [expr]p8 to refer to the noexcept operator as having an unevaluated operand.

 * Clarified that the noexcept operator's result is an rvalue.
@@ -324,6 +326,8 @@

.. role:: del

+.. role:: ed
+
.. role:: insc(ins)
 :class: ins code

@@ -452,7 +456,6 @@
 ( *type-id* ) *cast-expression*
 :raw-html:`noexcept ( expression )`

-
15.4 Exception specifications [except.spec]
===========================================

@@ -490,21 +493,40 @@

 .. comment :raw-html:`, if its noexcept-specification is <code>noexcept(false)</code>, or if the function has no exception-specification`.

+ 8 Whenever an exception is thrown and the search for a handler (15.3) encounters the outermost block of a function with an *exception-specification* :ins:`that does not allow the exception, then:`
+
+ * :raw-html:`if the exception-specification is a dynamic-exception-specification, ` the function ``std::unexpected()`` is called (15.5.2) :ins:`,`
+
+ * :raw-html:`otherwise, the function <code>std::terminate()</code> is called (15.5.1)`.
+
+ :del:`, if the exception- specification does not allow the exception.`
+
 11 A function with no *exception-specification* :raw-html:`, or with an exception-specification of the form <code>noexcept(constant-expression)</code> where the constant-expression yields <code>false</code>,` allows all exceptions. :raw-html:`An exception-specification is non-throwing if it is of the form <code>throw()</code>, <code>noexcept</code>, or <code>noexcept(constant-expression)</code> where the constant-expression yields <code>true</code>.` A function with :del:`an empty` :ins:`a non-throwing` *exception-specification* :raw-html:`, <code>throw()</code>,` does not allow any exceptions.

 14 In :raw-html:`an dynamic-exception-specification,` a *type-id* followed by an ellipsis is a pack expansion (14.6.3).

-Add the following new paragraph:
+.. comment:

- :raw-html:`15 If a function with a
+ Add the following new paragraph:
+
+ :raw-html:`15 Except for differences in run-time
+ behaviour when the search for an exception handler exits a
+ function with a non-throwing exception-specification (15.3), a
+ noexcept-specification whose constant-expression
+ yields <code>true</code> is equivalent to the
+ dynamic-exception-specification <code>throw()</code>. A
 noexcept-specification whose constant-expression
- yields <code>true</code> throws an exception, the behavior is
- undefined. A noexcept-specification whose
- constant-expression yields <code>true</code> is in all
- other respects equivalent to the exception-specification
- <code>throw()</code>. A noexcept-specification whose
- constant-expression yields <code>false</code> is equivalent
- to omitting the exception-specification altogether.`
+ yields <code>false</code> is equivalent to omitting the
+ exception-specification altogether.`
+
+15.5.1 The ``std::terminate()`` function [except.terminate]
+===========================================================
+
+Add the following bullet to paragraph 1 after the 2nd bullet:
+
+ * :raw-html:`when the search for a handler (15.3) encounters the outermost block of a function with a noexcept-specification that does not allow the exception (15.4), or`
+
+ 2 In such cases, ``std::terminate()`` is called (18.8.3). In the situation where no matching handler is found, it is implementation-defined whether or not the stack is unwound before ``std::terminate()`` is called. :raw-html:`In the situation where the search for a handler (15.3) encounters the outermost block of a function with a noexcept-specification that does not allow the exception (15.4), it is implementation-defined whether or not the stack is unwound before <code>std::terminate()</code> is called.` In all other situations, the stack shall not be unwound before ``std::terminate()`` is called. An implementation is not permitted to finish stack unwinding prematurely based on a determination that the unwind process will eventually cause a call to ``std::terminate()``.

.. comment

@@ -582,13 +604,13 @@
 template <class T, class... Args> struct is_nothrow_constructible;
 :ins:`template <class T> struct has_default_constructor;`
 :ins:`template <class T> struct has_copy_constructor;`
- :ins:`template <class T> struct has_assign;`
+ :ins:`template <class T> struct has_copy_assign;`
 :ins:`template <class T> struct has_move_constructor;`
 :ins:`template <class T> struct has_move_assign;`
 template <class T> struct has_trivial_default_constructor;
 template <class T> struct has_trivial_copy_constructor;
 :ins:`template <class T> struct has_trivial_move_constructor;`
- template <class T> struct has_trivial_assign;
+ template <class T> struct :raw-html:`<code>has_trivial_copy_assign</code>`;
 :ins:`template <class T> struct has_trivial_move_assign;`
 template <class T> struct has_trivial_destructor;
 template <class T> struct has_nothrow_default_constructor;
@@ -622,17 +644,17 @@
 * - :raw-html:`<code>template <class T&gt struct has_move_constructor;</code>`
 - :raw-html:`<code>is_constructible<U, U&&>::value</code> is true, where <code>U</code> is <code>remove_all_extents<T>::type.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
- * - :raw-html:`<code>template <class T> struct has_assign;</code></ins>`
+ * - :raw-html:`<code>template <class T> struct has_copy_assign;</code></ins>`
 - :raw-html:`<code>T</code> is neither <code>const</code> nor a reference type, and <code>T</code> is a trivial type (3.9) or the expression <code>*(U*)0 = declval<const U&>()</code> is well-formed when treated as an unevaluated operand (Clause 5), where <code>U</code> is <code>remove_all_extents<T>::type</code>.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - :raw-html:`<code>template <class T> struct has_move_assign;</code></ins>`
 - :raw-html:`<code>T</code> is neither <code>const</code> nor a reference type, and <code>T</code> is a trivial type (3.9) or the expression <code>*(U*)0 = declval()</code> is well-formed when treated as an unevaluated operand (Clause 5), where <code>U</code> is <code>remove_all_extents<T>::type</code>.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - :raw-html:`<code>template <class T> struct has_trivial_move_constructor;</code></ins>`
- - :raw-html:`<code>T</code> is a trivial type (3.9).`
+ - :raw-html:`<code>T</code> is a trivial type (3.9) or a reference type.` :ed:`N3053 has similar wording for this trait. If both papers are accepted, use N3053's wording.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - :raw-html:`<code>template <class T> struct has_trivial_move_assign;</code></ins>`
- - :raw-html:`<code>T</code> is neither <code>const</code> nor a reference type, and <code>T</code> is a trivial type (3.9).`
+ - :raw-html:`<code>T</code> is neither <code>const</code> nor a reference type, and <code>T</code> is a trivial type (3.9).` :ed:`N3053 has similar wording for this trait. If both papers are accepted, use N3053's wording.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - ``template <class T> struct has_nothrow_default_constructor;``
 - ``has_trivial_default_constructor<T>::value`` is ``true`` or :raw-html:`<code>T</code> is a class type with a default constructor that is known not to throw any exceptions or <code>T</code> is an array of such a class type<code>is_nothrow_constructible::value</code> is <code>true</code>, where <code>U</code> is <code>remove_all_extents<T>::type</code>`.
@@ -641,13 +663,13 @@
 - ``has_trivial_copy_constructor<T>::value`` is ``true`` or :raw-html:`<code>T</code> is a class type with a default constructor that is known not to throw any exceptions or <code>T</code> is an array of such a class type<code>is_nothrow_constructible<U, const U&>::value</code> is <code>true</code>, where <code>U</code> is <code>remove_all_extents<T>::type</code>`.
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - :raw-html:`<code>template <class T&gt struct has_nothrow_move_constructor;</code>`
- - :raw-html:`<code>has_trivial_move_constructor<T>::value</code> is <code>true</code> or <code>is_nothrow_constructible<U, U&&>::value</code> is <code>true</code>, where <code>U</code> is <code>remove_all_extents<T>::type</code>.`
+ - :raw-html:`<code>has_trivial_move_constructor<T>::value</code> is <code>true</code> or <code>is_nothrow_constructible<U, U&&>::value</code> is <code>true</code>, where <code>U</code> is <code>remove_all_extents<T>::type</code>.` :ed:`This new trait has an identical specification in N3053.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
- * - ``template <class T> struct has_nothrow_assign;``
- - ``T`` is neither ``const`` nor a reference type, and ``has_trivial_assign<T>::value`` is ``true`` or :raw-html:`<code>T</code> is a class type whose copy assignment operators taking an lvalue of type <code>T</code> are all known not to throw any exceptions or T is an array of such a class type<code>has_assign<T>::value</code> is true and <code>noexcept(*(U*)0 = declval<const U&>())</code> is true, where <code>U</code> is <code>remove_all_extents<T>::type</code>.`
+ * - ``template <class T> struct`` :raw-html:`<code>has_nothrow_copy_assign;</code>`
+ - :raw-html:`<code>T</code> is neither <code>const</code> nor a reference type, and ` ``has_trivial_copy_assign<T>::value`` is ``true`` or :raw-html:`<code>T</code> is a class type whose copy assignment operators taking an lvalue of type <code>T</code> are all known not to throw any exceptions or T is an array of such a class typethe expression <code>noexcept(*(U*)0 = declval<const U&>())</code> is well-formed and true, where <code>U</code> is <code>remove_all_extents<T>::type</code>.`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`
 * - :raw-html:`<code>template <class T> struct has_nothrow_move_assign;</code>`
- - :raw-html:`<code>has_trivial_move_assign<T>::value</code> is true and <code>T</code> is a trivial type (3.9) or <code>has_move_assign<T>::value</code> is true and the expression <code>noexcept(*(U*)0 = declval())</code> is true, where <code>U</code> is <code>remove_all_extents<T>::type</code>..`
+ - :raw-html:`<code>has_trivial_move_assign<T>::value</code> is true and <code>T</code> is a trivial type (3.9) or the expression <code>noexcept(*(U*)0 = declval())</code> is well-formed and true, where <code>U</code> is <code>remove_all_extents<T>::type</code>..`
 - :raw-html:`<code>T</code> shall be a complete type, (possibly cv-qualified) void, or an array of unknown bound.`

23.3.2.3 deque modifiers [deque.modifiers]

Next message: dgregor_at_[hidden]: "[Boost-commit] svn:boost r60524 - sandbox/committee/exceptions"
Previous message: steven_at_[hidden]: "[Boost-commit] svn:boost r60522 - branches/units/autoprefix/libs/units/test"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk