类成员初始化列表初始化属性的含义及相关初始化疑问

类成员初始化列表的含义 #

类成员初始化列表是C++构造函数的核心组成部分，作用是在构造函数体执行之前，直接为类的成员变量设置初始值。语法上是在构造函数的参数列表后添加冒号，随后列出成员变量及其初始值（例如你代码里的a(arg1)）。这种方式是初始化类成员的最优选择，尤其适用于const成员、引用成员，以及没有默认构造函数的自定义类型成员。

针对你的疑问解答 #

1. 你的理解是否正确？ #

不正确。类的成员变量不会在声明阶段完成默认初始化。在C++中，成员变量的初始化时机是对象构造阶段：

• 如果你使用了成员初始化列表，成员变量会直接在初始化列表中完成初始化，不会经历默认初始化的过程；
• 如果没有使用初始化列表，成员变量会先被默认初始化（对于int这类内置类型，默认初始化的结果是内存中的随机值，属于未定义状态），之后才会在构造函数体中被赋值。

回到你给出的代码：

class foo {
  private:
    int a;
  public:
    foo (int arg1) : a(arg1) {}
};

这里的成员a是直接通过初始化列表被设置为arg1的值，不存在“先默认初始化再重新初始化”的步骤。

2. 关于“重新初始化”的含义（结合你的误解补充说明） #

因为你的第一个理解有误，所以你假设的“重新初始化”场景在这段代码里并不存在。不过可以明确两个关键概念：

• 内存分配：对象（包括其成员变量）的内存是在对象被创建时一次性分配的，初始化和赋值都不会重新分配内存；
• 初始化vs赋值：初始化是给已分配的内存设置一个确定的初始值；而如果是在构造函数体中写a = arg1，这属于赋值操作——此时a已经被默认初始化（得到随机值），赋值只是把arg1的值覆盖到a所在的内存空间里，这也不是“重新初始化”，只是值的修改。

内容的提问来源于stack exchange，提问作者PhiloRobotist