參考功能模板專門爲指針

Question

我有一個模板函數：

template<typename T> 
void foo(const T& value) { bar(value); x = -1; } 

我想專門爲它一組類型：

template<> 
void foo<char>(const char& value) { bar(value); x = 0; } 
template<> 
void foo<unsigned char>(const unsigned char& value) { bar(value); x = 1; } 

它工作正常。當我編譯如下：

template<> 
void foo<char*>(const char*& value) { bar(value); x = 2; } 

我得到一個錯誤：

error C2912: explicit specialization; 'void foo(const char *&)' is not a specialization of a function template 

是否有可能專門與char*指針類型的參數，而不typedef'ing呢？

Answer 1

當然。試試這個：

template<> 
void foo<char*>(char* const& value) {...} 

這是因爲const char*意味着指針const char，不是const指針char。

Answer 2

您通常應該避免使用函數模板專門化：如果您提供非模板重載，您將會遇到更少的問題。更多：Why Not Specialize Function Templates?