c++ - 具有重载的显式模板函数特化 : Why would you do it?

Question

假设如下:

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

当引入一个也有重载的基本模板的显式特化时，在设计重载解析期间不考虑特化。我明白这一点。

但是，鉴于我可以使 #3 成为非模板重载，然后它会被考虑用于重载决议，为什么我仍然想像上面那样做呢？上面演示的设置是否有有效的用例？我唯一能想到的是，如果您不依赖模板类型推导，则无法使用非模板函数，因为它们不接受 <>。调用它们时的语法。

顺便说一句，我只回顾了 C++03 的规则。我不确定 C++11 是否/如何改变这些规则/行为。

Answer 1

基本上，我赞成特化以避免最小意外原则。您希望允许函数被显式或非显式调用，以支持在尽可能多的代码中使用……并且当显式实例化时，它的行为方式应与未实例化时相同。

以下模板函数是您可能希望如何显式选择要调用的函数的示例(尽管所有 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,2,3(显式实例化与隐式调用相同) .