C++テンプレート関数の解像度

Question

次のサンプルコードがあります。Linuxでclangとg ++を使用してコンパイルできない理由を理解してもらえますか？

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

私は見てい障害はこれです：

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 

それがコードでこの場合

Answer 1

に引数の型を推論できない理由それは私には不明である：

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

テンプレート関数を定義し、Color型の値Cをテンプレートにして、この関数も同時に偶然起こりますあなたはあなたが提供している

whatColor(red); 

を呼び出すときkeが（実際に使用されていない）をパラメータとしてカラーX

また、その後

C.

のいくつかの可能な値についてはその機能を特化Color xの値はCの値ではありません.XとCは関連していないので（たとえ両方とも色になっても）、コンパイラはCのどの値を使用するかを決める方法はありません。

あなたは色があなたのコードは、それが現在することは可能であろう例えば両方

のミックスをしようとした瞬間に（それはコンパイル時に固定またはされていない）、動的または静的に型付けになりたいかどうかを決定する必要がありこのように呼び出す

whatColor<RED>(BLUE); 

これは本当に少し奇妙です。 C = RED、X = BLUE（ただし、Xは無視されます）

あなたはコンパイル時に色を修正したい場合は、Xの機能パラメータを削除し、ちょうど

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

た場合、またはCのテンプレートパラメータを使用することができますあなたは私はどちらか推薦してること（異なる色は、異なるタイプだったのではなく値が、その後のオーバーロードやテンプレートコードならば、テンプレート

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

を使用しない、Xパラメータを使用する機能が働くだろうではないしたいですこれ）

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

//または過負荷

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

Red red; 
whatColor(red);