值初始化 C++答案

【问题标题】：Value initialization c++值初始化 C++
【发布时间】：2019-01-03 20:40:54
【问题描述】：

在值初始化上阅读 cppreference，我得出了这个结论：

如果 T 是没有默认构造函数或具有用户提供或删除的默认构造函数，对象为默认初始化；

还有例子：

struct T3
{
    int mem1;
    std::string mem2;
    T3() { } // user-provided default constructor
};

阅读文章默认initialization

如果 T 是非 POD（C++11 前）类类型，则构造函数为考虑并受到针对空的重载决议参数列表。选择的构造函数（这是默认的构造函数之一构造函数）被调用为新的提供初始值对象;

如果 T 是数组类型，则数组的每个元素都是默认初始化；

否则，什么都不做：自动存储的对象持续时间（及其子对象）被初始化为不确定价值观。

这适用于示例，T是类类型，这意味着重载决策应该选择候选者来初始化值（用户提供的默认构造函数），但它是空的，所以mem1应该保留不确定的值（这是真的）但同样应该是mem2，但那是“默认初始化”为“”，这是为什么呢？它是否递归工作？类类型的 T 的每个成员都服从第一规则？

我现在很困惑。

2)如果 T 是一个类类型，其默认构造函数既不是用户提供或删除（也就是说，它可能是一个类隐式定义或默认的默认构造函数），对象是零初始化，然后默认初始化，如果它有非平凡的默认构造函数；

还有例子：

struct T1
{
    int mem1;
    std::string mem2;
}; // implicit default constructor

mem1 被零初始化为 0，但是“非平凡”的默认构造函数是什么意思？ mem2 也默认初始化为“”，但是我仍然不确定，“非平凡的默认构造函数”是什么意思？默认构造函数应该由编译器生成，但是它如何决定什么是非平凡的——如果非平凡的默认构造函数意味着它必须初始化对象——与上面相同的问题，是否意味着每个对象都使用默认构造函数初始化？

【问题讨论】：

记住：T3() { } 与T3() = default;不相同，或者根本不写ctor（is与@987654331 相同@)。
参见en.cppreference.com/w/cpp/language/default_constructor - “平凡的默认构造函数”部分。

标签： c++ c++11

【解决方案1】：

应该是mem2，但那是“默认初始化”为“”，这是为什么呢？它是否递归工作？类类型的 T 的每个成员都服从第一规则？

你的怀疑是正确的。当您默认初始化类时，您默认初始化其每个成员，因为在您的构造函数中未指定初始化。由于std::string 有一个用户提供的默认构造函数，它被调用并将字符串对象初始化为空。

但是“非平凡”的默认构造函数是什么意思？

平凡的构造函数是什么都不做的构造函数。对于 T 类型，它的构造函数是微不足道的，如果

构造函数不是用户提供的（即隐式定义或默认）
T 没有虚成员函数
T 没有虚拟基类
T 没有带有大括号或等号初始值设定项的非静态成员。
T 的每个直接基数都有一个简单的默认构造函数
类类型的每个非静态成员都有一个普通的默认构造函数

所以在T1 的情况下，您没有平凡的构造函数，因为std::string 的默认构造函数是不平凡的。

【讨论】：

【解决方案2】：

这适用于示例，T 是类类型，这意味着重载决策应该选择候选者来初始化值（用户提供的默认构造函数），但它是空的，所以 mem1 应该保留未确定的值（多数民众赞成在true ) 但同样应该是 mem2，但那是“默认初始化”为“”，这是为什么呢？

如果你从member initializer list 中省略了一个数据成员，那么它会被默认初始化，这对于std::string 意味着调用它的默认构造函数并将其初始化为一个空字符串。您的默认构造函数没有成员初始化列表，因此所有成员都被默认初始化。

“非平凡”的默认构造函数是什么意思？

您可以找到一个简单的构造函数here 的要求。非平凡的默认构造函数只是一个默认构造函数，它不尊重平凡构造函数的所有要求。简而言之，一个微不足道的默认构造函数除了标记对象生命周期的开始之外，根本不做任何事情（甚至在幕后）。

是否意味着每个对象都使用默认构造函数进行初始化？

如前所述，默认构造函数（与任何其他构造函数一样）将默认初始化成员初始化器列表中未指定的任何数据成员。由于默认为空，默认构造函数将递归地导致默认初始化，除非内部成员使用成员初始化器列表指定替代初始化。

【讨论】：