W jaki sposób remove_reference wyłącza odliczanie argumentów szablonu?

Question

Zgodnie z this link, odrzucenie argumentu szablonu niedozwolone dla std::forward i std::remove_reference pomaga nam to osiągnąć. Ale w jaki sposób użycie remove_reference zapobiega temu, aby potrącano szablon?

template <class S> 
S&& forward(typename std::remove_reference<S>::type& t) noexcept 
{ 
    return static_cast<S&&>(t); 
} 

Answer 1

S w wyrażeniu typename std::remove_reference<S>::type jest zakaz wywnioskować kontekst (w szczególności z powodu S pojawia się w nested-NAME specyfikatorem Urządzony typ określony przy użyciu kwalifikowanego identyfikatora ). Niepodjęte konteksty są, jak sama nazwa wskazuje, kontekstami, w których nie można wywnioskować argumentu szablonu.

Ta sprawa stanowi łatwy przykład, aby zrozumieć, dlaczego. Powiedz, że miałem:

int i; 
forward(i); 

Co by było S? Może to być jeden z tych typów, który dałby poprawny typ argumentu dla funkcji. Po prostu niemożliwe jest, aby kompilator określił , który naprawdę masz na myśli - więc nie próbuje. To nie wywnioskować, więc trzeba wyraźnie, jaka S chodziło Ci o:

forward<int&>(i); // oh, got it, you meant S=int& 

Answer 2

ten sposób remove_reference jest realizowany:

template< class T > struct remove_reference  {typedef T type;}; 
template< class T > struct remove_reference<T&> {typedef T type;}; 
template< class T > struct remove_reference<T&&> {typedef T type;};