C++ 11 „W inicjalizacji klasy” funkcja nie działa dla związków

Question

Minimal przykład kodu:

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

Teraz jeśli zadeklarować B obj; wtedy obj.u.i przypisano wartość śmieci zamiast 100. Zobacz demo here. (Wartość śmieci różni się w zależności od flag optymalizacyjnych itp.).

Czy funkcja "W inicjalizacji klasy" powinna działać ze związkami.

• Jeśli tak, to jaka jest prawidłowa składnia? Czy jest to błąd g ++?
• Jeśli nie, to co robi int i = 100;?

Answer 1

To wygląda jak błąd GCC. Standard mówi (9.5p2):

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

W przeciwnym razie zasady są takie same jak w przypadku zwykłej klasy.

EDIT: Dodatkowo 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).

Przypuszczalnie domyślnie zdefiniowany konstruktor domyślny zlicza tutaj. Członek i spełnia kryteria w pierwszym punkcie wypunktowania, więc został zainicjowany tak, jakby był zwykłym członkiem klasy. Element s pasuje do drugiego punktu wypunktowania, więc pozostaje niezainicjowany.

Answer 2

Myślę, że tak jest, ponieważ związek jednoczy więcej niż jeden element. Poniżej znajduje się opis składni:

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

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