C++中是否可以实现非成员形式的[]下标运算符？

报错原因 #

C++标准明确规定，下标运算符operator[]必须作为类的非静态成员函数实现，不允许定义全局版本的operator[]重载。而std::vector属于标准库提供的类，你无法直接修改它的类定义新增成员函数，所以你尝试的全局重载写法才会触发编译错误。

可行实现方案 #

方案1：使用全局工具函数实现（最稳妥，无语法兼容问题） #

可以写一个通用的全局取值函数，语法完全合规，也能满足按pair取二维vector元素的需求：

#include <vector>
#include <utility>

// 非const版本，支持修改元素
int& get(std::vector<std::vector<int>>& vec, std::pair<int, int> pos) {
    return vec[pos.first][pos.second];
}

// const版本，适配常量二维vector场景
const int& get(const std::vector<std::vector<int>>& vec, std::pair<int, int> pos) {
    return vec[pos.first][pos.second];
}

使用方式：

std::vector<std::vector<int>> vec(3, std::vector<int>(3, 0));
get(vec, {0, 0}) = 1;
int val = get(vec, std::make_pair(1,2));

方案2：封装二维vector包装类，在类内重载operator[] #

你可以仿照之前写的Board结构体，封装一个通用的二维vector包装类，在类内部合法重载operator[]支持pair索引：

#include <vector>
#include <utility>

template <typename T>
class Vector2D {
private:
    std::vector<std::vector<T>> data;
public:
    // 构造函数可按需扩展
    Vector2D(int rows, int cols, const T& init_val = T()) 
        : data(rows, std::vector<T>(cols, init_val)) {}
    
    // 兼容原有int下标逐行访问
    std::vector<T>& operator[](int row) { return data[row]; }
    const std::vector<T>& operator[](int row) const { return data[row]; }
    
    // 支持pair下标直接访问元素
    T& operator[](std::pair<int, int> pos) { return data[pos.first][pos.second]; }
    const T& operator[](std::pair<int, int> pos) const { return data[pos.first][pos.second]; }
    
    // 可按需新增获取原始vector的接口
    std::vector<std::vector<T>>& raw() { return data; }
    const std::vector<std::vector<T>>& raw() const { return data; }
};

使用方式：

Vector2D<int> vec(3, 3);
vec[1][2]++;
vec[{0, 0}]--;

方案3：全局重载允许非成员实现的运算符（如operator()） #

如果你确实想用运算符实现调用，可以选择operator()，该运算符没有必须为成员函数的限制，支持全局重载：

#include <vector>
#include <utility>

int& operator()(std::vector<std::vector<int>>& vec, std::pair<int, int> pos) {
    return vec[pos.first][pos.second];
}

const int& operator()(const std::vector<std::vector<int>>& vec, std::pair<int, int> pos) {
    return vec[pos.first][pos.second];
}

使用方式：

std::vector<std::vector<int>> vec(3, std::vector<int>(3));
vec(std::make_pair(0, 0)) = 5;
vec({1, 2}) = 3;

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