文章目录

• 函数模板
• • 函数模板的隐式实例化
  • 显式实例化
  • 模板参数的匹配原则
• 类模板
• 模板函数声明和定义分离会链接错误

函数模板

对于一些参数不同但功能类似的函数，C++有函数重载，但是函数重载有一些缺陷：

1. 重载的函数只是参数不同，代码复用率低，只要有新的类型出现时，就需要用户添加新的函数。
2. 代码的可维护性低，一个出错可能所有的函数都出错。

对于这个缺点，引入函数模板。

注意：typename是定义类模板的关键字，也可以是class，但是不能是struct。

函数模板在使用传参的时候也叫做函数模板的实例化，又分为隐式实例化和显式实例化。

函数模板的隐式实例化

隐式实例化：编译器根据实参推演函数参数的实际类型。

显式实例化

在函数名后指明模板函数的参数类型。

原理就和在使用前进行强转一样，当然，当参数为引用时，也必须为const类型才接受强转。

模板函数不允许自动类型转换，普通函数可以自动类型转换。

模板参数的匹配原则

如果模板函数和同名的非模板函数都存在时，如果两个函数都符合要调用的时候传入的参数类型，优先调用非模板函数。

类模板

模板函数声明和定义分离会链接错误

不管是模板函数，还是类模板中的函数，声明和定义在不同文件中，在声明的文件中使用会导致报错。原因是在类中有了函数的声明，但是函数定义在了其他文件中，此时其他文件中的模板函数并不是实际的函数，所以不会进符号表，后期在进行链接时会找不到该函数的地址而报错。

解决方法：

一. 显示实例化
在另一个文件中进行这样定义

但是这种方法有缺陷，就是只能针对一种类型，用其他的又要继续补，太麻烦！

二. 不分离声明和定义到两个文件中
也就是说直接将声明和定义都放在.h文件中，或者直接定义在类里面。

也有人会用.hpp文件，也就是说将.h和.cpp放在一起。