模板函数中指针作为调用参数时模板参数的推导问题

 在看C++ Templates的时候发现有下面的一段代码。试图比较两个int指针所指的内容的大小：

 1   #include  < iostream >
 2  
 3   template < typename T >
 4   inline T *   const &  max(T *   const &  a, T *   const &  b)
 5   {
 6        return   * a  <   * b  ?   * b :  * a;
 7   }
 8  
 9   int  main()
10   {
11        int  a  =   7 ;
12        int  b  =   42 ;
13  
14        int *  p1  =   & a;
15        int *  p2  =   & b;
16  
17       std::cout << " max(p1 , p2): " << ::max(p1 , p2) << std::endl;
18  
19        return   0 ;
20   }

不能通过编译。提示［将类型为‘int* const&’的引用初始化为类型为‘int’的表达式无效］。
错误原因是第六行返回的是一个int类型的值，而返回值要求的是一个指针，因此出现了将一个int类型转化为一个指针无效的错误。

仔细想想，其实上面的代码有很严重的问题，max调用的时候传递的是一个int*，即指向整型的指针。那么，第三行的T应该是什么类型呢？
如果也是int*，那么模板实例化后的函数参数就成了int**，即指向int型的指针的指针。这明显不是想要的。

但是，如果将模板的定义改为一般的不带指针的形式：

1   template < typename T >
2   inline T  const &  max(T  const &  a, T  const &  b)
3   {
4        return  a  <  b  ?  b : a;
5   }

那么，在比较的时候将会是两个指针地址的比较。因此，这也不能达到目的。

因此，唯一合理的解释就是对于两个int指针作为函数参数的max模板，在调用的时候模板参数将实例化为int类型，而非int*类型。
为此，作一个验证，代码修改如下：

 1   #include  < iostream >
 2  
 3   template < typename T >
 4   inline T  const &  max(T *   const &  a, T *   const &  b)
 5   {
 6        return   * a  <   * b  ?   * b :  * a;
 7   }
 8  
 9   int  main()
10   {
11        int  a  =   7 ;
12        int  b  =   42 ;
13  
14        int *  p1  =   & a;
15        int *  p2  =   & b;
16  
17       std::cout << " max(p1 , p2): " << ::max(p1 , p2) << std::endl;
18  
19        return   0 ;
20   }

编译器能很好的匹配主需要调用的模板，并实例化一个模板实例。需要注意的是第四行返回值已经不再是T*，而是T。
这样，上面的代码就能正常执行，并得到正确的结果了。

总结：模板函数实例化时参数类型可以通过调用参数推导出来。对于调用参数为指针的情况，实例化后模板函数的参数应该是指针原型的类型。而非指针类型。
     己下来，以备忘记。如果发现有不对的地方，渴望指正。