Created on 2011-08-16.00:00:00 last changed 101 months ago
[Moved to DR at the October, 2012 meeting.]
Proposed resolution (February, 2012):
Change 6.9.1 [intro.execution] paragraph 10 as follows:
A full-expression is an expression that is not a subexpression of another expression. If a language construct...
Change Clause 7 [expr] paragraph 7 as follows:
...An unevaluated operand is not evaluated. [Note:...
[Drafting note: This uniformly handles sizeof(A()), noexcept(A()), typeid(A()), and decltype(A()) with regard to the semantic requirements on ~A (accessible and not deleted), which might be checked via SFINAE. A programmer can use decltype(new A) to avoid considering the destructor. If this is undesired, an alternative change just addresses the noexecept issue:]
[Editing note: all the occurrences of “potentially evaluated” in 188.8.131.52 [expr.unary.noexcept] paragraph 3 should be hyphenated.]
The result of the noexcept operator does not consider possible exceptions thrown by the destructors for temporaries created in the operand expression.
|2014-03-03 00:00:00||admin||set||status: drwp -> cd3|
|2013-05-03 00:00:00||admin||set||status: dr -> drwp|
|2012-11-03 00:00:00||admin||set||messages: + msg4134|
|2012-11-03 00:00:00||admin||set||status: ready -> dr|
|2012-02-27 00:00:00||admin||set||status: review -> ready|
|2011-09-06 00:00:00||admin||set||messages: + msg3502|