C++ - Vorlage Funktion Auflösung

Question

Ich habe den folgenden Beispielcode und möchte Hilfe bekommen, um zu verstehen, warum ich nicht in der Lage bin, es unter Verwendung von CLANG und G ++ unter Linux zu kompilieren?

#include <iostream> 

using namespace std; 

typedef enum COLORS { 
    RED = 0, 
    GREEN, 
    BLUE, 
    ORANGE, 
    MAROON, 
    WHITE, 
    BLACK 
} COLORS; 

template <COLORS C> void whatColor(COLORS x) { 
    cout << "this can be any color!!!" << endl; 
} 

template<> void whatColor<RED>(COLORS x) { 
    cout << "this is RED!!!" << endl; 
} 

template<> void whatColor<GREEN>(COLORS x) { 
    cout << "this is GREEN!!!" << endl; 
} 

template<> void whatColor<BLUE>(COLORS x) { 
    cout << "this is BLUE!!!" << endl; 
} 

template<> void whatColor<ORANGE>(COLORS x) { 
    cout << "this is ORANGE!!!" << endl; 
} 

int main() { 
    const COLORS red=RED; 

    whatColor(red); 
    whatColor<RED>(RED); 
    whatColor<red>(red); 
    whatColor<RED>(red); 
} 

Das Scheitern ich sehen will, ist dies:

CXX [misc] tmpl.cpp 
src/tmpl.cpp:40:2: error: no matching function for call to 'whatColor' 
    whatColor(red); 
    ^~~~~~~~~ 
src/tmpl.cpp:15:26: note: candidate template ignored: couldn't infer template argument 'C' 
template <COLORS C> void whatColor(COLORS x) { 
        ^
1 error generated. 
make: *** [obj/tmpl.o] Error 1 

Es ist mir unklar, warum es nicht das Argument ist in diesem Fall

Answer 1

mit dem Code ableiten kann:

template <COLORS C> void whatColor(COLORS x){...} 

Sie definieren eine Template-Funktion, die auf dem Wert C vom Typ Farbe basiert, diese Funktion passiert zufällig auch mit ta ke eine Farbe x als Parameter (die nicht tatsächlich verwendet wird)

Sie spezialisieren sich auch dann diese Funktion für einige mögliche Werte von C.

wenn Sie

whatColor(red); 

rufen Sie ein bereitstellen Wert für Farbe x, aber kein Wert für C. Da X und C nicht verwandt sind (auch wenn beide Farben vorkommen), kann der Compiler nicht entscheiden, welchen Wert von C er verwenden soll.

sollten Sie entscheiden, ob Sie die Farbe wünschen dynamisch oder statisch typisierte sein (es bei der Kompilierung festgelegt ist oder nicht) zur Zeit versucht, Ihr Code eine Mischung aus beidem

zum Beispiel es derzeit möglich wäre, Rufen Sie es so

whatColor<RED>(BLUE); 

was ein bisschen seltsam wirklich ist. C = ROT, X = BLUE (aber X wird ignoriert)

wenn Sie die Farbe bei der Kompilierung beheben möchten Sie die X-Funktion Parameter entfernen können und verwenden nur den C-Template-Parameter

template <COLORS C> void whatColor() //definition 
whatColor<RED>(); // call 

oder wenn Sie wollen, dass die Funktion der X-Parameter zu verwenden, dann eine Vorlage

nicht

void whatColor(COLORS X) 
{ 
    // maybe use a switch statement on X 
} 

verwenden, wenn die verschiedenen Farben verschiedene Typen waren, anstatt Werte dann Überlastung oder würde Template-Code arbeiten (nicht, dass ich empfehle entweder für dies)

class Red{}; 
class Blue{}; 
template <typename COLORSTYPE> void whatColor(COLORSTYPE x) 
{ 
    // ... 
} 

// oder Überlastungen

void whatColor(Red dummy){//...} 
void whatColor(Blue dummy){//...} 

Red red; 
whatColor(red);