c考试题钱能程序设计教程.pptxVIP

18:51:441C++程序设计教程(第二版)第十四章模板Chapter14Template清华大学出版社钱能

18:51:442思考角度C++程序是一些类型和函数,编程就是设计类型和函数,然后按C++的程序结构来组织模板编程世界上万事万物都具有相似性，许多类型和函数尽管处理的数据不同，但其行为也具有相似性，将相似的类型归为类型族以及相似的函数归为函数族的编程，就是模板编程编程方法的侧重点面向对象编程解决类体系中的不同对象行为表现模板编程解决独立类之间的不同对象行为表现多个独立类可以是多个类继承体系，因而，面向对象编程与模板编程是融合的．

18:51:443第十四章内容函数模板(FunctionTemplate)函数模板参数(FunctionTemplateParameter)类模板(ClassTemplate)实例化与定做(InstantiationSpecialization)程序组织(ProgramOrganization)模板的多态(TemplatePolymorphism)高级编程(AdvancedProgramming)

18:51:4441.函数模板(FunctionTemplate)理想的函数重载是针对不同的参数做不同的事．而形如:voidswap(Typea,Typeb){Typet=a;a=b;b=t;}的重载函数系所定义的行为序列却相同．这种形式的重载意义不大．

18:51:445templatetypenameTvoidswap(Ta,Tb){Tt=a;a=b;b=t;}定义函数模板来表示重载函数系:模板形参函数模板名数据形参函数模板定义体

18:51:446templatetypenameTvoidswap(Ta,Tb){Tt=a;a=b;b=t;}intfn(){intix=6,iy=7,ia=3,ib=5;swap(ix,iy);//产生函数定义体swap(ia,ib);//不产生函数定义体//...}函数模板用法：

以函数模板名作调用的函数名，以数据实参作参数传递

18:51:4472.函数模板参数(FunctionTemplateParameter)数据参数是按值的性质匹配的，所以相容类型之间可以转换类型参数是按名字匹配的，更为苛刻templatetypenameTvoidswap(Ta,Tb){Tt=a;a=b;b=t;}intadd(doublea,doubleb){returna+b;}intfn(){intia=3;doubledb=5.0;chars1[]=good,s2[]=better;intx=add(ia,db);//okswap(ia,db);//errorswap(s1,s2);//error}

18:51:448数据形参分:引用型参数(提倡用本项)非引用型参数引用型参数分:引用型参数常量引用型参数

18:51:449常量引用型形参其数据形参可以是临时对象，所以，通过显式转换可以规定模板的产生形式．但是，不能被隐式转换的数据形参，其显式模板类型指定失效：templatetypenameTTconstmax(Tconsta,Tconstb){returnab?b:a;}intmain(){intia=3;doubledb=6.7;db=maxdouble(ia,db);db=max(static_castdouble(ia),db);db=maxdouble(ia,db);//error}

18:51:4410引用型形参其数据形参与数据实参捆绑，故数据实参应为左值表达式:templatetypenameTvoidswap(Ta,Tb){Tt=a;a=b;b=t;}intmain(){intia=3;constintcb=5;swap(ia,7);//error:7不是左值swapint(ia,7);//error:哪怕类型指定也不济swap(cb,7);//error:constint会引起操作错误swapconstint(ia,7);//error:同上}

18:51:4411函数模板重载参数有不同的形式(是否引用，是否常量，甚至是否