Zmienne zadeklarowane przez &&

Question

Myśląc o wartości (x | r | l | | pr GL), następujące pytanie przyszło mi do głowy:

Rozważmy następujące dwie deklaracje zmiennych:

X x = ...; 

i

X&& x = ...; 

i zakładamy ... zrobić nie wydania xvalue.

Czy ktoś może pomyśleć o kodzie nie przy użyciu decltype, w którym to robi różnicę? W obu przypadkach, (x) będzie o l-wartości typu X, prawda?

Answer 1

argumenty szablonu typu non-cannot refer to a temporary. Tak więc, biorąc pod uwagę

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

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

template<X&> class woof {}; 

mamy

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

---

Jeśli ... nie jest ograniczony do prvalue typu X, następnie cięcie jest mniej niejasny sposób, aby dwa nierównoważne. Biorąc pod uwagę:

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

Y meow() { return {}; } 

Następnie:

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

Zatem:

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

Answer 2

Może sztuczny przykład, ale z

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

X makeX() {return {};} 

następujące kompiluje

X&& x = makeX(); 

natomiast po nie

X x = makeX();