不爲派生類型調用函數模板專門化

Question

我有一個函數模板，我專門爲特定類型。我無法在特定情況下調用專用版本。爲了說明

struct Base {}; 
struct Derived : public Base {}; 


template <typename VALTYPE> void FooInternal(VALTYPE&) 
{ 
    std::cout << L"FooInternal template"; 
} 

template<> void FooInternal(Base&) 
{ 
    std::cout << L"FooInternal SPECIAL"; 
} 

現在，如果我建「基地」或「派生」的實例，並稱之爲「FooInternal」，所有的作品我希望

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    int x = 7; 
    FooInternal(x); // Calls FooInternal<VALTYPE>() template 

    Base b; 
    FooIntenral(b); // Calls FooInternal<Base>() specialization 

    Derived d; 
    FooInternal(d); // Calls FooInternal<Base>() specialization 

    return 0; 
} 

的這個輸出是

FooInternal template 
FooInternal SPECIAL 
FooInternal SPECIAL 

}

但假設我有這兩個調用美孚之間的中間函數模板內部。在這種情況下，派生類型的模板分辨率好像沿途失敗

// Intermediate template. Just calls FooInternal. 

template<typename VALTYPE> 
void Foo(VALTYPE& val) 
{ 
    FooInternal<VALTYPE>(val); 
} 


// Now repeat the same 3 calls and see what happens with Derived... 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    int x = 7; 
    Foo(x); // Calls FooInternal<VALTYPE>() template 

    Base b; 
    Foo(b); // Calls FooInternal<Base>() specialization 

    Derived d; 
    Foo(d); // Calls FooInternal<VALTYPE>() template!!! 

    return 0; 
} 

這個程序的輸出是

FooInternal template 
FooInternal SPECIAL 
FooInternal template 

我不明白爲什麼 - 在第三個呼叫「 Foo「不會像調用直接時那樣調用FooInternal的專用版本。在這種情況下，編譯器是否應該理解它是從「Base」派生的？我在這裏錯過了什麼規則？

我正在使用Microsoft Visual Studio 2012 Update 3，如果有問題的話。

-Joe

Answer 1

你的期望在第一個例子中，顯然也是你的編譯器，是錯誤的。輸出應該是「FooInternal templateFooInternal SPECIALFooInternal模板」。

函數模板專門化對模板參數推導或重載解析完全不做任何事情。只有在沒有看到它的規則碰巧結束了完全相同的模板參數的情況下才會使用它。大多數情況下，當你認爲你想要一個函數模板專業化時，將函數重載（使用另一個模板或使用非模板）會是一個更好的主意。

inline void FooInternal(Base&) 
{ 
    std::cout << L"FooInternal SPECIAL"; 
} 

然後，當然，如果你指定模板參數，所以你要FooInternal永遠不能被稱爲：

// Intermediate template. Just calls FooInternal. 

template<typename VALTYPE> 
void Foo(VALTYPE& val) 
{ 
    FooInternal(val); 
} 

這應該給你什麼你要找的人（在所有的編譯器）。