C++ 模版复习

模版

template<typename T>
void func( T& left,  T& right)
{
}

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。编译过程中函数模版会实例化出具体的函数，这称之为函数的实例化

函数模板的实例化

.隐式实例化：让编译器根据实参推演模板参数的实际类型

func(a,b)

显式实例化：在函数名后的<>中指定模板参数的实际类型

func<int,int>(a,b);

模板参数的匹配原则

模板参数的匹配原则

1. 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这
   个非模板函数

2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而
不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模
板

3. 模板函数不允许隐式类型转换，但普通函数可以进行自动类型转换

除非精准匹配，否则都会调用函数模版实例化，注意精准匹配

类模板

类模板的定义格式

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

类模板的实例化
类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

类模版无法推导实例化，一定要指定类型

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

template<class T, size_t N = 10>
class array
{}

模板的特化

概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板

函数模板特化

函数模板的特化步骤：

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

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{return left < right;
}
// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{return *left < *right;
}

形参一定要严格匹配特化的函数模版否则会调用函数模版实例化新的函数，函数模版只能全特化

类模板特化

全特化

全特化即是将模板参数列表中所有的参数都确定化。

偏特化

偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类：

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

部分特化
将模板参数类表中的一部分参数特化。

参数更进一步的限制
偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本（如指针，引用，const等等）

模板分离编译

什么是分离编译

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

模板的分离编译

假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义：

// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}

只有在a.cpp源文件中函数模版能实例化具体的函数，因为模版的实例化是在编译期间实现的，而不是在链接期间，编译过程中调用Add函数编译成
call 0x000000000
链接过程中
重定向函数地址 call 0x1234556789
这是对普通对象而言的，在编译过程中其他文件是不可见的
链接过程发现函数模版并没有具体的实例化，.o文件无法重定向