variabili dichiarate da &&

Question

Pensando a valori (x | R | l | | pr GL), la seguente questione mi sono venute in mente:

Considerate le seguenti due dichiarazioni di variabili:

X x = ...; 

e

X&& x = ...; 

e assumere il ... fanno non consegnare un xValue.

Qualcuno può pensare al codice non utilizzando decltype in cui questo fa la differenza? In entrambi i casi, (x) sarà di un valore di tipo X, non è vero?

Answer 1

Template non-argomenti di tipo cannot refer to a temporary. Pertanto, data

struct X {}; 
X purr() { return {}; } 

X x1 = purr(); 
X&& x2 = purr(); 

template<X&> class woof {}; 

abbiamo

woof<x1> w1; // OK 
woof<x2> w2; // Error 

---

Se ... non è limitato a un tipo di prvalue X, quindi affettare è un modo meno oscuro per rendere i due non equivalenti. Dato:

struct X { virtual ~X() = default; }; 
struct Y : X {}; 

Y meow() { return {}; } 

Poi:

X x1 = meow();  // slices 
X&& x2 = meow();  // doesn't slice 

Così:

dynamic_cast<Y&>(x1); // throws std::bad_cast 
dynamic_cast<Y&>(x2); // OK 

Answer 2

esempio Forse artificiale, ma con

struct X 
{ 
    X() = default; 
    X(const X&) = delete; 
    X operator =(const X&) = delete; 
    X(X&&) = delete; 
    X operator =(X&&) = delete; 
}; 

X makeX() {return {};} 

seguente compila

X&& x = makeX(); 

considerando che in seguito non

X x = makeX();