不是必须，但绝大多数情况下只能靠初始化列表；类类型成员声明即需构造，若无默认构造函数或需避免默认构造后赋值，则必须用初始化列表；const和引用类型成员则必须使用初始化列表。
类类型成员必须用初始化列表构造吗？
不是必须，但绝大多数情况下只能靠初始化列表。因为类类型成员（比如自定义 class 或 struct 类型的非静态成员）一旦声明，就立即需要被构造；如果不在初始化列表里显式构造，编译器会尝试调用其默认构造函数——若该类没有默认构造函数，或者你不想用默认构造再赋值，那就直接报错。
常见错误现象：error: no matching function for call to 'SomeClass::SomeClass()'，本质就是编译器试图默认构造，但找不到匹配的默认构造函数。
- 只有当类类型成员有可访问的默认构造函数时，不写初始化列表才不会编译失败（但可能低效）
- 若成员是
const或引用类型，初始化列表是唯一合法方式（它们不能被“赋值”，只能被“初始化”） - 在构造函数体中用
=或assign()是赋值，不是构造；此时对象已构造完毕，属于二次操作，无法绕过初始构造阶段
初始化列表语法和顺序怎么写才不出错？
初始化列表写在构造函数参数括号后、函数体前，用冒号开头，各成员用逗号分隔。关键点在于：**初始化顺序严格按类中成员声明的顺序，而不是初始化列表里的书写顺序。** 这点极易踩坑。
示例：
class A {
std::string s;
int x;
public:
A() : x(42), s("hello") {} // 写法上先 x 后 s，但实际仍是先构造 s，再构造 x
};
- 如果某个成员的初始化依赖另一个成员（比如
s的值要传给x的构造），而后者在类中声明在前者之前，那即使你把后者写在初始化列表前面，它也还没构造好——此时会读取未定义值 - 编译器通常不警告这种顺序错位，运行时行为不可预测
- 建议始终让初始化列表顺序与成员声明顺序一致，减少心智负担
带参数的类类型成员怎么传参？
直接在初始化列表中调用对应构造函数即可，参数可以是字面量、参数引用、甚至其他成员（只要该成员已按声明顺序完成初始化）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
使用场景包括：成员是 std::vector<int></int> 并想指定初始大小、成员是自定义类并需传入配置对象等。
- 参数可以是构造函数的任意合法实参，支持移动语义（如用
std::move(some_str)避免拷贝） - 若成员类型支持聚合初始化（如普通
struct），可用花括号：Point p{1, 2} - 注意避免“最令人烦恼的解析”（most vexing parse）：例如
A a();被当成函数声明，不是对象定义；初始化列表里不会出现这个问题，但整体构造调用时要注意
初始化列表和构造函数体里赋值的区别在哪？
根本区别是：初始化列表触发成员的构造函数，构造函数体内的赋值触发的是赋值运算符（operator=）。对类类型成员来说，这可能是两次开销——先构造再赋值。
性能影响明显，尤其对资源管理类（如 std::string、std::vector）：默认构造 + 赋值 = 分配内存两次；而初始化列表 = 一次构造到位。
- 某些类（如
std::mutex）禁用了赋值操作符，此时构造函数体里赋值直接编译失败 - 即使类允许赋值，也掩盖了设计意图：你本意是“用某值构造它”，而不是“先默认构造再改成某值”
- 调试时，断点打在构造函数体第一行，成员已经完成初始化；你想观察“刚构造出来是什么样”，只能靠初始化列表上下文或构造函数内联展开
真正复杂的点往往藏在隐式转换和临时对象生命周期里——比如初始化列表中传入一个临时 std::string 给接受 const std::string& 的成员，这个临时对象的生命周期会延长到整个构造函数结束；但若你在函数体内创建同名局部变量再赋值，那就是另一回事了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
