C++ 11 „In der Klasse Initialisierung“ Feature funktioniert nicht für die Gewerkschaften

Question

Minimal Codebeispiel:

struct B { 
    union U { 
    struct S {} s; 
    int i = 100; 
    } 
    u; 
}; 

Wenn wir nun ein B obj; erklären dann die obj.u.i einen Müll Wert statt 100 zugeordnet ist. Siehe demo here. (Der Müllwert unterscheidet sich basierend auf Optimierungsflags usw.).

Die Funktion "In Klasseninitialisierung" soll mit Unionen arbeiten.

• Wenn ja, wie lautet die richtige Syntax? Oder ist das ein g ++ Bug?
• Wenn nicht was dann int i = 100; tut?

Answer 1

Das sieht wie ein GCC-Bug aus. Der Standard sagt (9.5p2):

At most one non-static data member of a union may have a brace-or-equal-initializer.

Ansonsten sind die Regeln die gleichen wie für eine reguläre Klasse.

EDIT: Außerdem 12.6.2p8:

In a non-delegating constructor, if a given non-static data member or base class is not designated by a mem-initializer-id (including the case where there is no mem-initializer-list because the constructor has no ctor-initializer) and the entity is not a virtual base class of an abstract class (10.4), then

• if the entity is a non-static data member that has a brace-or-equal-initializer, the entity is initialized as specified in 8.5;
• otherwise, if the entity is a variant member (9.5), no initialization is performed;
• otherwise, the entity is default-initialized (8.5).

Vermutlich ist die implizit Standardkonstruktors definiert zählt hier. Das i Mitglied erfüllt die Kriterien im ersten Aufzählungspunkt, so dass es wie ein reguläres Klassenmitglied initialisiert wird. Das Element s entspricht dem zweiten Aufzählungspunkt, sodass es nicht initialisiert ist.

Answer 2

Ich denke es ist so, weil eine Gewerkschaft mehr als ein Element vereint. Unten ist die Arbeit um Syntax:

struct B { 
    union U { 
    int i; 
    } 
    u {100}; 
}; 

int main() { 
    B obj; 
    std::cout << "obj.u.i = " << obj.u.i << "\n"; 
}