戻り値の範囲と代入

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++式（等オペランド、リテラル、変数名とオペレータ）は、2つの独立した性質によって特徴付けられます。

[...]

• 関数呼び出しまたは非基準リターンのオーバーロード演算子式：prvalue

  は、以下の式がprvalue式である[...]

  str.substr（1,2）のようなタイプ。

OKですので、式func1()とfunc2()はprvaluesです。

[...]

右辺値

右辺値式はprvalueかはxValueのいずれかです。

ここで、prvaluesはrvaluesであることがわかります。

プロパティ：

[...]

右辺は、組み込み割り当て又は複合代入演算子の左側のオペランドとして使用することができません。ここで

[...]

は重要な部分です。このルールでは、組み込みの割り当てのみが除外されています。クラス型の代入演算子は引き続き使用できます。

組み込み演算子とクラス型演算子の違いは、言語の規則によって扱われる点が異なります。は、ビルトインタイプのために割り当て許可されていない理由を

---

は今、あなたは、を不思議に思われるかもしれませんか？まあ、それのためのユースケースはありません。代入には副作用がなく（左辺オペランドの値を変更する以外に）、戻り値は破棄されます。あなたがそれを書いたら、間違いを犯した可能性が最も高いです。それを許可しないことは、プログラマーにとって有益です。

今、あなたはrvalueクラス型にも役に立たないと思っているかもしれません。まあ、そうではないかもしれません！クラス型には、副作用を持つユーザー定義の代入演算子を使用できます。また、クラス型には、以前に実行された割り当てに応じて副作用を持つデストラクタを持つことができます。私はこれがBjarneまたは委員会が言語を指定した時に使用した理由であるとは保証できませんが、それは私の考えです。