文章目录
- 函数模板
- 函数模板的隐式实例化
- 显式实例化
- 模板参数的匹配原则
- 类模板
- 模板函数声明和定义分离会链接错误
函数模板
对于一些参数不同但功能类似的函数,C++有函数重载,但是函数重载有一些缺陷:
- 重载的函数只是参数不同,代码复用率低,只要有新的类型出现时,就需要用户添加新的函数。
- 代码的可维护性低,一个出错可能所有的函数都出错。
对于这个缺点,引入函数模板。
注意:typename是定义类模板的关键字,也可以是class,但是不能是struct。
函数模板在使用传参的时候也叫做函数模板的实例化,又分为隐式实例化和显式实例化。
函数模板的隐式实例化
隐式实例化:编译器根据实参推演函数参数的实际类型。
显式实例化
在函数名后指明模板函数的参数类型。
原理就和在使用前进行强转一样,当然,当参数为引用时,也必须为const类型才接受强转。
模板函数不允许自动类型转换,普通函数可以自动类型转换。
模板参数的匹配原则
如果模板函数和同名的非模板函数都存在时,如果两个函数都符合要调用的时候传入的参数类型,优先调用非模板函数。
类模板
模板函数声明和定义分离会链接错误
不管是模板函数,还是类模板中的函数,声明和定义在不同文件中,在声明的文件中使用会导致报错。原因是在类中有了函数的声明,但是函数定义在了其他文件中,此时其他文件中的模板函数并不是实际的函数,所以不会进符号表,后期在进行链接时会找不到该函数的地址而报错。
解决方法:
一. 显示实例化
在另一个文件中进行这样定义
但是这种方法有缺陷,就是只能针对一种类型,用其他的又要继续补,太麻烦!
二. 不分离声明和定义到两个文件中
也就是说直接将声明和定义都放在.h文件中,或者直接定义在类里面。
也有人会用.hpp文件,也就是说将.h和.cpp放在一起。