左辺値の左辺値と右辺値へのバインドと戻り値

Question

私が知っていることによると、左辺値を右辺値参照にバインドすることはできません。 そして第二に、左辺値の式は、この2つの文には、次のコードでarecorrect場合、私はトラブルに少しだという事実によって、それは住所-のオペレータによるプレフィックス、（&）

することができ、認識です：

#include<iostream> 

struct Foo 
{ 
    Foo(Foo&& other) 
    { 
     std::cout << "move ctor called"; 
    } 

    Foo(const Foo& other) 
    { 
     std::cout << "copy ctor called"; 
    } 

    Foo(){} 
}; 

Foo return_foo() 
{ 
    Foo f; 
    return f; 
} 


void main() 
{ 
    Foo f = return_foo(); // Move ctor is called, but return_foo() is a lvalue ?? 
    std::cin.ignore();  
} 

どこが間違っていますか？

Answer 1

return_foo()は、（名前のない一時オブジェクトを返すため）prvalueを返します。 prvalue（ "pure" rvalue）は、xvalueではないrvalueです。これは、§3.10/ 1の強調点です。

prvalue [ 例：戻り値の型が ではない関数を呼び出した結果は、評価値です。 12、7.3e5、または などのリテラルの値もまた値です。末端例]

Answer 2

右辺値、すなわち、以下が等価であるとして、一時的に返すことができ、特別なルールがあります - 明示的な「私はもうこれを必要としない」バージョン：

T foo() 
{ 
    T t(a, b, ...); // constructed somehow 
    /* ... */ 
    return std::move(t); 
} 

int main() 
{ 
    T t = foo(); // we can move-construct this 
} 

は、

...と暗黙のバージョン：

T foo() 
{ 
    T t(a, b, ...); 
    /* ... */ 
    return t; // implicitly allow moving 
} 

このすべてが、戻り値の最適化後の起こります。つまり、値を返すことは、実際には多くの場合非常に効率的です。