C++模板之全特化和偏特化

C++提供了泛型编程的方式，减少了代码冗余，提供安全类型

类模板可以全特化和偏特化

#include<iostream>

using namespace std;

template<typename T1,typename T2>
class Test
{
    public:
        Test(T1 i,T2 j):a(i),b(j){cout<<"mbl"<<endl;}
    private:
        T1 a;
        T2 b;  
};//类模板

template<>
class Test<int ,char>
{
    public:
        Test(int i,int j):a(i),b(j){cout<<"qth"<<endl;}
    private:
        int a;
        char b;
};//全特化模板

template<typename T2>
class Test<char,T2>
{
    public:
        Test(char i,T2 j):a(i),b(j){cout<<"pth"<<endl;}
    private:
        char a;
        T2 b;
};//偏特化模板

int main()
{
    Test<double,double>t1(0.1,0.1);
    Test<int,char>t2(1,'A');
    Test<char,bool>t3('A',true);
}

函数模板只提供了全特化，偏特化可通过函数的重载完成

template<typename T1, typename T2>
void f(T1 a , T2 b){}
 
//全特化
template<>
void f<int ,char >(int a, char b){}

以下为错误代码

template <class T1, class T2>
void f(){}

//以下代码为错误代码,会报错
template <class T2>
void f<bool, T2>(){}

函数重载实现“偏特化”

template <class T1, class T2>
void f(){}
template <class T2>
void f(){}