Dependent calls with braced-init-lists containing a pack expansion
13.8.3 [temp.dep]
James Widman

Created on 2011-04-10.00:00:00 last changed 49 months ago


Date: 2014-11-15.00:00:00

[Moved to DR at the November, 2014 meeting.]

Date: 2014-02-15.00:00:00

Proposed resolution (February, 2014):

  1. Change 13.8.3 [temp.dep] paragraph 1 as follows:

  2. ...In an expression of the form:

      postfix-expression ( expression-listopt )

    where the postfix-expression is an unqualified-id, the unqualified-id denotes a dependent name if

    • any of the expressions in the expression-list is a pack expansion (13.7.4 [temp.variadic]),

    • any of the expressions or braced-init-lists in the expression-list is a type-dependent expression ( [temp.dep.expr]), or

    • if the unqualified-id is...

  3. Add the following as a new paragraph at the end of [temp.dep.expr]:

  4. A class member access expression ( [expr.ref]) is type-dependent if...

    A braced-init-list is type-dependent if any element is type-dependent or is a pack expansion.

Date: 2011-04-10.00:00:00

The discussion of issue 1233 revealed that the dependency of function calls involving a braced-init-list containing a pack expansion is not adequately addressed by the existing wording.

Date User Action Args
2017-02-06 00:00:00adminsetstatus: drwp -> cd4
2015-05-25 00:00:00adminsetstatus: dr -> drwp
2015-04-13 00:00:00adminsetmessages: + msg5414
2014-11-24 00:00:00adminsetstatus: ready -> dr
2014-03-03 00:00:00adminsetmessages: + msg4853
2014-03-03 00:00:00adminsetstatus: drafting -> ready
2011-04-10 00:00:00admincreate