Created on 2014-04-18.00:00:00 last changed 49 months ago
[Moved to DR at the May, 2015 meeting.]
Proposed resolution (November, 2014):
Change _N4750_.15.8 [class.copy] paragraph 31 as follows:
...This elision of copy/move operations, called copy elision, is permitted in the following circumstances (which may be combined to eliminate multiple copies):
in a return statement in a function with a class return type, when the
expressionis the name of a non-volatile automatic object (other than a function or catch-clauseparameter ) with the same cv-unqualifiedtype as the function return type, the copy/move operation can be omitted by constructing the automatic object directly into the function's return value
in a throw-expression...
when a temporary class object that has not been bound to a reference (6.7.7 [class.temporary]) would be copied/moved to a class object with the same
cv-unqualifiedtype , the copy/move operation can be omitted by constructing the temporary object directly into the target of the omitted copy/move
when the exception-declaration...
_N4750_.15.8 [class.copy] paragraph 31 uses the phrase, “same cv-unqualified type,” twice. This is ambiguous, potentially either requiring that the types not be cv-qualified or meaning that cv-qualification should be ignored. The latter meaning is intended and the phrase should be replaced accordingly.
|2017-02-06 00:00:00||admin||set||status: drwp -> cd4|
|2015-11-10 00:00:00||admin||set||status: dr -> drwp|
|2015-05-25 00:00:00||admin||set||messages: + msg6056|
|2015-05-25 00:00:00||admin||set||status: tentatively ready -> dr|
|2014-11-24 00:00:00||admin||set||messages: + msg5167|
|2014-11-24 00:00:00||admin||set||status: drafting -> tentatively ready|
|2014-07-07 00:00:00||admin||set||status: open -> drafting|