C++ Templates：特化与重载

重载函数模板：

#include <iostream> template<typename T> int f(T) { return 1; } template<typename T> int f(T*) { return 2; } int main() { std::cout << f<int*>((int*)0) << std::endl; //输出1 std::cout << f<int>((int*)0) << std::endl; //输出2 }

 

f<int*>生成的重载集包含两个函数：f<int*>(int*)和f<int*>(int**)。
f<int>生成的重载集包含两个函数：f<int>(int)和f<int>(int*)。
调用实参(int*)0的类型是int*，因此，两次调用都会匹配到f<int*>(int*)。

原则上，下面的模板和它们的实例化体可以在同个程序中同时存在：
template <typename T1, typename T2> void f1(T1, T2); template <typename T1, typename T2> void f1(T2, T1); template <typename T> long f2(T); template <typename T> char f2(T);

不过f1<char, char>(&