类内默认成员值在构造函数体执行前初始化,但初始化列表优先级更高且会覆盖它;const和引用成员必须在初始化列表中显式初始化,类内默认值对其无效。

类内默认成员值在构造函数体执行前就生效
类内默认成员值(比如 int x = 42;)不是“赋值”,而是在对象内存分配后、任何构造函数逻辑开始前,由编译器自动插入的初始化操作。它本质上是 C++11 引入的“默认成员初始化器”(default member initializer),属于初始化阶段的一部分,和构造函数初始化列表处于同一语义层级——但顺序上,初始化列表会覆盖它。
也就是说:只要你在初始化列表里写了 x(100),那么 int x = 42; 就完全不生效;没写,才轮到它起作用。
初始化列表优先级高于类内默认值
初始化列表明确指定的初始化表达式,总是压倒类内默认值。这不是“谁快谁慢”的问题,而是语言标准规定的初始化顺序:先按声明顺序对非静态成员进行初始化,但若该成员在当前构造函数的初始化列表中出现,则用列表中的值;否则才回退到类内默认值。
- 即使默认值是常量表达式(如
static constexpr int v = 1;),也无法绕过初始化列表的覆盖 - 如果初始化列表调用的是带副作用的函数(如
y(init_y())),那这个调用一定发生,int y = 0;被彻底忽略 - 对于 const 或引用成员,必须出现在初始化列表中——类内默认值对它们无效(编译报错:
error: uninitialized const member)
容易踩坑的混合写法
当类内默认值和初始化列表混用,又涉及依赖关系时,行为容易误判。C++ 按成员声明顺序初始化,而不是按初始化列表书写顺序或默认值定义顺序。
struct S {
int a = func1(); // 先初始化
int b = a + 1; // 此时 a 已被初始化(无论是否在列表中出现)
S() : b(99) {} // b 被初始化列表设为 99,a 仍走默认值
};
注意:b = a + 1 中的 a 是已初始化后的值,但如果你在初始化列表中写了 b(a+1),那这里的 a 是未定义行为(因为 a 尚未初始化)——编译器通常不报错,但运行结果不可靠。
- 永远不要在初始化列表中用尚未声明的成员做表达式(哪怕它有默认值)
- 类内默认值不能引用 this 或其他未构造完成的成员
- 聚合类(aggregate)不支持类内默认值参与初始化,只有初始化列表或花括号初始化可用
const 成员和默认值的特殊限制
const 非静态数据成员必须在初始化列表中显式初始化,类内默认值对它无效。这是硬性约束,不是风格建议。
struct Bad {
const int x = 42; // ❌ 编译错误:const member 'x' must be initialized by a mem-initializer
Bad() = default;
};
正确写法只能是:
struct Good {
const int x;
Good() : x(42) {} // ✅ 必须在这里初始化
// 或者 Good(int v) : x(v) {}
};
同理适用于引用成员、没有默认构造函数的类类型成员——它们的初始化无法交给类内默认值兜底,必须出现在初始化列表中。
真正容易被忽略的点是:类内默认值看起来很像“兜底逻辑”,但它根本不会介入 const/引用/无默认构造函数成员的初始化流程;一旦漏写初始化列表项,编译器不会尝试用默认值补救,而是直接报错。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











