C++ template Day Day Up 第三天 模板函数的重载

从C++ templates粘一段例子下来：
[align=left]// maximum of two int values [/align]
[align=left]inline int const& max (int const& a, int const& b) [/align]
[align=left]{ [/align]
[align=left] return a<b?b:a; [/align]
[align=left]} [/align]
[align=left] [/align]
[align=left]// maximum of two values of any type [/align]
[align=left]template <typename T> [/align]
[align=left]inline T const& max (T const& a, T const& b) [/align]
[align=left]{ [/align]
[align=left] return a<b?b:a; [/align]
[align=left]} [/align]
[align=left] [/align]
[align=left]// maximum of three values of any type [/align]
[align=left]template <typename T> [/align]
[align=left]inline T const& max (T const& a, T const& b, T const& c) [/align]
[align=left]{ [/align]
[align=left] return max (max(a,b), c); [/align]
[align=left]} [/align]
[align=left] [/align]
[align=left]int main() [/align]
[align=left]{ [/align]
[align=left] ::max(7, 42, 68); // calls the template for three arguments [/align]
[align=left] ::max(7.0, 42.0); // calls max<double> (by argument deduction) [/align]
[align=left] ::max('a', 'b'); // calls max<char> (by argument deduction) [/align]
[align=left] ::max(7, 42); // calls the nontemplate for two ints [/align]
[align=left] ::max<>(7, 42); // calls max<int> (by argument deduction) [/align]
[align=left] ::max<double>(7, 42); // calls max<double> (no argument deduction) [/align]
[align=left] ::max('a', 42.7); // calls the nontemplate for two ints [/align]
}

恩，这个例子浅显易懂，可以根据它看出来编译器的推断规则。

重要的是看下面这个例子：
[align=left]template<typename T>[/align]
[align=left]void fun(T* t)[/align]
[align=left]{[/align]
[align=left] cout<<"fun with pointer/n";[/align]
[align=left]}[/align]
[align=left] [/align]
[align=left]template<typename T>[/align]
[align=left]void fun(T t)[/align]
[align=left]{[/align]
[align=left] cout<<"fun normal/n";[/align]
}

// main
int i = 5;
fun(&i); //[a]
fun(i); //[b]

[a]和[b]分别输出：
fun with pointer
fun normal

这说明可以根据模板参数来区分参数的类型，这也依赖于deduction。
例如可以通过下面的代码来检验一个类型是否为指针。
[align=left]template<typename T>[/align]
[align=left]struct IsPointer[/align]
[align=left]{[/align]
[align=left] enum{ Result = false };[/align]
[align=left]};[/align]
[align=left] [/align]
[align=left]template <typename T>[/align]
[align=left]struct IsPointer<T*>[/align]
[align=left]{[/align]
[align=left] enum{ Result = true };[/align]
};
这是编译期便能够算出结果的。