【C++】模板

本篇从函数模板、类模板、非类型模板参数、模板的分离编译、模板的优缺点五个方面进行知识的简单梳理。

1. 函数模板

函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

格式：
template<typename T1, typename T2,......,typename Tn> 
返回值类型 函数名(参数列表){} 

//typename是用来定义模板参数关键字，也可用class，T模板参数

1.1 函数模板原理

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。
比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型等亦是如此。

1.2 函数模板实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

隐示实例化：让编译器根据实参推演模板参数的实际类型。
显示实例化：在函数名后的<>中指定模板参数的实际类型。

int main() 
{
    int a1 = 10, a2 = 20;
    double d1 = 10.0, d2 = 20.0;
    Add(a1, a2); //隐示，编译器自己推出为int型
    Add(d1, d2); //隐示，编译器自己推出为double型
    
    Add<int>(a, b); //显示，int
    return 0; 
}

1.3 模板参数匹配原则

• 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数；
• 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例；
• 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

1.4 函数模板特化

模板特化：即在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板；
2. 关键字template后面接一对空的尖括号<>；
3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型；
4. 函数形参表:必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会错。

template<>
bool IsEqual<char*>(char* left, char* right)
{
        if (strcmp(left, right) == 0)
               return true;
        return false;
}

2.类模板

格式：
template<class T1, class T2, ..., class Tn>
class 类模板名
{
    // 类内成员定义 
};

类模板特化

全特化：将模板参数类表中所有的参数都特化；
偏特化：对模版参数进一步进行条件限制的特化。

偏特化有以下两种表现方式：

• 部分特化：将模板参数类表中的一部分参数特化
• 参数更进一步的限制: 偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。

template<class T1, class T2>
class Data
{
public:
        Data() { cout << "Data<T1, T2>" << endl; }
private:
        T1 _d1;
        T2 _d2;
};

//全特化
template<>
class Data<int, int>
{
public:
        Data() { cout << "Data<int, int>" << endl; }
};

//偏特化<->半特化
template<class T1>
class Data<T1, char>
{
public:
        Data() { cout << "Data<int, char>" << endl; }
};

//偏特化：两个参数偏特化为指针类型
template<class T1, class T2>
class Data<T1*, T2*>
{
public:
        Data() { cout << "Data<T1*, T2*>" << endl; }
};

//偏特化：两个参数偏特化为引用类型
template<class T1, class T2>
class Data<T1&, T2&>
{
public:
        Data() { cout << "Data<T1&, T2&>" << endl; }
};

int main()
{
        Data<int, char> d1;  //半Data<int, char>
        Data<int, int> d2;   //全Data<int, int>
        Data<char, char> d3; //半Data<int, char>
        Data<char, int> d4;  //原Data<T1, T2>
        Data<char*, int*> d5;     //半Data<T1*, T2*>
        Data<char*, double*> d6;  //半Data<T1*, T2*>
        Data<char&, int&> d7;     //半Data<T1&, T2&>
        Data<char&, double&> d8;  //半Data<T1&, T2&>
        system("pause");
        return 0;
}

3. 非类型模板参数

模板参数分为类型形参与非类型形参：
类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称；
非类型形参：用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

注意:

• 浮点数、类对象以及字符串是不允许作为非类型模板参数的；
• 非类型的模板参数必须在编译期就能确认结果。

template<typename T1, typename T2> //类型模板
template<class T1, size_t N> //非类型模板

4. 模板分离编译

4.1 什么是分离编译？

一个程序由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。

4.2 模板的分离编译

模板不支持声明和定义分离编译

例如：
a.h  a.cpp  test.cpp

1.预处理：展开头文件，宏替换，条件编译，去掉注释  a.i  test.i
2.编译：语法检查，生成会变代码  a.s  test.s
3.汇编：汇编代码转化为二进制的机器码 a.o  test.o
4.链接：生成可执行程序  a.合成

【解决方法】
将声明和定义放到一个文件 “xxx.hpp” 里面或者xxx.h中。

模板优缺点

【优点】

• 模板复用了代码，节省资源，更快的迭代开发；
• 增强了代码的灵活性。

【缺点】

• 模板会导致代码膨胀问题，导致编译时间变长；
• 出现模板编译错误时，错误信息非常多，不易定位错误。