c++泛型编程中函数模板重载和模板特化同时存在时的查找规则

支持泛型编程是c++非常强大的一个特性，我们可以通过定义一个模板函数和模板类，大大精简我们的代码，极大的增强程序的复用性和鲁棒性。之前本人一直对于泛型编程这部分了解的比较少，今天重新温习了一下，所以通过这篇博文来记录一下自己的一点心得。
首先我们还是以一个例子来开始，我定义了一个如下的函数模板用来实现，两个对象的比较功能：

点击(此处)折叠或打开

1. template<typename T>
2. int compare(const T &first, const T &second)
   
3. {
   
4.     return first > second ? first : second;
   
5. }

上述模板非常的简单，就是用来返回两个对象中数值较大的对象的副本。在通常的情况下，这个模板工作上是不存在任何问题的，但是如果我们想要比较两个字符串的大小的时候，这个模板的工作，并不能让我们感到满意，因为我们在模板的形参中传递的是两个对象的引用，假如我们传递两个字符串指针的实参，其实模板中实现的仅仅是对于两个指针实参指向的地址的比较，而并不是指针所指向的内容的比较，我们如何去解决这样的一个问题呢，首先我们想到的是可以使用模板的特化，重新定义一个模板的特化版本来处理两个字符串的比较，于是就有了下面的模板特化：

点击(此处)折叠或打开

1. template<> //全特化的表示方法
   
2. int compare<const char*>(const char* const &first, const char* const &second)
   
3. {
   
4.     return (strcmp(first,