为何const成员函数允许修改引用类型成员变量且编译通过？

咱们先把问题对应的场景用代码具象化，方便理解：

#include <iostream>

class Foo {
private:
    int& cnt_; // 引用类型的成员变量
public:
    Foo(int& cnt) : cnt_(cnt) {}
    
    void test() const { // const成员函数
        cnt_++; // 这里居然能正常编译？
        std::cout << "cnt_当前值：" << cnt_ << std::endl;
    }
};

int main() {
    int external_num = 0;
    Foo foo(external_num);
    foo.test(); // 输出1
    std::cout << "外部变量值：" << external_num << std::endl; // 同样输出1
    return 0;
}

接下来咱们拆解背后的原因：

1. const成员函数的核心规则：只保护对象自身的成员变量 #

const成员函数的本质是把当前对象的this指针变成const Foo*类型——简单说，它只限制你修改当前Foo对象自己拥有的成员变量本身，这是关键前提。

• 如果cnt_是普通int类型，在const成员函数里它会被视为const int，自然没法修改，编译器会直接报错。
• 但cnt_是引用类型时，情况完全不同：引用本质是变量的别名，它本身不存储数据，只是和另一个外部变量绑定。const成员函数对它的限制仅仅是“不能修改引用的绑定关系”——但引用一旦初始化就没法改变绑定了，这个限制本来就是多余的。

2. 你修改的不是Foo对象的状态，而是外部变量的值 #

Foo对象的“状态”指的是它自身存储的数据。对于引用成员cnt_来说，Foo对象里并没有存储cnt_的数值，只是记录了它绑定到哪个外部变量的信息（底层用指针实现，但标准层面是严格的别名）。

当你在const成员函数里执行cnt_++时，你并没有修改Foo对象自身的任何数据（引用的绑定关系没变），只是通过这个别名修改了外部变量的值——这个外部变量不属于Foo对象的状态，所以完全不违反const成员函数的规则。

3. 对比指针成员更容易理解 #

这个逻辑和指针成员是一致的：如果Foo的成员是int* cnt_，在const成员函数里，你不能修改cnt_本身（比如让它指向另一个地址，因为此时cnt_是int* const），但你可以修改*cnt_的值——因为你改的是指针指向的外部对象，而非Foo对象自身的指针成员。

引用只是更严格的指针语法糖，所以逻辑完全相通。

总结一下：const成员函数只负责“当前对象自己的成员变量能不能被修改”，不管这些成员引用/指向的外部对象能不能被修改。这就是为什么引用成员在const函数里能修改指向对象的值，而普通成员不行。

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