重载运算符中没有隐式转换

Question

d1 + 4工作原理,但4 + d1并不即使4可隐式转换为GMAN.为什么它们不相同？

struct GMan
{
    int a, b;

    GMan() : a(), b() {}
    GMan(int _a) : a(_a), b() {}
    GMan(int _a, int _b) : a(_a), b(_b) {}

    GMan operator +(const GMan& _b)
    {
         GMan d;
         d.a = this->a + _b.a;
         d.b = this->b + _b.b;
         return d;
    }
};

int main()
{
    GMan d1(1, 2), d(2);
    GMan d3;
    d3 = d1 + 4; 
    d3 = 4 + d1;
}

Answer 1

x + yC++编译器将调用转换为以下两个调用之一(取决于是否x为类类型,以及是否存在此类函数):

1. 会员职能

   x.operator +(y);
   

2. 自由功能

   operator +(x, y);
   

现在C++有一个简单的规则:在成员访问operator(.)之前不会发生隐式转换.这样,x在上面的代码中不能在第一个代码中进行隐式转换,但它可以在第二个代码中进行.

这个规则是有道理的:如果x可以在上面的第一个代码中隐式转换,C++编译器将不再知道调用哪个函数(即它属于哪个类),因此它必须搜索所有现有类以查找匹配成员功能.这将对C++的类型系统造成严重破坏,并使重载规则更加复杂和混乱.