From Jason Turner

[except.ctor]

Diff to HTML by rtfpessoa

tmp/tmp8xjx1dtx/{from.md → to.md} RENAMED
@@ -1,6 +1,6 @@
1
- ## Constructors and destructors <a id="except.ctor">[[except.ctor]]</a>
2
 
3
  As control passes from the point where an exception is thrown to a
4
  handler, objects are destroyed by a process, specified in this
5
  subclause, called *stack unwinding*.
6
 
@@ -46,12 +46,12 @@ initialization and whose initialization has completed [[dcl.init]].
46
  [*Note 1*: If such an object has a reference member that extends the
47
  lifetime of a temporary object, this ends the lifetime of the reference
48
  member, so the lifetime of the temporary object is effectively not
49
  extended. — *end note*]
50
 
51
- A subobject is *known to be initialized* if its initialization is
52
- specified
53
 
54
  - in [[class.base.init]] for initialization by constructor,
55
  - in [[class.copy.ctor]] for initialization by defaulted copy/move
56
  constructor,
57
  - in [[class.inhctor.init]] for initialization by inherited constructor,
 
1
+ ## Stack unwinding <a id="except.ctor">[[except.ctor]]</a>
2
 
3
  As control passes from the point where an exception is thrown to a
4
  handler, objects are destroyed by a process, specified in this
5
  subclause, called *stack unwinding*.
6
 
 
46
  [*Note 1*: If such an object has a reference member that extends the
47
  lifetime of a temporary object, this ends the lifetime of the reference
48
  member, so the lifetime of the temporary object is effectively not
49
  extended. — *end note*]
50
 
51
+ A subobject is *known to be initialized* if it is not an anonymous union
52
+ member and its initialization is specified
53
 
54
  - in [[class.base.init]] for initialization by constructor,
55
  - in [[class.copy.ctor]] for initialization by defaulted copy/move
56
  constructor,
57
  - in [[class.inhctor.init]] for initialization by inherited constructor,