C++ 使用「；运算符T*（）”；而不是",；T*运算符->；()"；供会员使用
表达式C++ 使用「；运算符T*（）”；而不是",；T*运算符->；()"；供会员使用,c++,syntax,type-conversion,C++,Syntax,Type Conversion,表达式x->y需要x作为完整类类型的指针，或者当x是类的实例时，需要为x定义运算符->（）。但如果是后者，为什么我不能使用转换函数（即，将对象x转换为指针）？例如： struct A { int mi; operator A*() { return this; } }; int main() { A a; a[1]; // ok: equivalent to *(a.operator A*() + 1); a->mi; // ERROR }
x->yxxx运算符->（）xstruct A
{
int mi;
operator A*() { return this; }
};
int main()
{
A a;
a[1]; // ok: equivalent to *(a.operator A*() + 1);
a->mi; // ERROR
}
错误：'->'的基操作数具有非指针类型“A”但问题是，为什么它不使用
a.operator a*（）a[1]如果要对另一个运算符->的结果递归调用运算符->（该运算符将具有指针返回类型），则强烈暗示必须对指针类型调用运算符->。这是由于表达式中运算符的特殊重载解析规则。对于大多数运算符，如果任一操作数的类型为类或枚举，则运算符函数和内置运算符将相互竞争，重载解析将确定将使用哪一个运算符。这就是
a[1]，&->- 具有相同的操作员名称，并且
- 接受相同数目的操作数，并且
- 接受可根据13.3.3.1将给定操作数转换为的操作数类型，以及
- 不具有与任何非函数模板专用化的非成员候选项相同的参数类型列表
a[1][]、&->、&->->运算符->操作符->运算符->->->->->所有引用均来自当前工作草案N4431，但相关部分自C++11以来未发生变化。
*（a.operator a*（）+1）a[1]a.运算符a*（）a.的指针。*（a.运算符a*（）+1）*（&a+1）a[1]a！=*（&a+1）运算符->