C++自定义类型运算符重载：成员与全局函数的适用场景

优先用成员函数的场景 #

• 赋值类运算符：像operator+=、operator*=这类以=结尾的运算符，语义就是修改当前对象的状态，作为成员函数完全贴合面向对象的封装逻辑——毕竟是对象自己修改自己。比如你碰到的Vector3D::operator*=，实现起来就是直接修改自身的x、y、z分量，逻辑顺理成章：

  struct Vector3D {
      float x, y, z;
      Vector3D& operator*=(float scalar) {
          x *= scalar;
          y *= scalar;
          z *= scalar;
          return *this;
      }
  };
  

• 单目运算符：比如前置++、取反operator-（比如向量取反）、解引用operator*这类只作用于单个对象的运算符，作为成员函数更直观，操作的就是对象自身。
• 语言强制要求的运算符：C++规定operator=、operator[]、operator()、operator->以及转换运算符（比如operator bool()）必须重载为成员函数，没得选——这些运算符的语义和对象自身绑定极强，语言层面做了限制。

优先用全局函数的场景 #

• 对称双目运算符：operator+、operator*、operator==这类运算符的两个操作数地位平等，全局函数能支持左右操作数类型互换的场景。比如向量和标量相乘，全局版本可以同时处理vec * 2和2 * vec，而成员版本只能处理vec * 2（因为成员函数的左操作数必须是当前类的对象）：

  // 全局实现，支持 vec * scalar
  Vector3D operator*(const Vector3D& vec, float scalar) {
      return {vec.x * scalar, vec.y * scalar, vec.z * scalar};
  }
  // 复用上面的逻辑，支持 scalar * vec
  Vector3D operator*(float scalar, const Vector3D& vec) {
      return vec * scalar;
  }
  

  另外，比较运算符比如==用全局函数的话，还能避免左操作数无法隐式转换的问题——如果用成员函数，当左操作数是其他兼容类型时会直接编译报错。
• 需要访问私有成员的情况：如果全局运算符需要访问类的私有成员，可以把它声明为类的friend，既保证封装性，又能实现对称运算。

核心判断逻辑 #

1. 若运算符的作用是修改当前对象状态，选成员函数；
2. 若运算符是对称双目运算，选全局函数；
3. 严格遵守C++的强制规定：有些运算符必须是成员函数。

内容的提问来源于stack exchange，提问作者pk6x