Verständnis Vorlage Argument Abzug mit rvalue/L-Wert

Question

Dies ist ein Followup von function template does not recognize lvalue

Fangen wir mit dem folgenden Code spielen:

#include <iostream> 
template <class T> 
void func(T&&) { 
    std::cout<<"in rvalue\n"; 
} 

template <class T> 
void func(const T&) { 
    std::cout<<"in lvalue\n"; 
} 

int main() 
{ 
    double n=3; 
    func<double>(n); 
    func(n); 
} 

Er druckt:

in lvalue 
in rvalue 

Ich verstehe nicht, was passiert im zweiten Anruf. Wie der Compiler den Template-Parameter auflösen? Warum gibt es keine Zweideutigkeit?

Answer 1

Wenn Sie func<double>(n) sagen, gibt es keinen Argumentabzug, da Sie das Argument angeben, und die Auswahl liegt zwischen func(double &&) und . Ersteres ist nicht praktikabel, weil eine rvalue-Referenz nicht an einen lvalue binden kann (nämlich n).

Nur func(n) führt Argumentabzug durch. Dies ist ein komplexes Thema, aber auf den Punkt gebracht, haben Sie diese zwei mögliche Kandidaten:

T = double &: func(T &&)  --> func(double &)   (first overload) 
T = double:  func(const T &) --> func(const double &) (second overload) 

Die erste Überlastung ist strikt besser, weil es ein erfordert weniger Umwandlung des Arguments Wert (nämlich double-const double).

Die magische Zutat ist die "reference collapsing", was bedeutet, dass eine L-Wert T && Referenz sein kann, wenn T selbst ein Referenztyp (specificaly wird double & &&double &, und das erlaubt es der erste Abzug vorhanden ist).