如何为const与非const对象重载[]运算符，满足读写需求且编译合法

嘿，我来帮你搞定这个[]运算符重载的问题！你遇到的「assignment of read-only location」编译错误，核心原因是没正确区分const和非const对象的[]运算符重载，导致const对象的读写权限没被正确限制。下面给你一套完整的解决方案：

我们需要为类分别提供非const版本和const版本的[]运算符重载，两者的核心区别在于返回值类型和成员函数的const属性：

1. 非const版本（支持读写操作） #

这个版本服务于普通的非const对象，返回元素的非const引用，既支持读取也支持修改：

// 假设你的类内部存储用的是vector<T>或数组，这里用T代表元素类型
T& operator[](size_t index) {
    // 可选：添加索引越界检查，比如抛出异常
    if (index >= m_storage.size()) {
        throw std::out_of_range("Index exceeds container size");
    }
    return m_storage[index];
}

2. const版本（仅支持读取操作） #

这个版本专门给const对象使用，返回元素的const引用，从语法上限制了赋值操作，保证const对象的只读特性：

const T& operator[](size_t index) const {
    // 同样可以添加越界检查
    if (index >= m_storage.size()) {
        throw std::out_of_range("Index exceeds container size");
    }
    return m_storage[index];
}

为什么要这么设计？ #

• 当调用非const对象的[]时，编译器会自动匹配非const版本，返回可修改的引用，因此你可以执行obj[1] = 10;这类赋值操作。
• 当调用const对象的[]时，编译器会匹配const版本，返回只读引用，此时如果尝试const_obj[1] = 20;就会触发编译错误——这正是我们想要的，因为const对象本就不应该被修改。

完整可编译示例代码 #

#include <vector>
#include <stdexcept>
#include <iostream>

template<typename T>
class MyArray {
private:
    std::vector<T> m_storage;
public:
    // 构造函数：用初始化列表初始化容器
    MyArray(std::initializer_list<T> elements) : m_storage(elements) {}

    // 非const版本：读写权限
    T& operator[](size_t index) {
        if (index >= m_storage.size()) {
            throw std::out_of_range("Index out of bounds");
        }
        return m_storage[index];
    }

    // const版本：只读权限
    const T& operator[](size_t index) const {
        if (index >= m_storage.size()) {
            throw std::out_of_range("Index out of bounds");
        }
        return m_storage[index];
    }

    // 辅助函数：返回容器大小
    size_t size() const {
        return m_storage.size();
    }
};

int main() {
    // 测试非const对象：支持读写
    MyArray<int> non_const_arr{10, 20, 30};
    non_const_arr[1] = 200; // 合法：修改第二个元素
    std::cout << "非const数组第二个元素：" << non_const_arr[1] << std::endl;

    // 测试const对象：仅支持读取
    const MyArray<int> const_arr{40, 50, 60};
    std::cout << "const数组第二个元素：" << const_arr[1] << std::endl;
    // const_arr[1] = 500; // 取消注释会触发编译错误：assignment of read-only location

    return 0;
}

常见错误避坑 #

• 不要只实现非const版本：如果const对象调用它，编译器会尝试将const对象转为非const，直接触发编译错误。
• 不要给const版本返回非const引用：这会破坏const对象的只读特性，编译器同样会报错。
• 务必给const版本的成员函数加上const关键字：这是区分两个重载的核心标识，告诉编译器该函数不会修改类的成员变量。

内容的提问来源于stack exchange，提问作者George P.