C++ 11 - rvalue referans değişkenler

Question

int a = 42; 

ve

int&& rvr = 42; 

arasındaki fark nedir?

a besbelli bir lvalue olmakla rvr o adlandırılmış değişkendir, bu nedenle bu ifadeler aynen eşdeğer kabul edilebilir çünkü aynı zamanda bir lvalue olduğunu ve değilse, int&& beyan tercih edildiği senaryolar içinde?

Answer 1

Tam olarak eşdeğer değiller. Her iki değişken Sol taraf olduklarını haklısın ama forma

T a = b; 

türlerinin çoğu, başlangıç ​​noktaları için geçici T nesnesi oluşturur ve daha sonra bu geçici nesneden a oluşturur. Bu geçici nesne seçilebilir, ancak yine de uygun kurucuların kullanılabilir olmasını gerektirir. Öte yandan

T &&a = b; 

, b doğrudan a bağlar, ancak bir rvalue olduğu b gerektirir. Yani:

int a = 3; 
// int&&b = a; // error: && cannot bind to lvalues 
int b = a; // okay 

struct S { S(const S &) = delete; }; 
S f(); 
// S s = f(); // error: no copy or move constructor available 
S&&s = f(); // okay 

Ve daha basitçe, decltype da referanslar için farklı sonuçlar verecektir.