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

在看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型的指针的指针。这明显不是想要的。

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

 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。
这样，上面的代码就能正常执行，并得到正确的结果了。

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