为何返回非const引用的const成员函数可通过编译？

这是一个很典型的const正确性问题，我们一步步拆解原因：

1. const成员函数的本质 #

在const成员函数中，this指针的类型是const Vector*——这意味着函数内部不能修改对象的成员变量本身。对于你的Vector类来说：

• 成员n会被视为const int，无法修改其值；
• 成员arr会被视为int* const（指针本身是const的，不能让它指向新的内存地址），但指针指向的内存内容是可以修改的，因为arr指向的是普通int数组，而非const int数组。

你的operator[]是const成员函数，但它返回的是int&——也就是数组元素的非const引用。编译器只会检查函数是否修改了对象的成员变量（比如有没有给arr重新赋值），不会检查指针指向的内容是否被修改，所以这段代码能通过编译。

2. 为什么const对象能被修改？ #

当你声明const Vector A(5);时，A是一个const对象，理论上它的状态应该不可改变。但你的operator[]返回了指向A内部数组元素的非const引用，相当于绕过了const对象的保护，让你可以直接修改数组内容。

这种写法虽然语法上合法，但完全违反了const对象的语义——const对象的设计初衷就是保证其状态不被修改，你的代码破坏了这个约定，属于不良编程实践。

3. 正确的解决方式：重载operator[] #

为了维护const正确性，你需要提供两个版本的operator[]：

• 非const版本：供非const对象调用，返回int&允许修改元素；
• const版本：供const对象调用，返回const int&禁止修改元素。

修改你的Vector.h：

public:
    int& operator[](int index); // 非const版本
    const int& operator[](int index) const; // const版本

然后在Vector.cpp中实现：

int& Vector::operator[](int index) {
    return arr[index];
}
const int& Vector::operator[](int index) const {
    return arr[index];
}

这样修改后，当你尝试对const对象A执行A[0] =5时，编译器会报错，因为const版本的operator[]返回的是const int&，不能作为赋值操作的左值，完美符合const对象不可修改的语义。

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