C++ 初始化列表完全指南：const 成员、执行顺序与赋值区别

结果或目标：为何必须使用初始化列表？

在许多场景下，普通的构造函数体内赋值无法完成对象的初始化。例如，当类中包含 const 修饰的成员变量时，该变量一旦创建便不可修改，因此不能在函数体内通过 = 进行赋值。此时，必须在对象创建的初始阶段（即内存分配完成后）提供初值，这正是初始化列表的作用。

准备条件：基础语法与约束

初始化列表位于构造函数参数列表之后，冒号 : 开始。其核心语法结构如下：

关键限制：

• 唯一性： 某些特定类型的成员变量只能在初始化列表中赋值，无法在函数体内赋值。
• 必要性： 对于没有默认构造函数的类类型成员，或者 const、引用成员，必须显式提供初始化参数。

真实操作顺序：初始化列表的执行时机

很多开发者容易混淆初始化列表中参数顺序与实际操作顺序的关系。要掌握其真实行为，需明确以下规则：

1. 执行早于函数体： 初始化列表中的所有动作，均在进入构造函数花括号 {} 内的语句之前完成。
2. 顺序由声明决定： 成员的初始化顺序完全取决于它们在类中定义的先后顺序，与初始化列表中写的顺序无关。
3. 风险点： 如果后续初始化的成员依赖于前序初始化的成员，且你在初始化列表中写反了顺序，会导致未定义行为（Undefined Behavior）。

第 1 步：观察执行顺序的验证代码

为了直观展示上述规则，我们可以通过一个包含多个自定义类成员的测试案例来验证。注意观察输出日志的顺序与初始化列表参数的顺序是否一致。

对应的 C++ 代码如下：

#include <stdio.h>
#include <iostream>

using namespace std;

class Value
{
private:
    int mi;
public:
    Value(int i)
    {
        printf("Value constructed: i = %d\n", i);
        mi = i;
    }
    int getI()
    {
        return mi;
    }
};

class Test
{
private:
    // 注意这里的声明顺序：m2 -> m3 -> m1
    Value m2;
    Value m3;
    Value m1;
public:
    // 初始化列表顺序为：m1(1), m2(2), m3(3)
    Test() : m1(1), m2(2), m3(3)
    {
        cout << "Test body executed." << endl;
    }
};
 
int main()
{
    Test t;
    return 0;
}

结果分析： 运行上述代码后，控制台输出顺序显示为：Value constructed: i = 2 (对应 m2) → Value constructed: i = 3 (对应 m3) → Value constructed: i = 1 (对应 m1) → Test body executed。 这证实了：虽然初始化列表先写了 m1，但编译器优先按声明顺序初始化了 m2，最后才初始化 m1。同时，构造函数体内的打印信息出现在所有成员初始化完成之后。

完成判断：处理 const 成员变量

除了普通对象，const 成员是 C++ 初学者最常遇到的障碍。需要明确的是，类中的 const 成员被分配了存储空间，它本质上是一个只读变量。编译器无法将其视为编译期常量符号表的一部分，因此它必须在运行时初始化。

第 2 步：在初始化列表中指定 const 初值

如果在构造函数体内尝试赋值 const 成员，编译器会报错。必须将其移至初始化列表。

代码演示： 下面是一个合法的 Test 类定义，其中 ci 为 const int，它在初始化列表中成功获得了初始值 100。

#include <stdio.h>
#include <iostream>

using namespace std;

class Value
{
private:
    int mi;
public:
    Value(int i) : mi(i) { /* constructor logic */ }
};

class Test
{
private:
    const int ci; // 必须在初始化列表初始化
    Value m2;
    Value m3;
    Value m1;
public:
    Test() : m1(1), m2(2), m3(3), ci(100) 
    {
        cout << "Test body executed." << endl;
    }

    int getCI()
    {
        return ci;
    }
};
 
int main()
{
    Test t;
    cout << "t.ci = " << t.getCI() << endl;
    return 0;
}

进阶思考： 既然 const 变量只是“只读”，那么能否通过指针技巧修改它？答案是肯定的，但这涉及底层内存操作（如 const_cast），属于未定义行为范畴，生产环境中应严禁这样做。初始化列表是保证代码语义正确的唯一正途。

原文有依据的排错：初始化 vs 赋值

理解概念差异能有效减少编程困惑：

• 初始化 (Initialization)： 发生在对象创建的瞬间。这是唯一能为 const、引用类型以及无默认构造函数的成员赋予初值的机会。
• 赋值 (Assignment)： 发生在对象已经存在于内存中之后。例如构造函数体内的 mi = i;。对于普通变量，初始化可能会变成先默认构造再赋值两次开销；而使用初始化列表能确保直接构造，提升效率。

简要总结

在 C++ 编程实践中，养成良好习惯：

1. 首选初始化列表： 除非有特殊理由，否则尽量将所有成员初始化放在初始化列表中。
2. 保持声明顺序： 调整类成员的定义顺序，使其与初始化列表的逻辑依赖保持一致，避免隐晦的 Bug。
3. 识别硬性约束： 遇到 const、引用或没有默认构造函数的类成员时，立即转向初始化列表语法。