本文由小编自创,如有不对,还请多多指正。
我们在没有学习模板之前,如果要求我们写一个两个int类型的数据相加的函数,然后又要我们写一个两个double类型的数据相加的函数,我们可能会按照下面的方式去写
我们会去写函数重载,但是如果你掌握了模板,那么就只需要写一个函数即可,模板简单来说就是一种模具,能够编写与类型无关的通用代码。
函数模板的格式
template<typename T1,typename T2,.....,typename Tn>
返回值 函数名(参数列表){}
这里的typename是一个关键字,也可以使用class(但是不能使用struct)。
那么我们可以看到相比较于模板而言,函数重载存在如下不足:
1.重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现就需要用户自己增加相应的函数。
2.代码的可维护性低,一个出错可能其他的全部出错。
这里的编译器能够自动推演类型,比如说你传的两个参数类型都是int,那么编译器自动认为T就是int,但是如果我传了两个不同类型的参数,那编译器会怎么办呢?
这里就要讲到编译器的两种转化,第一种是隐式实例化,就像上面说的那样,编译器会自动推演类型,但是我们如果传两个不同的类型,还能成功嘛?
我们可以看到,编译器会报错,那么怎么办呢?
1.自己强转类型
2.使用显式实例化(我理解的就是自动告诉编译器这两个数据是什么类型,你按照我的做就行,出事不用你负责)
模板参数的匹配原则
我认为简单明了一句话就是找那个最符合自己的函数(可供大家记忆)
1.非模板函数可以和模板函数共同存在,而且该函数模板还可以被实例化为非模板函数
2.对于非模板函数和同名函数模板,其他条件都相同,在调用时会优先调用非函数模板
也就是说这里的Add会调用第一个非模板函数
3.模板函数不会自动转化类型,但是普通函数可以
类模板
格式如下
所以我们在创建对象的时候就必须实例化,比如我想创建一个A类的对象
如果我想在类模板中声明函数,在类外定义函数,那么我们按下面的规则在类外进行定义
以上就是模板初阶的全部内容,谢谢大家!