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

d1 + 4有效，但是即使可以将4隐式转换为GMan，4 + d1也不起作用。它们为什么不相等？

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;
}

最佳答案

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

成员函数

x.operator +(y);

免费功能

operator +(x, y);

现在，C++有一条简单的规则:在成员访问运算符(.)之前不能进行任何隐式转换。这样，以上代码中的x不能在第一个代码中进行隐式转换，但可以在第二个代码中进行隐式转换。

这条规则很有意义:如果可以在上面的第一个代码中隐式转换x，C++编译器将不再知道要调用哪个函数(即它属于哪个类)，因此它必须在所有现有类中进行匹配查找成员函数。这会对C++的类型系统造成破坏，并使重载规则更加复杂和困惑。