関数の戻り値の範囲

Question

class obj { 
}; 

obj func() { 
    return obj(); 
} 

int main() { 
    obj& o = func(); // possible? 
} 

値でオブジェクトを返す関数の戻り値の範囲はどのくらいですか？ 他の言葉では、この関数が呼び出されたスコープの中で、返された値オブジェクトの参照を取ることは可能ですか？

Answer 1

を行うことができますはい、あなたは、関数の戻り値への参照をバインドすることができます。これは、返されたオブジェクトの存続期間を参照（グローバルまたは関数ローカルの場合）または現在の関数の終わり（参照がデータ・メンバーの場合）に延長します。

ただし、const左辺値の参照に一時的な値（プライベート値）をバインドすることはできません。だから、このようなものだ：

obj& o = func(); // illegal, because non-const lvalue ref 
const obj& o = func(); // fine, lifetime extended 
obj&& o = func(); // fine, lifetime extended 

Answer 2

一時的ではないconst参照は使用できません。

あなたは

• obj o = func(); // new obj created but copy constructor may be ellided
• const obj& o = func(); // lifetime extended
• obj&& o = func(); // lifetime extended

Answer 3

あなたがしかし、一時的に非const参照を取るために、言語によってできる許可されていません：

const obj& o = func(); 
// or 
obj&& o = func(); 
// or simply 
obj o = func();