ISO/IEC JTC1 SC22 WG21 P0615R0
Group: WG21
Jens Maurer
2017-03-01
Change in 7 [dcl.dcl] paragraph 8:
A simple-declaration with an identifier-list is called aChange in 7.1.7.2 [dcl.type.simple] paragraph 4:decompositionstructured binding declaration (8.5 [dcl.decomp]).
For an expression e, the type denoted by decltype(e) is defined as follows:Change in 7.1.7.4 [dcl.spec.auto] paragraph 1:
- if e is an unparenthesized id-expression naming
an lvalue or reference introduced from the identifier-list of a decomposition declarationa structured binding (8.5 [dcl.decomp]),decltype(e)
is the referenced type as given in the specification of thedecompositionstructured binding declaration(8.5 [dcl.decomp]);- ...
TheChange the section heading and paragraph 1 of 8.5 [dcl.decomp]:auto
type-specifier is also used to introduce adecompositionstructured binding declaration (8.5 [dcl.decomp]).
8.5Change in 14.6.2.2 [temp.dep.expr] paragraph 3:DecompositionStructured binding declarations[dcl.decomp][dcl.struct.bind]A
decompositionstructured binding declaration introduces the identifiers v0, v1, v2 , ... of the identifier-list as names (3.3.1), called structured bindings. ... ... where the declaration is never interpreted as a function declaration and the parts of the declaration other than the declarator-id are taken from the correspondingdecompositionstructured binding declaration. ...
An id-expression is type-dependent if it containsChange in Annex B [implimits]:
- ...
- an identifier associated by name lookup with a
decompositionstructured binding declaration (8.5) whose brace-or-equal-initializer is type-dependent,- ...
- ...
IdentifiersStructured bindings introduced in onedecompositiondeclaration [256].- ...