如何防止具有类类型的 const 变量的默认初始化

Question

我有一个自定义类，我希望它的行为类似于内置类型。

但是我注意到您可以初始化该类的 const 变量而不提供初始值。我的类当前有一个空的默认构造函数。

这是 int 和我的类 foo 的比较：

int a;              // Valid
int a = 1;          // Valid
const int a = 1;    // Valid
const int a;        // Error

foo a;              // Valid
foo a = 1;          // Valid
const foo a = 1;    // Valid
const foo a;        // Should cause an error, but it compiles

正如你所看到的，我需要阻止

const foo a;

编译。

C++ 专家有什么想法吗？

Answer 1

仅当它具有默认构造函数时才编译，并且它编译是因为它具有默认构造函数，这意味着它已初始化。如果您不想编译该行，只需禁用默认构造函数（也会使 foo a; 成为错误，作为不需要的副作用）。如果没有 foo 的定义或你想要做什么，这就是我所能得到的。

我认为没有任何方法可以实现您想要的（即允许默认初始化非常量变量，同时让 const 版本编译失败并允许其他用例 - 需要提供构造函数）

Answer 2

C++ 的规则简单地说，对于类类型的对象，默认初始化（例如 new T;）和值初始化（例如 new T();）是相同的，但不适用于基本类型的对象。

您无法做任何事情来“覆盖”这种区别。它是语法的基本部分。如果您的类是可值初始化的，那么它也是可默认初始化的。

对于没有任何用户定义的构造函数的类，有一种例外：在这种情况下，成员的初始化是递归完成的（因此，如果您默认初始化该对象，它会尝试默认初始化所有成员），并且这将失败如果任何类成员本身就是基本的，或者同样具有这种性质。

例如，考虑以下两个类：

struct Foo { int a; int b; };
struct Goo { int a; int b; Goo(){} };

//const Foo x; // error
const Goo y;   // OK

Foo 的隐式构造函数被拒绝，因为它没有初始化基本成员。然而，y 很高兴地默认初始化，并且 ya 和 yb 现在“故意留空”。

但除非您的类没有任何用户定义的构造函数，否则此信息对您没有帮助。您不能将初始化类型“转发”给成员（例如 Foo() : INIT_SAME_AS_SELF(a), b() { }）。