第59课.类模板的深度剖析

1.多参数类模板

类模板可以定义多个不同的类型参数

template < typename T1, typename T2 >
class Test
{
public:
    void add(T1 a, T2 b);
};

Test<int, float> t;

2.类模板特化（即实现模板中的特殊情况）

a.类模板特化：指定类模板的特定实现
b.部分类型参数必须显示指定
c.根据类型参数分开实现类模板
类模板的特化类型

a.部分特化：用特定的规则约束类型参数

b.完全特化：完全显示指定类型参数（即明确的指出参数类型）
注：完全特化时，不需要泛指类型的声明

即：
template < > // 即可

eg：

#include <iostream>
#include <string>

using namespace std;

template < typename  T1, typename T2>
class Test
{
public:
    void add(T1 a, T2 b)
    {
        cout << "void add(T1 a, T2 b)" << endl;
        cout << a + b << endl;
    }
};

template <typename T1, typename T2>
class Test < T1*, T2* >             // 部分特化
{
public:
    void add(T1* a, T2* b)
    {
        cout << "void add(T1* a, T2* b)" << endl;
        cout << *a + *b << endl;
    }
};

template < typename T >
class Test <T, T>                   // 部分特化
{
public:
    void add(T a, T b)
    {
        cout << "void add(T a, T b)" << endl;
        cout << a + b << endl;
    }
    
    void print()
    {
        cout << "class Test < T, T >" << endl;
    }
};

template <>                         // 完全特化时就不需要泛指类型到声明了
class Test <void*, void*>           // 完全特化
{
public:
    void add(void* a, void* b)
    {
        cout << "void add(void* a, void* b)" << endl;
        cout << "Error to add void* param..." << endl;
    }
};

int main()
{
    Test<int, float> t1;
    Test<long, long> t2;
    Test<void*, void*> t3;
    
    t1.add(1, 2.5);
    
    t2.add(5, 5);
    t2.print();
    
    t3.add(NULL, NULL);
    
    Test<int*, double*> t4;
    int i = 1;
    double b = 0.1;
    
    t4.add(&i, &b);
    
    return 0;
}

3.注意事项

a.特化只是类模板的分开实现（本质上是同一个类模板）
b.特化类模板的使用方式是统一的，必须显示指定每一个类型参数

4.类模板特化与重定义有区别吗？函数模板可以特化吗？

答案：
a.重定义和特化的不同

重定义

 1).重定义的本质上是两个或多个类之间的关系
 2).使用的时候需要考虑如何选择问题，到底使用哪个类中的函数
特化

 1).本质上是同一个类模板（模板加特化分开实现而已）
 2).使用时编译器自动选择特化类

b.函数模板只能完全特化，不支持部分特化