为什么左操作数所需的错误左值不会出现在字符串中？

Question

在下面的代码 sn-p 中，为什么行 2 + 3 = 5 语句给出错误但下一个分配给字符串连接的语句编译成功？

#include <string>

int main() {                                                                                                                                                  
   2 + 3 = 5;   //  Error: lvalue required as left operand of assignment                                                                                                                                             
   std::string("2") + std::string("3") = std::string("5");  // Compiles successfully. why?                                                                                                 
   return 0;                                                                                                                                                 
}

我的理解是表达式std::string("2") + std::string("3") = std::string("5") 的左侧将产生临时的rvalue。这意味着我分配给rvalue - 就像2 + 3 = 5。所以它也应该给出lvalue required as left operand of assignment 错误。但事实并非如此。

Answer 1

说明

对于类类型，赋值是通过复制和移动赋值运算符实现的。 std::string 是一个类，所以

std::string("2") + std::string("3") = std::string("5")

只是

的语法糖

(std::string("2") + std::string("3")).operator=(std::string("5"))

operator= 是一个成员函数。通常，可以在左值和右值上调用成员函数。因此，这个表达式是有效的。

标准参考

对于非重载operator=（即对于int）：[expr.ass]/1

赋值运算符 (=) 和复合赋值运算符 所有组从右到左。都需要 一个可修改的左值作为它们的 左操作数并返回一个引用左操作数的左值。 [...]

对于过载operator=（对于std::string）：[expr.ass]/4

如果左操作数是类类型，则类应该是完整的。 对类对象的赋值由复制/移动赋值运算符定义（[class.copy]，[over.ass]）。

（强调我的所有）

Answer 2

该规则仅适用于内置类型的对象，例如 int。

它不适用于课程。

该规则可能被认为对于类来说过于严格，其运算符可能会被重载以执行各种操作……或者在 C++ 出现时可能被认为过于严格，但破坏旧的 C 代码是不行的通过放宽内置规则。

不管怎样，你加法的结果实际上是一个左值，因为当你从一个函数返回一个左值引用，比如std::string& 时，你会得到这个结果。尽管加法的两个操作数都是右值表达式和临时对象。这里可能有点令人惊讶，there's a proposal to do better at "propagating value category" 在这种情况下，现在语言为我们提供了这样做的工具。