Title
Incorrect reference to trailing-return-type
Status
cd4
Section
7.5.5 [expr.prim.lambda]
Submitter
Mike Miller

Created on 2014-06-16.00:00:00 last changed 49 months ago

Messages

Date: 2015-05-15.00:00:00

[Moved to DR at the May, 2015 meeting.]

Date: 2014-11-15.00:00:00

Proposed resolution (November, 2014):

  1. Change 7.5.5 [expr.prim.lambda] paragraph 4 as follows:

  2. 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 type specified by the trailing-return-type if provided and/or deduced from return statements as described in 9.2.9.6 [dcl.spec.auto]. [Example:...
  3. Change 9.3.4.6 [dcl.fct] paragraph 2 as follows:

  4. 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 U, where U is the type specified by the trailing-return-type. The optional attribute-specifier-seq...
Date: 2014-06-16.00:00:00

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 9.3.4.6 [dcl.fct] paragraph 2, “...returning trailing-return-type” should be similarly adjusted.

History
Date User Action Args
2017-02-06 00:00:00adminsetstatus: drwp -> cd4
2015-11-10 00:00:00adminsetstatus: dr -> drwp
2015-05-25 00:00:00adminsetmessages: + msg6044
2015-05-25 00:00:00adminsetstatus: tentatively ready -> dr
2014-11-24 00:00:00adminsetmessages: + msg5161
2014-11-24 00:00:00adminsetstatus: open -> tentatively ready
2014-06-16 00:00:00admincreate