c – 带有重载的显式模板函数特化：你为什么要这样做？

template <typename T> void foo (T*);   // #1
template <typename T> void foo (T);    // #2
template <> void foo (int*);           // #3

基本上,我倾向于专业化以避免最不意外的原则.您希望允许显式或非显式地调用函数以支持在尽可能多的代码中使用…并且在显式实例化时,它应该与不存在时的行为相同.

以下模板函数是您可能希望显式选择要调用哪个函数的示例(尽管所有3个函数都采用相同的参数).

template <typename T> void foo (T*){std::cout << 1 << std::endl;}   // #1
template <typename T> void foo (T){std::cout << 2 << std::endl;}    // #2
template <> void foo<int> (int* X){std::cout << 3 << std::endl;}    // #3
//void foo (int*){std::cout << 3 << std::endl;}           // #3

template <typename T>
void bar(void* X) {
   foo<T>(reinterpret_cast<T*>(X));
   foo<T*>(reinterpret_cast<T*>(X));
   foo(reinterpret_cast<T*>(X));
}


int main()
{
   cout << "Hello World" << endl; 
   bar<int>(null);
   return 0;
}

如果没有专门化,则输出1,2,3(显式实例化的调用与重载调用不同),而使用特殊化则获得3,3(显式实例化与隐式调用相同).