指针上的下标运算符

Question

如果我有一个指向具有重载下标运算符（[]）的对象的指针，为什么我不能这样做：

 MyClass *a = new MyClass();
 a[1];

但必须这样做：

 MyClass *a = new MyClass();
 (*a)[1];

Answer 1

这是因为你不能为指针类型重载运算符;你只能重载一个操作符，其中至少有一个参数（操作数）是类类型或枚举类型。

因此，如果您有一个指向某个类类型的对象的指针，该对象重载了下标运算符，则必须取消引用该指针才能调用其重载的下标运算符。

在您的示例中，a的类型为MyClass*;这是一个指针类型，因此使用指针的内置operator[]。当您取消引用指针并获得MyClass时，您有一个类类型对象，因此使用了重载的operator[]。

Answer 2

因为a是指向MyClass而不是MyClass的类型指针。更改语言以支持您期望的使用会使许多其他语言语义中断。

您可以从中获得所需的语法结果：

struct foo {
    int a[10];
    int& operator [](int i) { return a[i]; }
};

main() {
    foo *a = new foo();
    foo &b = *a;
    b[2] = 3;
}

Answer 3

简单地说，使用a[1] a指针被视为包含数组的内存，并且您正在尝试访问数组中的第二个元素（不存在）。

(*a)[1]强制首先在指针位置(*a)获取实际对象，然后在其上调用[]运算符。

Answer 4

好消息。你也可以......

A-＆GT;操作符[]（1）;

要添加首选答案，请将运算符重载视为重载函数。

当重载类的成员函数时，请记住指针不属于该类类型。