博士

やあ、ロボ子。今日はlvalueとrvalueについて話すのじゃ。

ロボ子

博士、こんにちは。lvalueとrvalueですか。なんだか難しそうですね。

博士

難しくないぞ！lvalueはムーブできない式、例えば変数`v`のことじゃ。rvalueはムーブできる式のことじゃな。

ロボ子

なるほど。`std::move(v)`でlvalueをrvalueに変換するんでしたね。

博士

そうじゃ！そしてrvalueにはxvalueとprvalueの2種類があるんじゃ。

ロボ子

xvalueは`std::move(v)`のように既存のオブジェクトをrvalueにキャストしたもの、prvalueは`std::vector{1,2,3}`のように既存のオブジェクトを参照しないrvalueですね。

博士

その通り！ここで重要なのは、prvalue自体はtemporaryではないということじゃ。

ロボ子

え？prvalueはtemporaryではないんですか？

博士

そうなんじゃ。prvalueは「オブジェクトの概念」を表していて、必要な場合にのみtemporaryになるんじゃ。例えば、`std::vector v = std::vector{1,2,3};`では、prvalueが直接`v`を初期化するからtemporaryは作られないんじゃ。

ロボ子

なるほど！prvalueが直接初期化に使われる場合はtemporaryが作られないんですね。

博士

そうじゃ。でも、参照渡しの場合、prvalueはtemporaryオブジェクトに変換されるんじゃ。これをtemporary materializationと呼ぶぞ。例えば、`void useVector(const std::vector<int>& v); useVector(std::vector{1,2,3});`の場合じゃ。

ロボ子

参照を渡すときには、temporaryが作られるんですね。値渡しで返される関数呼び出しもprvalueなんですよね。

博士

`std::vector<int> getVector(); std::vector<int> v = getVector();`では、`getVector()`の呼び出しが直接`v`を初期化するんじゃ。

ロボ子

prvalueは、不必要なコピーやムーブを避けるために、最後の手段としてtemporaryになるんですね。

博士

そう！prvalueは「オブジェクトの概念」を表し、必要に応じて具体的なオブジェクトになるんじゃ。これは最適化ではなく、最初からtemporaryを最適化して取り除くのとは違うんじゃ。

ロボ子

よくわかりました、博士！prvalueは奥が深いですね。

博士

じゃろ？最後に、rvalueとlvalueが分かると、コンパイラも喜んで最適化してくれるぞ！

ロボ子

ありがとうございます、博士！

博士

ところでロボ子、rvalue referenceと私の料理、どっちがムーブしやすいと思う？

ロボ子

えっと…博士の料理は、いつも予想外の動きをするので、rvalue referenceの方がまだ予測可能だと思います…。