C++自定义BigInt类：为何需重载+=运算符及重载后失效问题排查

咱们逐个拆解你的疑问：

疑问一：为何C++要求我同时重载简写形式的+=运算符？ #

其实C++并没有强制要求你必须重载+=运算符，这更多是贴合C++编程习惯的最佳实践，核心原因有两点：

• 语义一致性：内置数值类型（比如int、long）同时支持+和+=操作，自定义类遵循这个行为模式，能让代码更符合开发者的直觉，使用起来更顺手。
• 性能与代码复用：+=是直接修改当前对象，不需要创建临时对象；而+需要生成新对象存储结果。如果先实现+=，再基于它实现+，既能避免重复编写加法逻辑，还能提升性能。比如可以这样实现operator+：

BigInt operator+(const BigInt& o) const {
    BigInt result = *this;
    result += o; // 直接复用+=的加法逻辑
    return result;
}

疑问二：为何a+=b仅执行加法却未赋值回a，而a=a+b正常工作？ #

问题出在你operator+=的实现上！你当前的代码只是返回了*this + o的计算结果，但完全没有修改当前对象（*this）的内部状态。也就是说，你算出了a+b的结果，但没把这个结果存回a的num成员变量里，所以a本身的值根本没变，那个计算出来的临时对象直接被丢弃了。

而a=a+b能正常工作，是因为它把a+b生成的临时对象赋值给了a，相当于直接替换了a的num成员。

正确的operator+=实现应该是这样的： #

// 用const引用传参避免不必要的对象拷贝，返回引用支持链式调用
BigInt& operator+=(const BigInt& o) {
    // 在这里执行你的加法逻辑，把计算结果赋值给当前对象的num成员
    // 比如假设你有一个addStrings函数用来实现两个数字字符串的加法
    this->num = addStrings(this->num, o.num);
    
    // 返回当前对象的引用，符合内置类型的行为（支持a += b += c这种链式写法）
    return *this;
}

这里还有两个细节可以优化：

1. 把operator+改成const成员函数，因为加法操作不应该修改原对象的状态：

BigInt operator+(const BigInt& o) const {
    BigInt temp = *this;
    temp += o;
    return temp;
}

2. 可以把number()方法调整为const string& number() const，避免不必要的字符串拷贝，更符合const正确性原则。

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