C++按值返回类实例未表现为右值的赋值异常问题及方案问询

该问题的核心是C++对自定义类型的成员函数调用默认允许右值作为调用对象：内置类型（比如int）的右值无法作为赋值目标，所以如果a是int类型，-a = b会直接编译报错；但自定义类的默认生成/用户未加引用限定的operator=没有这个限制，允许对临时右值对象执行赋值操作，这才导致了这个静默bug。

• 方案1：返回const修饰的operator-结果
  你目前使用的const foo operator-() const确实可以阻止对返回的临时对象赋值，代码侵入性小，适合C03及更早的旧标准环境。缺点是C11及之后的版本中，返回const值会阻止返回值的移动构造，在某些场景下会有不必要的性能开销。
• 方案2：为赋值运算符增加左值引用限定（更优，推荐C++11及之后环境使用）
  直接给类的赋值运算符加&后缀，显式规定赋值运算符只能对左值对象调用，从根源上禁止对右值临时对象赋值，不需要修改所有运算符的返回值类型，通用性更强：

  // 拷贝赋值限定仅左值可调用
  foo& operator=(const foo& other) & = default; 
  // 移动赋值也同步加左值限定
  foo& operator=(foo&& other) & = default; 
  

  加了这个限定之后，不管是-a = b还是其他任何对临时对象赋值的写法，编译器都会直接报错，覆盖所有类似场景，不会影响正常的左值赋值操作，也不会带来性能损失。
• 方案3：开启更高等级的编译警告
  新版本的GCC、Clang开启-Wall -Wextra的前提下，部分版本可以识别到这类对无副作用的临时对象赋值的操作，会抛出类似*“value computed is not used”*的警告，不需要修改代码就可以提前发现这类问题。

如果你的项目是C11及以上的版本，给赋值运算符加左值引用限定的成本极低，属于通用的防御性编程规范，建议加上，除了能避免这类笔误之外，还能阻止其他无意义的对临时对象赋值的错误写法。如果是维护C03的老项目，返回const值的方案也能起到防护作用，收益远高于修改成本。

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