Wie remove_reference Schablonenargumentabzüge deaktivieren?

Question

Gemäß this link hilft uns der Vorlagenargumentabzug, der für std::forward und std::remove_reference nicht zulässig ist, uns dies zu erreichen. Aber wie verhindert die Verwendung von remove_reference hier den Abzug von Vorlagen? Diese

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

Answer 1

S im Ausdruck typename std::remove_reference<S>::type ist ein nicht abgeleitete Kontext (insbesondere weil S erscheint in dem verschachtelten-name-specifier ein Typ angegeben mit einem qualifizierte-ID). Nicht-abgeleitete Kontexte sind, wie der Name sagt, Kontexte, in denen das Template-Argument nicht abgeleitet werden kann.

Dieser Fall bietet ein einfaches Beispiel, um zu verstehen, warum. Sprich ich hatte:

int i; 
forward(i); 

Was wäre S? Es könnte int, int& oder int&& sein - alle diese Typen würden den korrekten Argumenttyp für die Funktion ergeben. Es ist einfach unmöglich für den Compiler zu bestimmen welcheS Sie wirklich hier meinen - also es nicht versucht. Es ist nicht ableitbar, so dass Sie sich ausdrücklich vor, welche S Sie nach:

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

Answer 2

ist, wie remove_reference implementiert:

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