rvalueへのconst左辺参照を一時的に返しますか？なぜこれは機能しますか？

Question

このコードはなぜ機能しますか？毎回60を出力します。まず、​​3210は、関数が名前のない構造ではなく、既存の変数への参照を返すことを示します。第二に、関数が返ってきたときに一時的に死んではいけません。私は最新のGCCバージョンがOSX上にあるものを使用しています...誰かが私にこの理由を説明してもらえますか？

#include <iostream> 

using namespace std; 

struct thingy { 
    double things; 
    double moreThings; 
    double evenMoreThings; 
}; 

const thingy& getThingy() { 
    return {60, 60, 60}; 
} 

int main() { 
    cout << getThingy().evenMoreThings << endl; 
} 

これが機能するのであれば、どうしてですか？

const thingy& getThingy() { 
    thingy t{60, 60, 60}; 
    return t; 
} 

Answer 1

ここではコンパイラが戻り値の最適化を実行しています。

https://en.wikipedia.org/wiki/Return_value_optimization

コンパイラは、リターンで構築された値を取ることができ、さらには、それをコピーする必要はありません。しかし、関数内で構造体を構築する例では、実際にはローカル変数であるため、関数の終わりにスコープから外れて参照が無効になります。

Answer 2

どちらのオプションも、が必要です。は、C++標準で動作する必要がありません。したがって、いずれかの特定の状況で必ず動作すると見なされるべきではありません。

コンパイラの仕様によって、値を直接返す場所で最初のオプションが動作しています。

理想的には、互換性を保証するために値（thingy getThingy();）で戻すことをお勧めします。あなたの時間の価値のあるコンパイラは、これに戻り値の最適化を適用し、コピーコンストラクタ呼び出しの必要性を防ぎ、依然として必要な効率を可能にします。

Answer 3

rvalueとlvalueの参照を混同しないでください。 最良の選択肢は、コピーで返すことです。

ローカル変数のlavalue rerenseを返すと常に問題が発生します。