C++ 3D向量类重载运算符应返回新对象还是修改原有对象？

问题1：你的理解是否存在错误？ #

你的理解完全正确。二元+运算符如果实现为修改左操作数（也就是调用运算符的当前对象），确实会修改原a的值，导致第二次a + c的运算基础是第一次加法后的a，输出结果和预期不符。这种实现完全违背了大众对加法运算的常识认知——正常的a + b逻辑默认不会修改a或b本身的值。

问题2：两种实现方式的优缺点 #

首先要明确一个常见误区：网上所说的「修改原有对象提升性能」的适用场景是+=这类复合赋值运算符，而不是二元算术运算符+，两类运算符的定位完全不同：

方案1：二元+返回新对象（值语义）

• 优点：
  • 完全符合数学运算的直觉语义，不会产生隐性的原对象修改，极大降低了业务代码出bug的概率，支持a + b + c这类链式运算写法，代码可读性、可维护性极高。
  • 原对象天然不可变，多线程场景下读操作不需要额外加锁，线程安全性更高。
• 缺点：
  • 运算过程会产生临时返回对象，在超高频向量运算场景下存在理论上的拷贝开销，但对于仅包含3个double成员的Vector3这类小对象来说，配合C++的返回值优化（RVO/NRVO）和移动语义，这个开销已经被压缩到几乎可以忽略的程度。

方案2：运算符修改当前对象（可变语义）

• 优点：
  • 没有临时对象生成，理论性能最高，适合累加、累计变换这类不需要保留原对象值的场景。
• 缺点：
  • 完全违背二元加法的通用语义，会对所有调用方造成认知负担，极容易产生隐性bug，也不支持多操作数的链式运算写法，代码表达性极差。

问题3：结合两种优势的方案 #

C++标准库对于算术类型的运算符实现，早就给出了成熟的兼顾方案：同时实现二元算术运算符和复合赋值运算符，两者复用逻辑，可以同时满足不同场景的需求：

1. 先实现复合赋值运算符+=，采用修改当前对象的逻辑，保证累加场景的性能：

// Vector.h中声明
Vector3& operator+= (const Vector3& other);

// Vector.cpp中实现
Vector3& Vector3::operator+= (const Vector3& other) {
    i += other.i;
    j += other.j;
    k += other.k;
    return *this;
}

2. 二元+运算符复用+=的逻辑，返回新对象，保证语义正确性：

// Vector.h中声明
Vector3 operator+ (const Vector3& other) const;

// Vector.cpp中实现
Vector3 Vector3::operator+ (const Vector3& other) const {
    Vector3 temp = *this;
    temp += other;
    return temp;
}

这种实现方式下，需要保留原对象值、写链式表达式的场景就用a + b，需要累加节省开销的场景就用a += b，同时兼顾了代码表达性和性能，也是C++社区公认的数值类型运算符重载最佳实践。

内容的提问来源于stack exchange，提问作者K. Raivio