C++ 11 "Trong lớp khởi tạo" tính năng này không làm việc cho công đoàn

Question

Minimal mã ví dụ:

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

Bây giờ nếu chúng ta khai báo một B obj; thì obj.u.i được gán một giá trị rác thay vì 100. Xem số demo here. (Giá trị rác khác nhau dựa trên các cờ tối ưu hóa vv).

Tính năng "Khởi tạo lớp" có hoạt động với công đoàn hay không.

• Nếu có thì cú pháp chính xác là gì? Hay đây là lỗi g ++?
• Nếu không thì int i = 100; sẽ làm gì?

Answer 1

Điều này giống như lỗi GCC. Tiêu chuẩn nói (9.5p2):

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

Nếu không, quy tắc sẽ giống như đối với một lớp thông thường.

EDIT: Ngoài ra, 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).

Có lẽ các nhà xây dựng mặc định ngầm được xác định đếm đây. Thành viên i đáp ứng các tiêu chí trong dấu đầu dòng đầu tiên, do đó, nó được khởi tạo như là một thành viên lớp thông thường. Thành viên s khớp với dấu đầu dòng thứ hai, vì vậy nó không được khởi tạo.

Answer 2

Tôi nghĩ nó giống như vậy bởi vì một công đoàn đoàn tụ nhiều hơn một phần tử. Dưới đây là công việc xung quanh cú pháp:

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

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