Ich habe eine überladene Vorlagenfunktion:
template<typename T1, typename T2>
auto overMax(T1 a, T2 b)
{
std::cout << __FUNCSIG__ << std::endl;
return b < a ? a : b;
}
template<typename RT, typename T1, typename T2>
RT overMax(T1 a, T2 b)
{
std::cout << __FUNCSIG__ << std::endl;
return b < a ? a : b;
}Wenn ich es so nenne:
auto a = overMax(4, 7.2); // uses first template
auto b = overMax<double>(4, 7.2); // uses second templatealles funktioniert perfekt, aber
auto c = overMax<int>(4, 7.2); // errorverursacht mehrdeutige Anrufe.
Warum ist es so mit int und OK welche anderen Typen?
intGeben Sie dastypename RToder das antypename T1? Da4ist auch einint, könnte es auch sein. Mitdouble,4nicht direkt den Typ entsprechendoublewird die zweite Überlast bevorzugt, so.Antworten:
RTist nicht ableitbar, kann also nur aufgerufen werden, wenn es nicht bereitgestellt wirdtemplate<typename T1, typename T2> auto overMax(T1 a, T2 b).Wenn Sie (teilweise) ein Vorlagenargument angeben, sind beide Methoden realisierbar.
aber je nach Argument kann man ein besserer Kandidat sein:
Zum
auto b = overMax<double>(4, 7.2); // uses second templateBeides
overMax<double, int, double>undoverMax<double, double>sind lebensfähig.Aber
overMax<double, int, double>ist genau passendwährend
overMax<double, double>erfordertintzudoubleKonvertierung.Zum
auto c = overMax<int>(4, 7.2); // Ambiguous callBeides
overMax<int, int, double>undoverMax<int, double>sind lebensfähig.Aber weder ist eine bessere Übereinstimmung noch spezialisierter, so dass der Anruf mehrdeutig ist.
quelle
overMax<int>(4, 7.2)wäre im ersten FallT1=int(bereitgestellt)T2=double(abgeleitet) und im zweiten FallRT=int(bereitgestellt)T1=int, T2=double(abgeleitet). Die inhaltliche Definition beider Methoden wird nicht zur Auswahl der Überladung verwendet.