c++ - 为什么 C++ 允许类内定义？

Question

课堂定义是否违反了 ODR 规则？

Bjarne Stroustrup 的解释是这样的：

一个类通常在头文件中声明，并且头文件通常包含在许多翻译单元中。但是，为了避免复杂的链接器规则，C++ 要求每个对象都有唯一的定义。如果 C++ 允许在类内定义需要作为对象存储在内存中的实体，则该规则将被打破。

class foo 
{
    float f = 1.1f;
    int i = 1;
    string s = "foo";
    long long ll = 44ll;
};

这是成员的实际定义吗？这是否违反 ODR 规则？如果没有，与通过构造函数进行初始化相比，这样做有什么优势？

score 1 · Accepted Answer

课堂定义是否违反了 ODR 规则？

您展示的不是“定义”。它是默认的成员初始化器。如果在初始化类的实例时未为非静态数据成员提供默认初始化程序，则将使用此默认初始化程序。

该示例不违反 ODR。

从技术上讲，该标准在任何地方都没有提到如何定义非静态数据成员。然而，它们似乎并没有被排除在“odr-used”之外，这可能是标准措辞中的一个缺陷。定义的需要并不真正适用于子对象。

score 0 · Accepted Answer

在类中初始化帮助我们设置成员的默认状态（这反过来让我们设置整个对象的默认状态）。例如，如果您希望给定类的任何对象都应该具有默认值（状态），那么您应该使用类内初始化。

使用类内初始化还有一个原因。如果您不为内置类型提供类内初始化程序，那么它们将具有垃圾值。也就是说，我们不能说该数据成员的值，这不是我们想要的。

这就是为什么总是建议您初始化非静态内置类型数据成员的原因。

2 回答 2