为什么未初始化联合成员数据默认值？

Question

AFAIK在构造函数初始值设定项列表中不初始化其成员数据的类/结构/联合，那么它们是默认初始化的。如果成员数据是内置整数类型，则其值不确定。如果它是类类型，则调用其默认ctor（需要可访问且未删除的默认ctor）。

这是我的例子：

struct A{
    A(){std::cout << "A()\n";}
    A(int){std::cout << "A(int)\n";}
    A(A const&){std::cout << "A(A const&)\n";}
    ~A(){std::cout << "~A()\n";}
    A& operator = (A const& ){std::cout << "=(Aconst&)\n"; return *this;}
};

struct B{
    B(int){std::cout << "B(int)\n";} // a_ and d_ are default-init
    double d_;
    A a_;
};

B b = 10;

输出：

A()
B(int)
~A()

• 这样，构造函数不会显式初始化其ctor init列表中的成员d和a，因此它们是默认init<代码>d_有一个未定义的值。而a_是默认初始化

在这里之前，我很好，但是工会的成员呢

union U{
    U(){std::cout << "U()\n";} // needed because a_'s class type has defined a user-defined version
    U(U const&){std::cout << "U(U const&)\n";} // needed as above
    ~U(){std::cout << "~U()\n";} // needed as above
    A a_; // has defined copy-control members
    int i_;
};

U u1;
U u2 = u1;

输出：

U()
U(U const&)
~U()
~U()

• 如您所见：联合U没有在其ctor-init-list中初始化其成员数据a_和i_，这些成员也没有类内初始化器，但它们的构造函数都没有被调用！所以：

在构造函数初始值设定项列表中，联合的成员数据是否默认初始化？非常感谢。

Answer 1

一个联合只是一个位置的多个名称（引用）
无论您修改哪个成员，都只有一个位置被寻址
因此所有其他成员都将被修改

union _Union{
    int i;      //  4 bytes.
    long ll;    //  4 bytes.
    float f;    //  4 bytes.
    char*txt;   //  4 bytes.
};

sizeof(_Union)  =   4 bytes

如果结构的大小是16字节
联合的大小是最大成员的大小
如果上面的_Union有另一个long long int成员，那么它的大小将是8字节
因为long long int是8

Answer 2

如您所见：联合U没有初始化其成员数据a_和i_

一个工会只有一个活跃成员，因此从来没有两个成员可以初始化的情况。

如果未在用户定义的构造函数中提供初始化器，则不会初始化联合的成员。