Очень похоже что вас интересует сворачивание ссылок(reference collapsing).
Как известно rvalue ссылка рядом с типом, который выводится компилятором называется универсальной. Вот несколько примеров:
template<class T>
void foo(T&& value);
//---
auto&& var2 = var1;
//---
template<class T>
class Foo{
typedef T&& type;
};
Называется она так потому что из-за механизма сворачивания ссылок она может превратиться как в rvalue ссылку так и в lvalue.
Суть механизма сворачивания ссылок в том, что в C++ не может быть ссылки на ссылку. Но может случится так, что компилятор выведет тип T
как, скажем int&
. Для таких случаев решили следующее:
- & + & = &
- & + && = &
- && + & = &
- && + && = &&
Ваш пример:
template<class T>
T&& move(T&& a);
Развернется как:
template<class T>
T&& move(X&& && a);
И ссылка на ссылку, согласно правилам, схлопнется в одну ссылку:
template<class T>
T&& move(X&& a);
Подробно об этом механизме здесь
X&&
, гдеX
- переданный тип с удаленными ссылками - см. en.cppreference.com/w/cpp/utility/move