初识c++：模板详解

本节大纲：

目录

#模板详解#

1.模板初阶

1.1 泛型编程

1.2 函数模板

1.2.1 函数模板的概念

1.2.2 函数模板格式

1.2.3 函数模板的原理

1.2.4 函数模板的实例化

1.2.5 函数模板的匹配原则

1.3 类模板

1.3.1 类模板的定义格式

1.3.2 类模板的实例化

2.模板进阶

2.1 非类型模板参数

2.2 模板的特化

2.2.1 模板特化的概念

2.2.2 函数模板特化

2.2.3 类模板特化

2.3 模板分离编译

2.3.1 模板分离编译介绍

2.3.2 模板的分离编译

2.3.3 解决办法

2.4 模板的优缺点

---

1.模板初阶

1.1泛型编程

一般来说我们写一个交换不同类型的交换函数，需要写多种函数重载，eg：

这样写有很多不好的地方，eg：

1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数

2. 代码的可维护性比较低，一个出错可能所有的重载均出错

所以我们是否可以尝试写出一个模板，让编译器自己利用该模板，生成对应的函数代码？

如果在C++中，也能够存在这样一个模具，通过给这个模具中填充不同材料(类型)，来获得不同材料的铸件(即生成具体类型的代码），那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

1.2函数模板

1.2.1 函数模板的概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生 函数的特定类型版本。

1.2.2 函数模板格式

注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替 class)

1.2.3 函数模板原理

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。 所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

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

1.2.4 函数模板实例化

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

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

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

注意：如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

1.2.5 函数模板的匹配原则

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

 

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

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

1.3 类模板

1.3.1 类模板的定义格式

1.3.2 类模板的实例化

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

2.模板进阶

2.1 非类型模板参数

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

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

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

注意：

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。（整型可以包括bool）

2. 非类型的模板参数必须在编译期就能确认结果。

2.2 模板的特化

2.2.1 模板特化的概念

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

可以看到，Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。上述示 例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，这就无法达到预期而错误。

此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方 式。模板特化中分为函数模板特化与类模板特化。

2.2.3 类模板特化

函数模板的特化步骤：

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

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

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

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

注意：一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该 函数直接给出。

该种实现简单明了，代码的可读性高，容易书写，因为对于一些参数类型复杂的函数模板，特化 时特别给出，因此函数模板不建议特化。

2.2.3 类模板特化

(1)全特化，eg：

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

（2）偏特化（也叫半特化），eg：

任何针对模版参数进一步进行条件限制设计的特化版本。

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

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

2.参数更进一步的限制

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

2.3 模板分离编译

2.3.1 模板分离编译介绍

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

2.3.2 模板的分离编译

2.3.3 解决办法

1. 将声明和定义放到一个文件 "xxx.hpp" 里面或者xxx.h其实也是可以的。推荐使用这种。（我么的模板就是一般放在头文件中如上图）

2. 模板定义的位置显式实例化。这种方法不实用，不推荐使用。

2.4 模板的优缺点（优点大于缺陷）

【优点】

1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生

2. 增强了代码的灵活性

【缺陷】

1. 模板会导致代码膨胀问题，也会导致编译时间变长

2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

好啦，不知不觉初识c++，到此结束啦，如果对你的理解有帮助的话，点赞加收藏哦！！！！