1.函数模板
我们经常用到Swap函数交换两个值。由于需要交换的数据的类型不同,我们就需要写不同参数类型的同名函数,也就是函数重载:
然而这三个函数的逻辑是一样的,写这么多有些多此一举,通过函数模版可以写一个通用的交换函数。
---------------------------------------------------------------------------------------------------------------------------------
1.格式:template<typename T1,typename T2,......typename Tn>
typename是关键字,也可以用class代替
T1-Tn是函数的参数类型名(T可以用别的名字代替,只是我们习惯用T)
---------------------------------------------------------------------------------------------------------------------------------
2.用法:
---------------------------------------------------------------------------------------------------------------------------------
3.原理:
检测你传入的参数类型,隐式的帮你生成这一类型的函数重载。实际上仍然生成了多个函数,调用的时候也不是调用同一个函数,而是调用对应的函数重载,只不过编译器替你写了这些函数。(实际上,由于交换函数使用频繁,已经被纳入库中(swap),不需要我们去写)
---------------------------------------------------------------------------------------------------------------------------------
4.函数模版的显式实例化:
(1)有一种情况:
编译器不确定T是int还是double类型。
为了解决这个问题你可以这样:
但是你也可以这样:
这样直接指定了T类型而不用编译器推演,叫做函数模板的显式实例化(这种情况下,b会转换为int类型)
(2)但是,如果同一个模板参数只做返回值的话:
编译器不能根据推演返回值类型,所以必须模板实例化:
(3)如果有多个模板类型:
也可以同时指定T1,T2(返回值类型可以由T1决定(T1通过参数推演)。T1不是只做返回值,也就不是(3)的那种情况)
---------------------------------------------------------------------------------------------------------------------------------
2.类模板
类模板与函数模板不同的点在于,创建对象时一定要指定模板参数类型.
A<int>就相当于st1的类型
---------------------------------------------------------------------------------------------------------------------------------