Переменные, объявленные &&

Question

Думая о (х | г | л | рг | ГЛ) значений, следующий вопрос пришел мне на ум:

Рассмотрим следующие два объявления переменных:

X x = ...; 

и

X&& x = ...; 

и предположим, что ... сделать не доставить xvalue.

Может кто-нибудь подумать о коде не с использованием decltype, в котором это имеет значение? В обоих случаях (x) будет lvalue типа X, не так ли?

Answer 1

аргументы шаблона не типа cannot refer to a temporary. Таким образом, учитывая

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

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

template<X&> class woof {}; 

мы имеем

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

---

Если ... не ограничивается prvalue типа X, то нарезка менее неясным способ сделать два неэквивалентных. Дано:

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

Y meow() { return {}; } 

Тогда:

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

Таким образом:

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

Answer 2

Может быть искусственный пример, но с

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

X makeX() {return {};} 

следующие компилирует

X&& x = makeX(); 

тогда нижеперечисленного не

X x = makeX();