请考虑以下代码：
struct X
{
int x;
};
X xInstance;
class A
{
public:
operator X*()
{
return &xInstance;
}
};
int main()
{
A a;
*a = X(); // ok
a[0] = X(); // ok
// a->x = 0; // error
}
A具有对指针类型的隐式转换.我试图在三个需要指针的上下文中使用它;两个第一行很好,但试图通过operator->引用struct X的字段.依赖于隐式转换为X *不起作用.这是为什么？从概念上讲,operator []如何与operator->不同;在这种背景下？
用g 6.3.0和VC 2017测试.
解决方法
标准部分13.6列出了代表内置运算符的“候选运算符函数”,用于重载解析.当运算符@的至少一个子表达式具有类或枚举类型时,考虑重载解析的函数列表是operator @的非成员查找,operator @的成员查找以及这些候选运算符函数的并集.
对于大多数运算符,候选运算符函数通常足以表示内置运算符允许的所有类型.例如,
For every cv-qualified or cv-unqualified object type T,there exist candidate operator functions of the form
T& operator*(T*);
For every cv-qualified or cv-unqualified object type T there exist candidate operator functions of the form
T& operator[](T*,std::ptrdiff_t); T& operator[](std::ptrdiff_t,T*);
当您编写* a或[0]时,相应的候选运算符函数将获得重载解析,子表达式将转换为候选运算符函数的参数类型,然后应用普通的内置运算符规则.
但是,该部分没有列出操作符的任何候选操作符功能 – >.因此,如果a具有类类型,则a-> x的唯一可能函数是a.operator->()的成员查找. (非成员查找不适用于operator-> ;,它必须始终是成员函数.)
