具有 const 成员的类构造

Question

我有一个名为 Test 的类，其中有一个名为 const int 的成员 a：

class Test {
public:
    const int a;
};

然后我实例化一个名为 test 的 Test 对象：

Test test;

并得到一个合理的编译错误“错误：'class Test'中未初始化的常量成员”，但是当我这样做时发生了一些奇怪的事情：

Test test = Test();

没有编译错误，发生了什么？ Test() 不会像Test test; 那样调用默认构造函数，然后调用默认复制构造函数吗？我使用的编译器是“gcc (Ubuntu 4.8.4-2ubuntu1~14.04.3) 4.8.4”，编译器配置为c++11模式。

Answer 1

刚刚尝试过的 Visual Studio 对提到的两件事都给出了错误。 只需要使用如下的成员初始化列表

class Test {
public:
    const int a;
    Test():a (0)
    {
    }
};

int main()
{
    Test test;
    Test test2 = Test();
    return 0;
}

Answer 2

Test test = Test();

没有编译错误，发生了什么？

您的编译器有错误。代码格式不正确。 Test 的默认构造函数被隐式删除，因为它的格式不正确 - 你不能默认初始化 const int。它已在 gcc 4.9 中修复（我找不到此问题的错误报告）。

您必须为const 成员提供初始化程序，无论是通过Test{4} 之类的方式还是通过mem-initializer-list。

---

...然后调用默认的复制构造函数？

从技术上讲，它会调用默认的移动构造函数，尽管无论如何都会忽略它。

Answer 3

第一次初始化

Test test;

一直都是不正确的。简而言之，你不能让 const 对象处于未初始化状态。

第二次初始化

Test test = Test();

在 C++98、C++03 和 C++11 中格式正确（但请参阅下面的我的 P.S.）。然而，它在 C++14 及更高版本中格式不正确。

相关更改包含在 value-initialization 的定义中，响应 () 初始化程序执行。在 C++03（及之前）中，缺少用户定义的默认构造函数导致 value-initialization 完全忽略构造函数并作为独立于构造函数的初始化机制工作。 Test() 表达式将产生一个正确的零初始化临时对象。

然而，在 C++14 中，deleted 默认构造函数被值初始化处理，其方式与用户定义的构造函数相同：值初始化现在必须使用它，并且显然会失败，因为它已删除。

C++11 8.5 (n3242)

7 对 T 类型的对象进行值初始化意味着：

——如果 T 是一个（可能 cv-qualified) 类类型（第 9 条）带有用户提供的构造函数 (12.1)，然后调用 T 的默认构造函数（并且 如果 T 没有可访问的默认值，则初始化格式错误 构造函数);

——如果 T 是（可能是 cv 限定的）非联合类类型 没有用户提供的构造函数，那么对象是 零初始化，如果 T 是隐式声明的默认构造函数 是不平凡的，构造函数被调用。

...

C++14 8.5 (n3690)

8 对 T 类型的对象进行值初始化意味着：

——如果 T 是一个（可能 cv 限定）类类型（第 9 条），没有默认构造函数 (12.1) 或用户提供或删除的默认构造函数，然后 该对象是默认初始化的；

——如果 T 是一个（可能是 cv 限定的） 类类型没有用户提供或删除的默认构造函数， 然后对象被零初始化并且语义约束为 检查默认初始化，如果 T 有一个非平凡的默认值 构造函数，对象是默认初始化的；

...

（强调我的）。请注意在后一个版本中添加了“或已删除”措辞，它将具有已删除隐式默认构造函数的类从第二个项目符号点转移到第一个项目符号点。

因此，编译器在 C++14 模式下拒绝后一个初始化代码（并在 C++98/C++03 模式下接受它）。

换句话说，在您的情况下编译的第二个初始化是因为您的编译器显然配置为 C++03 模式（或之前）。

P.S. 我的 C++11 草案版本很可能（甚至很可能）已经过时。我没有 C++11 的最终版本。 C++11 的最终版本很可能包含与 C++14 相同的措辞。这也可以解释那些在 C++11 模式下拒绝它的编译器的行为。在这种情况下，分隔线在 C++03 和 C++11 之间通过。