In che modo remove_reference disabilita le deduzioni degli argomenti del modello?

Question

Secondo this link, la deduzione argomento argomento non consentita per std::forward e std::remove_reference ci sta aiutando a raggiungere questo obiettivo. Ma in che modo utilizzare remove_reference impedisce che la deduzione del modello si verifichi qui?

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

Answer 1

S nell'espressione typename std::remove_reference<S>::type è un non-dedotta contesto (proprio perché S appare nella nested-nome-specificatore di un tipo specificato utilizzando un ID qualificata). I contesti non dedotti sono, come suggerisce il nome, contesti in cui l'argomento del modello non può essere dedotto.

Questo caso fornisce un semplice esempio per capire perché. Dire che ho:

int i; 
forward(i); 

Che cosa sarebbe S essere? Potrebbe essere int, int& o int&& - tutti questi tipi restituirebbero il tipo di argomento corretto per la funzione. È semplicemente impossibile per il compilatore determinare qualeS si intende veramente qui - quindi non prova. E 'non deducibili, quindi bisogna prevedere esplicitamente che S cercavi:

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

Answer 2

Questo è il modo in Remove_Reference viene implementato:

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;};