返回值的范围和赋值

Question

 1 class Foo{
 2 
 3 };
 4 
 5 Foo func1(){
 6   Foo f;
 7   return f;
 8 }
 9 
10 int func2(){
11   int a = 2;
12   return a;
13 }
14 
15 int main(int argc, char** argv){
16   Foo var1;
17   func1() = var1; //OK
18   func2() = 1; //error: expression is not assignable
19   return 0;
20 }

不允许赋值给内置类型的返回值但允许赋值给用户定义类型的返回值的根本原因是什么？如何管理允许一个但不允许另一个的内存？

Answer 1

看看this article关于价值类别。

价值类别

每个 C++ 表达式（带有操作数的运算符、文字、变量名等）都有两个独立的属性：类型和值类别。 [...]

prvalue

以下表达式是纯右值表达式：

[...]

• 函数调用或非引用返回类型的重载运算符表达式，例如 str.substr(1, 2)

好的，所以我们知道表达式func1() 和func2() 是纯右值。

[...]

右值

右值表达式是纯右值或 xvalue。

现在我们知道纯右值是右值。

属性：

[...]

右值不能用作内置赋值或复合赋值运算符的左操作数。

[...]

这是重要的部分。请注意，该规则仅排除内置分配。仍然允许复制类类型的赋值运算符。

因此，内置运算符和类类型运算符之间的区别在于语言规则对它们的处理方式不同。

---

现在，您可能想知道，为什么内置类型不允许赋值？好吧，它没有用例。赋值没有副作用（除了改变左侧操作数的值）并且返回值被丢弃。如果你写它，你很可能犯了一个错误。禁止它对程序员很有帮助。

现在，您可能想知道，分配给右值类类型不是也没有用吗？好吧，可能不是！类类型可以具有用户定义的具有副作用的赋值运算符。并且类类型可以具有具有副作用的析构函数，具体取决于先前执行的分配。我不能保证这是 Bjarne 或委员会在指定语言时使用的推理，但这是我对此事的看法。