Title
Temporary materialization conversion for noexcept operator
Status
drwp
Section
7.6.2.7 [expr.unary.noexcept]
Submitter
Brian Bi

Created on 2023-04-24.00:00:00 last changed 12 months ago

Messages

Date: 2023-06-13.13:15:31

Proposed resolution (approved by CWG 2023-05-12):

Change in 7.6.2.7 [expr.unary.noexcept] paragraph 3 as follows:

If the operand is a prvalue, the temporary materialization conversion (7.3.5 [conv.rval]) is applied. The result of the noexcept operator is true unless the expression full-expression of the operand is potentially-throwing (14.5 [except.spec]).
Date: 2023-06-15.00:00:00

[Accepted as a DR at the June, 2023 meeting.]

It is unclear whether noexcept(A()) applies the temporary materialization conversion to the prvalue A(). The resolution of issue 1354 suggests that it does so that the destructor is (notionally) invoked.

History
Date User Action Args
2023-12-19 10:15:28adminsetstatus: dr -> drwp
2023-07-16 13:00:43adminsetstatus: ready -> dr
2023-05-12 20:59:33adminsetstatus: open -> ready
2023-04-24 20:28:54adminsetmessages: + msg7257
2023-04-24 00:00:00admincreate