为何无法将下标运算符(operator[])重载为友元函数？

首先明确结论：C++语言标准强制要求下标运算符operator[]必须作为类的成员函数重载，不能以友元（非成员）函数的形式实现，原因主要有三点：

• 语法规则限制：C++标准对部分运算符的重载形式做了硬性规定，operator[]和operator=、operator->一样，只能是类的成员函数，编译器不会识别非成员版本的operator[]重载。
• 语义逻辑匹配：下标运算符的作用是访问对象内部的元素，这是针对对象自身的操作，属于类的核心行为范畴，作为成员函数更符合封装的设计原则——只有类本身最清楚如何安全、正确地访问自己的内部数据。
• 调用语法的绑定：当我们写obj[index]时，编译器会自动将其解析为obj.operator[](index)的成员函数调用形式。如果是友元函数，调用形式会变成operator[](obj, index)，这和日常使用的下标语法完全不匹配，语言设计时就将这种语法绑定到了成员函数的调用逻辑上。

举个错误示例，硬写友元重载会直接编译失败：

class MyArray {
private:
    int data[10];
public:
    // 错误：尝试将operator[]声明为友元
    friend int& operator[](MyArray& arr, int index);
};

int& operator[](MyArray& arr, int index) {
    return arr.data[index];
}

int main() {
    MyArray arr;
    arr[0] = 5; // 编译器报错：找不到成员函数版本的operator[]
    return 0;
}

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