一時オブジェクト

  • [アーティクル]

一時オブジェクトは、一時的な値を格納するためにコンパイラによって作成される名前のないオブジェクトです。

解説

場合によっては、コンパイラによって一時オブジェクトを作成する必要があります。 このような一時オブジェクトが作成される理由として、次のことがあります。

  • 初期化する対象の参照の基になる型とは異なる型の初期化子を使用して const 参照を初期化するため。

  • ユーザー定義型 (UDT) を返す関数の戻り値を格納するため。 これらの一時要素は、プログラムがオブジェクトに戻り値をコピーしない場合にのみ作成されます。 次に例を示します。

    UDT Func1();    //  Declare a function that returns a user-defined
                //   type.

...

Func1();        //  Call Func1, but discard return value.
                //  A temporary object is created to store the return
                //   value.

    戻り値は別のオブジェクトにコピーされないため、一時オブジェクトが作成されます。 一時オブジェクトが作成されるより一般的なケースは、オーバーロードされた演算子関数を呼び出す必要がある式を評価するときです。 これらのオーバーロードされた演算子関数は、多くの場合、別のオブジェクトにコピーされないユーザー定義型を返します。

    式 ComplexResult = Complex1 + Complex2 + Complex3 を考えます。 Complex1 + Complex2 式が評価され、結果が一時オブジェクトに格納されます。 次に、式 temporary+ Complex3 が評価され、結果が ComplexResult にコピーされます (代入演算子はオーバーロードされないものとします)。

  • キャストの結果をユーザー定義型に格納するため。 特定の型のオブジェクトがユーザー定義型に明示的に変換されるとき、新しいオブジェクトは一時オブジェクトとして作成されます。

一時オブジェクトには、作成される時点と破棄される時点とで決まる有効期間があります。 複数の一時オブジェクトを作成する式では、作成時と逆の順序で破棄が行われます。

一時オブジェクトの破棄が発生するタイミングは、その使用方法によって異なります。

  • const 参照の初期化に使用される一時オブジェクト:
    初期化子が初期化されている参照と同じ型の左辺値ではない場合、基になるオブジェクト型の一時オブジェクトが作成されます。 初期化式によって初期化されます。 この一時オブジェクトは、バインド先の参照オブジェクトが破棄された直後に破棄されます。 この破棄は、一時オブジェクトが作成された式の後でも発生する可能性があるため、"有効期間の拡張" と呼ばれることもあります。

  • 式の評価の効果として作成された一時オブジェクト:
    式の評価の結果として作成され、最初のカテゴリに適合しないすべての一時オブジェクトは、式ステートメントの最後 (セミコロンの位置)、または、for、if、while、do、および switch ステートメントの制御式の最後に破棄されます。

関連項目

Herb Sutter の「リファレンスについてわかりやすく」に関するブログ