c++ - 为什么我们需要用户为 const 对象提供的构造函数？

Question

语言规则规定const 的定义，用户定义的类需要进行值初始化或具有用户提供的默认构造函数。

const struct X { int v; } x;

如果你不给它一个那么你将永远无法给 v 一个值，因为它不能被改变。但是我们如何从这样的用户提供的构造函数中获益:

const struct X { X() {} int v; } x;

这仍将默认构造 v ，这将使它保持未初始化状态。为什么我们需要这个构造函数来编译它，而没有这个构造函数没有任何好处？

Answer 1

在第一种情况下，编译器可以仅根据类定义(而不是任何成员的定义)判断变量不会被初始化。类定义必须可用才能定义变量，因此很容易声明一个规则，如果 const 变量在这种情况下未初始化，则程序格式错误。

在第二种情况下，它需要用户声明的构造函数的定义来确定它是否被初始化。当编译器处理变量定义时，这不一定可用，因此通常它无法检查构造函数是否初始化了所有内容；构造函数定义不一定可用。通常情况下，即使在这种情况下也不需要诊断，因为构造函数的定义可用并且编译器可以弄清楚。