Created on 2014-06-16.00:00:00 last changed 49 months ago
[Moved to DR at the May, 2015 meeting.]
Proposed resolution (November, 2014):
Change 7.5.5 [expr.prim.lambda] paragraph 4 as follows:
If a lambda-expression does not include a lambda-declarator, it is as if the lambda-declarator were (). The lambda return type is auto, which is replaced by the trailing-return-type if provided and/or deduced from return statements as described in 22.214.171.124 [dcl.spec.auto]. [Example:...
Change 126.96.36.199 [dcl.fct] paragraph 2 as follows:
The type of the declarator-id in D is “derived-declarator-type-list function of (parameter-declaration-clause) cv-qualifier-seqopt ref-qualifieropt returning
trailing-return-type”. The optional attribute-specifier-seq...
According to 7.5.5 [expr.prim.lambda] paragraph 4,
If a lambda-expression does not include a lambda-declarator, it is as if the lambda-declarator were (). The lambda return type is auto, which is replaced by the trailing-return-type if provided...
trailing-return-type is a syntactic nonterminal that includes the -> and thus cannot be used directly to refer to the type. It should instead say something like, ...the type specified by the trailing-return-type.
The reference in 188.8.131.52 [dcl.fct] paragraph 2, “...returning trailing-return-type” should be similarly adjusted.
|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: + msg6044|
|2015-05-25 00:00:00||admin||set||status: tentatively ready -> dr|
|2014-11-24 00:00:00||admin||set||messages: + msg5161|
|2014-11-24 00:00:00||admin||set||status: open -> tentatively ready|