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

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 + y 被 C++ 编译器翻译成以下两个调用之一(取决于 x 是否是类类型，以及这样的函数是否存在):

1. 成员函数

   x.operator +(y);
   

2. 自由函数

   operator +(x, y);
   

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

这个规则是有道理的:如果 x 可以在上面的第一段代码中被隐式转换，C++ 编译器将不再知道要调用哪个函数(即它属于哪个类)，所以它将不得不搜索所有现有类 以寻找匹配的成员函数。这会对 C++ 的类型系统造成严重破坏，并使重载规则更加复杂和困惑。