Тип вычет при использовании универсальных ссылки

Question

Может кто-то помочь мне понять, почему выход следующего кода

template< typename T > 
void check() 
{ 
    std::cout << "unknow type" << std::endl; 
} 

template<> 
void check<int>() 
{ 
    std::cout << "int" << std::endl; 
} 

template<> 
void check<int&>() 
{ 
    std::cout << "int&" << std::endl; 
} 

template<> 
void check<int&&>() 
{ 
    std::cout << "int&&" << std::endl; 
} 

template< typename T > 
void bar(T&& a) 
{ 
    check<T>(); 
} 

int main() 
{ 
    bar(0); 

    int a = 0; 
    bar(a); 
} 

является

int 
int& 

и не

int&& 
int& 

С моей точки view, кажется более интуитивным, что ссылка r-value остается в качестве ссылки на r-значение и ссылкой l-value lv alue reference. Однако кажется, что только ссылки l-value остаются в качестве ссылок на l-значение, а значения r становятся неосновными. Какова мотивация/идея этого?

Answer 1

bar(0); вызывает специализацию bar<int>(int&&) т.е. T выводится в int, так check<T>() является check<int>(). Тип параметра - T&&, который равен int&&, но это тип параметра, а не тип T.

Это полностью соответствует рекомендациям, не связанным с пересылкой. Если вы определяете:

template<typename T> void baz(T&); 

и вы называете его с Lvalue типа int затем T выводится в int, не int&

Единственное, что особенного ссылки экспедиторских как ваш пример использует то, что для T&& тип можно вывести как ссылку на lvalue, назовите его R, и в этом случае тип параметра - R&&, который совпадает с add_rvalue_reference_t<R>, который равен R. Таким образом, для вызова bar(a) вы звоните специализации bar<int&>(int&) т.е. T выводятся в int&

При вызове bar<int&&>(0) с явным шаблоном списка аргументов нет вывода аргумента, и поэтому T замещен int&&, поэтому типа параметра T&& является add_rvalue_reference_t<int&&>, который является только int&&.