Regeln für die implizite Konvertierung von Template-Argumente

Question

Wenn Sie eine Funktion überlasten und sie dann mit einem Argument nennen, die sich perfekt einer der Überlastungen Spiele

int f(int){return 3;} 
int f(bool){return 4;} 
...  //inside main() 
f(1);  //Calls f(int) 

der Compiler einfach wählt diese (perfekt) Spiel, bevor Sie implizite Konvertierungen versuchen . Allerdings habe ich versucht, eine Funktion TEMPLATE zu überlasten, wie in

template <bool veracity> 
int f(){return 1;} 

template <int amount> 
int f(){return 2;} 

...  //inside main() 
f<1>(); 

aber der Compiler auf den überlasteten f() complainning über mehrdeutigen Anruf hält, die besagt, es könnte entweder f<true>() oder f<1>() sein. Sollte der Compiler nicht einfach die perfekte Übereinstimmung wählen, anstatt zu versuchen, in wahr zu konvertieren?

Ich hatte den Eindruck, dass die implizite Konvertierung für Template-Argumente tatsächlich restriktiver war als die implizite Konvertierung von Funktionsargumenten. Gibt es eine Möglichkeit, dieses Problem zu umgehen?

Answer 1

Das Argument, das Sie liefern, ist kein Typ, es ist ein Wert, also sind die Regeln ein bisschen anders - Sie müssen die Regeln für Nicht-Typ-Argumente anwenden. Für Nicht-Typ-Argumente sind implizite Konvertierungen zulässig. §14.3.2/5:

Die folgenden Konvertierungen werden für jeden Ausdruck ausgeführt, der als nicht typisiertes Template-Argument verwendet wird. Wenn ein nicht-types Template-Argument nicht in den Typ des entsprechenden Template-Parameters konvertiert werden kann, ist das Programm schlecht formatiert.

- Für einen nicht typisierten Template-Parameter vom Integral- oder Enumerationstyp werden Konvertierungen angewendet, die in einem konvertierten konstanten Ausdruck (5.19) erlaubt sind.

In C++ 03 ist die Formulierung leicht unterschiedlich, aber die Wirkung im wesentlichen identisch (auch §14.3.2/5):

- für einen Nicht-Typ-Template Parameter des Integrals oder Aufzählungstyp, integrale Promotionen (4.5) und integrale Konvertierungen (4.7) werden angewendet.

So oder so, da 1 ist sowohl ein int und implizit umwandelbar in ein bool, Ihr Anruf nicht eindeutig ist.

Answer 2

Da dies kein Compiler-Bug ist, sondern eine Sprachfunktion (siehe this answer), müssen Sie eine Arbeit finden.

Entweder müssen Sie Ihre Funktionen umbenennen oder können Sie diesen Hack verwenden:

template <typename T> struct F; 

template<> struct F<bool> { 
    template <bool veracity> 
    static int f(){return 1;} 
}; 

template<> struct F<int> { 
    template <int amount> 
    static int f(){return 2;} 
}; 

template <typename T, T value> 
int f() { return F<T>::template f<value>(); } 

// inside main(): 
std::cout << f<int, 2>() << '\n'; // prints 2 
std::cout << f<bool, 2>() << '\n'; // prints 1