c++模板的特化（函数模板特化，类模板特化）

分手后的思念是犯贱 2022-11-29 13:15 189阅读 0赞

# 关于模板的特化 #

## 函数的特化 ##

使用模板时会遇到一些特殊的类型需要特殊处理，不能直接使用当前的模板函数，所以此时我们就需要对该类型特化出一个模板函数（就是写出一个模板函数专门给该类型使用）

当使用一个判断相等的模板函数时

template<class T>
    bool Isequal(T& p1, T& p2){
    	return p1 == p2;
    }

但是该模板函数在对于字符串进行比较时就不能使用了，对于字符串我们不能直接比较，因此直接特化出一个专门供字符串使用的模板参数

template<> // 此处不添加类型模板，直接使用空即可
    bool Isequal<char*>(char*& p1, char*& p2){
    	return strcmp(p1, p2) == 0;
    }

> 【注意】
> 
>  *  使用模板特化时，必须要先有基础的模板函数（就是上面第一个模板函数）
>  *  使用特换模板函数时格式有要求：
>     
>     1.template 后直接跟<> 里面不用写类型  
>     2.函数名<特化类型>（特化类型 参数1， 特化类型 参数2 , …） 在函数名后跟<>其中写要特化的类型
>  *  特化的函数的函数名，参数列表要和原基础的模板函数想相同，避免不必要的错误

在实际使用中，为了实现简单，对于一些模板函数处理有问题的特殊类型，我们将其直接写出

bool Isequal(char*& p1, char*& p2){
    	cout << "char2" << endl;
    	return strcmp(p1, p2) == 0;
    }

*  当有可以直接匹配的函数时，即使有特化出的函数，都优先使用直接匹配的函数

## 类的模板特化 ##

类的模板特化分为两种，一种是全特化，一种为偏特化

*  **全特化**： 即将所有的模板类型都进行特化

template <class T1, class T2>
    class Test{
    }
    
    //全特化
    template <>  //此处同函数模板的特化一样不用写内容
    class Test<int , char>{
        
    }

*  **偏特化**：对于模板的类型做一些限制
 *  偏特化份为两种 一种是部分特化，一种是对于模板类型的进一步限制
 *  **部分特化**：就是只对函数模板的一部分模板类型进行特化

template <class T1, class T2>
    class Test2{
    }
    
    //部分特化
    template <class T1>  //此处只需写未进行特化的模板类型，特化过的就不用写
    class Test2<T1 , char>{
        
    }

*  **对类型的范围的限制**，主要的类型基础不变

template <class T1, class T2>
    class Test2{
    }
    
    //对模板类型的范围做出一定的限制
    template <class T1 , class T2 >  //此处只需写未进行特化的模板类型
    class Test2<T1* , T2*>{
    }

在调用时都将调用与自己的类型最相匹配的。