CWG2867 Order of initialization for structured bindings

Author: burblebee

source/basic.tex

@@ -4495,7 +4495,7 @@
 \pnum
 \indextext{initializer!temporary and declarator}%
 \indextext{temporary!order of destruction of}%
-There are four contexts in which temporaries are destroyed at a different
+There are five contexts in which temporaries are destroyed at a different
 point than the end of the full-expression.
 The first context is when a default constructor is called to initialize
 an element of an array with no corresponding initializer\iref{dcl.init}.
@@ -4621,6 +4621,14 @@
 the object persists for the lifetime of the reference
 initialized by the \grammarterm{for-range-initializer}.
 
+\pnum
+The fifth context is when a temporary object
+is created in a structured binding declaration\iref{dcl.struct.bind}.
+Any temporary objects introduced by
+the \grammarterm{initializer}{s} for the variables
+with unique names
+are destroyed at the end of the structured binding declaration.
+
 \pnum
 Let \tcode{x} and \tcode{y} each be either
 a temporary object whose lifetime is not extended, or
@@ -5906,7 +5914,8 @@
 \item
 an immediate invocation\iref{expr.const},
 \item
-an \grammarterm{init-declarator}\iref{dcl.decl} or
+an \grammarterm{init-declarator}\iref{dcl.decl}
+(including such introduced by a structured binding\iref{dcl.struct.bind}) or
 a \grammarterm{mem-initializer}\iref{class.base.init},
 including the constituent expressions of the initializer,
 \item

source/declarations.tex

@@ -7099,6 +7099,10 @@
 Each $\tcode{v}_i$ is the name of an lvalue of type $\tcode{T}_i$
 that refers to the object bound to $\tcode{r}_i$;
 the referenced type is $\tcode{T}_i$.
+The initialization of \exposid{e} is
+sequenced before the initialization of any $\tcode{r}_i$.
+The initialization of each $\tcode{r}_i$ is
+sequenced before the initialization of any $\tcode{r}_j$ where $i < j$.
 
 \pnum
 Otherwise,