C++初始化 和 赋值

一、先看反例：试图在构造函数体中 "初始化" const 成员（编译报错）

先运行这段代码，你会发现编译器直接报错，根本无法通过：

#include <iostream>
using namespace std;

class Test {
private:
    const int num; // const成员变量

public:
    // 错误写法：试图在构造函数体中给const成员赋值
    Test(int val) {
        num = val; // 编译报错！const变量不能被赋值
    }

    void show() {
        cout << "num = " << num << endl;
    }
};

int main() {
    Test t(10);
    t.show();
    return 0;
}

编译错误信息（以 GCC 为例）：

error: assignment of read-only member 'Test::num'
     num = val;
         ^

错误原因：

• const成员变量的特性是：只能在 "初始化" 阶段赋值，一旦初始化完成，就不能再被修改（赋值）；
• 构造函数的执行分为两步：
  1. 初始化阶段 ：在{}之前，通过初始化列表完成成员变量的初始化（这是 const 成员唯一能被赋值的时机）；
  2. 赋值阶段 ：进入{}后的构造函数体，此时所有成员变量（包括 const）已经完成初始化，再给 const 成员赋值就会触发 "修改只读变量" 的错误。

---

二、为什么你会误以为 "可以在构造函数体初始化"？

可能是你看到过类似这样的代码（但其实是初始化列表的简写 / 编译器优化误解）：

// 正确写法：用初始化列表，只是你可能忽略了初始化列表的存在
class Test {
private:
    const int num;

public:
    // 正确：初始化列表初始化const成员，构造函数体无操作
    Test(int val) : num(val) { 
        // 这里是构造函数体，num已经初始化完成，不能再赋值
    }
};

---

三、再验证：const 成员必须用初始化列表的核心逻辑

表格

操作场景	是否可行	本质原因
初始化列表 num(val)	✅ 可行	初始化阶段，给 const 变量赋初值
构造函数体 num = val	❌ 不可行	赋值阶段，修改只读变量
类内直接初始化 const int num = 10;	✅ 可行	C++11 及以上支持，本质也是初始化

补充：C++11 后支持 "类内直接初始化" const 成员（如const int num = 10;），但这只是初始化列表的语法糖 ------ 编译器会自动把这个初始值放到默认构造函数的初始化列表中。如果有自定义构造函数，仍需通过初始化列表指定 const 成员的初始值。

---

四、完整可运行示例（正确用法）

#include <iostream>
using namespace std;

class Test {
private:
    const int num; // const成员变量

public:
    // 正确：初始化列表初始化const成员
    Test(int val) : num(val) {
        cout << "const成员num已初始化：" << num << endl;
        // num = 20; // 打开注释会编译报错：修改只读变量
    }

    void show() {
        cout << "num = " << num << endl;
    }
};

int main() {
    Test t1(10); // 初始化num=10
    t1.show();   // 输出：num = 10

    Test t2(20); // 初始化num=20
    t2.show();   // 输出：num = 20
    return 0;
}

输出结果：

const成员num已初始化：10
num = 10
const成员num已初始化：20
num = 20

---

总结

1. 核心区别 ：const成员的 "初始化"（初始化列表）和 "赋值"（构造函数体）是两个不同阶段，const 变量仅允许在初始化阶段赋值；
2. 语法规则 ：构造函数体中无法给 const 成员赋值，只能通过初始化列表（或 C++11 类内直接初始化）完成 const 成员的初始化；
3. 本质原因：const 变量的只读特性决定了它必须在创建时（初始化阶段）确定值，后续无法修改。