Const 参照による右辺値の保持: A C パズル

C では、通常の参照とは異なり、 const 参照による右辺値 (一時オブジェクト) の受け渡しが許可されます。 。次のプログラムを考えてみましょう。

void display(const int& a) { cout 
このプログラムでは、参照が const としてマークされている場合でも、左辺値と右辺値の両方を表示関数に渡すことができます。通常、const 参照は左辺値の保持に関連付けられているため、この動作は不可解です。
Const 参照のライフタイム延長
この動作を理解する鍵はセマンティクスにあります。 C の const 参照の。 const 参照は、参照されるオブジェクトの存続期間を、それを含むスコープが終了するまで延長します。右辺値の場合、これにより、const 参照がスコープ外になるまで、一時オブジェクトの破棄が効果的に防止されます。
例: 右辺値の有効期間を延長する
たとえば、display(5) が呼び出されると、次のことが発生します:
 int 型の右辺値が次の値で作成されます。 5.
const 参照 a は、この右辺値にバインドされています。
const 参照は、表示関数が終了するまで右辺値の存続期間を延長します。
右辺値は次のとおりです。値を出力するために関数内で使用されます。 5.
表示関数が戻ると、const 参照はスコープ外になり、右辺値は最終的にdestroy.
これは、const 参照がどのように右辺値を指し続け、他の方法ではすぐに破棄される場合でも、その右辺値が存在し続けることを可能にする方法を示しています。