用汇编的眼光看C (之缺省模板、特化模板)word免费下载

来源:本站2019-05-1526 次

用汇编的眼光看C(之缺省模板、特化模板)【声明:版权所有,欢迎转载,请勿用于商业用途。

联系信箱:feixiaoxingcom】缺省函数是C的一个基本特色。 缺省函数定义比较简单,也就是说,对于函数的某一个输入参数或者几个输入参数,如果你没有特定的数值的话,那我们就会用缺省的数据进行代替。

如果你在调用的过程中使用了自己的数据,那么缺省数据将被我们自己定义的数据覆盖。

下面就是一个缺省函数的示例:cppviewplaincopyprintintadd(intm,intn=){returnmn}如果调用呢,有什么区别cppviewplaincopyprint:intp=add()pushAhApushCcallILT(add)()addesp,movdwordptrebp,eax:p=add(,)pushpushBcallILT(add)()Aaddesp,Amovdwordptrebp,eax可以从上面的代码看到,如果单独输入一个数据,那么编译器帮我们默认输入了如果输了的数据是、呢,那么编译器将用代替默认的数据。

所以说,编译器帮我们做了中间的替换和判断工作。 那么回到我们今天讨论的缺省模板类型上面,那会是什么样的情形呢我们可以编写一个范例:cppviewplaincopyprinttemplatetypenametype,typenametype=intclassdata{typevaluepublic:data(typem):value(m){}~data(){}}可以看到,我们在第二个参数使用了缺省类型int,那么怎么证明缺省类型可以使用呢我们设计了下面一个测试用例:cppviewplaincopyprint:dataint,intm()BDpushBFleaecx,ebphCcallILT(dataint,int::dataint,int)(a)Cmovdwordptrebp,:dataintn()CEpushDleaecx,ebphDcallILT(dataint,int::dataint,int)(a)上面的代码定义了两个临时变量,其中第一个是m,输入类型是int第二个临时变量是n,输入类型是int和int。 前面我们说过缺省类型是int,那么第一个临时变量m和第二个临时变量n的构造函数地址应该是一样的。 那么事实上两者的构造函数是不是一样的呢我们可以查看两者的函数地址,发现一个是xa,另外一个也是xa。

范例证明我们的判断是正确的。

明白了上面的缺省模板构造,下面我们谈一下特化模板。 特化模板是什么意思呢其实并不复杂。

因为模板类既然是通用模板,那么其中的数据类型可以是任意数据类型,但是难免有一些数据类型(比如说指针),我们需要对其中的一些操作做一些细微的修改,但是这些小的修改在原来的模板定义上是无法做的。 那么怎么办我们只好重新定义一种形式,它和模板类定义的名称一致,但是形式稍有差别。 我们可以编写一个测试看看:cppviewplaincopyprinttemplatetypenametypeclassdata{public:data(){printf(normal!n)}~data(){printf(~normal!n)}}templateclassdataint*{public:data(){printf(point!n)}~data(){printf(point!n)}}上面的代码定义了两个类模板。

但是两者的名称是一样的,说明这两个类定义的内容其实具有很大的相似性。 第一种定义就是标准模板类的定义,第二中稍微复杂一点,使用缺省的int*,因为没有使用到特定的type类型,所以此时template后面的内容为空。

那么怎么判断这两个类都是可以正常使用的呢大家可以看看下面的范例:cppviewplaincopyprint:dataintpBDleaecx,ebphCcallILT(dataint::dataint)()Cmovdwordptrebp,:dataint*qCCleaecx,ebphCFcallILT(dataint*::dataint*)():}我们发现,第一个函数的call地址是x,第二个地址为x。

但是这说明不了什么,因为第二个地址完全也可能是第一个模板类引申的。

我们应该跟到每一个函数里面(其实这里的地址在VC下都是跳转地址)。

第一个变量的实际进入函数如下所示:cppviewplaincopyprint:data(){printf(normal!n)}pushebpmovebp,espsubesp,hpushebxpushesipushedipushecxAleaedi,ebphDmovecx,hmoveax,CCCCCCCChrepstosdwordptredipopecxAmovdwordptrebp,ecxDpushoffsetstringnormal!n(c)callprintf()addesp,Amoveax,dwordptrebpDpopediEpopesiFpopebxaddesp,hcmpebp,espcallchkesp(b)Amovesp,ebpCpopebpDret那么,第二个变量呢,同样需要跟入函数:cppviewplaincopyprintpushebpmovebp,espsubesp,hpushebxpushesipushedipushecxAleaedi,ebphDmovecx,hmoveax,CCCCCCCChrepstosdwordptredipopecxAmovdwordptrebp,ecxDpushoffsetstringpoint!n()callprintf()addesp,Amoveax,dwordptrebpDpopediEpopesiFpopebxaddesp,hcmpebp,espcallchkesp(b)Amovesp,ebpCpopebpDret看到上面的函数,大家应该明白了两者调用的构造函数并不一样。

所以说,特化模板通常就是为了那些特殊的数据类型准备的。

这样我们使用者在使用模板的时候就没有什么顾虑了,可以忽略各个数据类型处理上的差别了。 当然,特化模板因为考虑了特殊模型数据,使得我们的代码更加完毕,更加健壮了,建议在设计模板的时候适当多使用。

思考题:()模板类第一个type可以缺省吗为什么会这么考虑()下面的代码在vc和vc上都能编译过为什么呢对于我们设计代码有什么思考呢(建议从兼容性上面考虑)cppviewplaincopyprinttemplatetypenametypeclassdata{public:data(){printf(normal!n)}}templatetypenametypeclassdatatype*{public:data(){printf(point!n)}~data(){printf(point!n)}}【预告:下面的两个博客非常有意思,介绍递归模板和模板的模板内容】。

  • A+
所属分类:现代文学