从C++ templates粘一段例子下来：
// maximum of two int values
inline int const& max (int const& a, int const& b)
{
return a<b?b:a;
}
// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a<b?b:a;
}
// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
return max (max(a,b), c);
}
int main()
{
::max(7, 42, 68); // calls the template for three arguments
::max(7.0, 42.0); // calls max<double> (by argument deduction)
::max('a', 'b'); // calls max<char> (by argument deduction)
::max(7, 42); // calls the nontemplate for two ints
::max<>(7, 42); // calls max<int> (by argument deduction)
::max<double>(7, 42); // calls max<double> (no argument deduction)
::max('a', 42.7); // calls the nontemplate for two ints
}
恩，这个例子浅显易懂，可以根据它看出来编译器的推断规则。
重要的是看下面这个例子：
template<typename T>
void fun(T* t)
{
cout<<"fun with pointer/n";
}
template<typename T>
void fun(T t)
{
cout<<"fun normal/n";
}
// main
int i = 5;
fun(&i); //[a]
fun(i); //[b]
[a]和[b]分别输出：
fun with pointer
fun normal
这说明可以根据模板参数来区分参数的类型，这也依赖于deduction。
例如可以通过下面的代码来检验一个类型是否为指针。
template<typename T>
struct IsPointer
{
enum{ Result = false };
};
template <typename T>
struct IsPointer<T*>
{
enum{ Result = true };
};
这是编译期便能够算出结果的。