C++ 模板

        模板相较当雕版印刷术中的雕版，定义好一个模板，编译器在编译代码时根据它生成对应的函数或者类。

使用关键字 template

e.g:

 template 

        返回类型 函数名 （模板参数 形参名）{

                函数体；

}

例1：
template
void Swap(Type& a,Type& b) {
	Type tmp(a);
	a = b;
	b = tmp;
}
模板参数名前用 class 和 typename都可以
没有区别
例2：
template 
T add(T x, T y) {
	return x + y;
}

1.让编译器自动推演

先拿上文定义的交换模板举列

例1

i.编译器 根据传入的形参 自动推演出模板参数 为 int 。

ii.紧接着实例化模板函数为 "void Swap(int & a,int &b)"后自动调用

i.编译器 根据传入的形参 自动推演出模板参数 为 double 。

ii.紧接着实例化模板函数为 "void Swap(double & a,double &b)"后自动调用

模板参数为类型 可以根据模板参数不同生成不同的函数 提高了代码的复用性

2.显示类型实例化

手动传入模板参数实例化模板

	Swap(a, b);

但是传入形参必须至少能隐式类型转换为 显实例化传入的模板参数 否则会形参实参不匹配 ，报错。

与函数模板相似

 template 

        class(这里只能用class) 类名 {

                类体；

}；

template 
class Test {
public:
	Test(const T& val) 
		:_a(val)
	{
		cout << _a;
	}
private:
	T _a;
};

i.模板类的类 允许类型之间的隐式转换，不像模板函数那样严格

ii.跟模板函数不一样的是，模板类 必须显示实例化

跟模板函数一样模板参数为类型 可以根据模板参数不同生成不同的类 提高代码的复用性

模板参数分类类型形参与非类型形参。

类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。大部分模板参数都是类型形参

非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

如

//定长的顺序表
template 
struct arr {
	T& operator [](size_t pos) {
		return _arr[pos];
	}
	T _arr [N];
};

模板特化支持对于特定的模板参数做特殊处理

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇

怪的错误。

直接上图

函数模板的特化称为 全特化 ，而类模板多支持一种 偏特化

        跟函数模板一致

类模板才支持的特化形式，偏特化又分为两种

 2.对参数进一步限制

template 
class Test {
public:
	Test()
	{
		cout << "T1,T2" << endl;
	}
};
//全特化（对唯一一种特殊实例化特殊处理）优先级最高
template<>
class Test {
public:
	Test() {
		cout << "int ,int" << endl;
	}
};
//偏特化一（对部分参数特殊处理）
template//只要第二个参数为int的都特殊处理
class Test {
public:
	Test() {
		cout << "T1 ,int" << endl;
	}
};
//偏特化二 （对参数进一步限制）
template//只要两个参数为指针类型的都特殊处理
class Test {
public:
	Test() {
		cout << "T1* ,T2*" << endl;
	}
};
int main() {
	Test t1;
	Test t2;
	Test t3;
	return 0;
}

模板的声明定义不能分离 ，如有需要分离编译的 场景 建议讲模板的声明定义一并放在头文件中

具体的原因可参考刘未鹏大佬在2003年发布的这篇文章。为什么C++编译器不能支持对模板的分离式编译_pongba的博客-CSDN博客为什么C++编译器不能支持对模板的分离式编译 刘未鹏(pongba)C++的罗浮宫(http://blog.csdn.net/pongba) 首先，一个编译单元（translation unit）是指一个.cpp文件以及它所#include的所有.h文件，.h文件里的代码将会被扩展到包含它的.cpp文件里，然后编译器编译该.cpp文件为一个.obj文件（假定我们的平台是win3http://blog.csdn.net/pongba/article/details/19130

希望各位路过能顺手点赞收藏一波 ！