业务与软件C++语言项目C进阶.pdf

1业务与软件C+语言项目C+进 阶录第 一 章 类、接口.71.1 Handle-Body与接口、抽象接口.71.2 多继承、与菱形缺陷、th is跳转等.131.3 C+多态的两种多态形式和区别.18第 二 章 重 载.182.1 函数重载.192.2 运算符重载.20第 三 章 模 板.293.1 模块函数.293.2 模块类.313.3 STL标准模板库.34附录：参考资料.39ISC基本知识附录:名词解释前S我们在C+基础课程中已经了解了C+的一些基本概念，知道了什么是类什么是对象。也了解了继承、封装、多态等C+面向对象的基本特征，本课程主要是更进一步探讨一下C+一 些 基本模型的应用，加深对概念的理解，由于课程时间有限，C+,模型和内容又如此之多，对任何一个模型都无法深入进去，所以只能泛泛而谈。第一章 类、接口学习要求：1、了解类的继承、封装等概念之间的关系2、了解什么是接口，什 么是虚函数，它有什么样的特点。学会使用接口编程的思想本章节主要介绍C+中的类、接口。类，包涵了一组数据和一组基于数据上的一组方法。它描述了一个对象的属性、状态和行为；接口，它只是描述了一个对象的简单的行为。有关类的基本概念：Class namesClass membersMember FunctionsStatic Member FunctionsUnionsC+Bit FieldsNested Class DeclarationsType Names in Class ScopeMultiple Base ClassesVirtual FunctionsAbstract ClassesControlling Access to Class Membersprivate Members31SC基本知识 附录:名词解释protected Memberspublic MembersAccess Specifiers for Base Classes,priavte,public protectedFriendsConstructorsDestructorsConversion Functionsthe new operator and the delete operatorCopying Constructor FunctionsInterface1.1 Handle-Body与接口、抽象接口在C+中封装的概念是把一个对象的外观接口同实际工作方式(实现)分离开来，但是C+的封装是不完全的，编译器必须知道一个对象的所有部分的声明，以便创建和管理它。我们可以想象一种只需声明一个对象的公共接口部分的编程语言，而将私有的实现部分隐藏起来。C+在编译期间要尽可能多地做静态类型检查。这意味着尽早捕获错误，也意味着程序具有更高的效率。然而这对私有的实现部分来说带来两个影响：一是即使程序员不能轻易地访问实现部分，但他可以看到它；二是造成一些不必要的重复编译。然而C+并没有将这个原则应用到二进制层次上，这是因为C+的类既是描述了一个接口同时也描述了实现的过程，示例如下：class CMyString(private:const int m_cch;char*m_psz;public:CMyString(const char*psz);-CMyStringO;int Length()const;41SC基本知识 附录:名词解释int Index(const char*psz)const;CMyStirng对外过多的暴露了内存布局实现的细节，这些信息过度的依赖于这些成员变量的大小和顺序，从而导致了客户过度依赖于可执行代码之间的二进制耦合关系，这样的接口不利于跨语言跨平台的软件开发和移植。1.1.1 Handle-Body 模式解决这个问题的技术有时叫句柄类(handle classes)或 叫“Cheshire Cat”1 。有关实现的任何东西都消失了，只剩一个单一的指针“m_pThis”。该指针指向一个结构，该结构的定义与其所有的成员函数的定义一样出现在实现文件中。这样，只要接口部分不改变，头文件就不需变动。而实现部分可以按需要任意更动，完成后只要对实现文件进行重新编译，然后再连接到项目中。这里有这项技术的简单例子。头文件中只包含公共的接口和一个简单的没有完全指定的类指针。class CMyStringHandle(private:class CMyString；CMyString*m_pThis;public:CMyStringHandle(const char*psz);CMyStringHandle();int Length()const;int Index(const char*psz)const;；CMyStringHandle:CMyStringHandle(const char*psz)5ISC基本知识附录:名词解释:m_pThis(new CMyString(psz);()CMyStringHandle:-CMyStringHandle()(delete m_pThis;)int CMyStringHandle:Length()(return m_pThis-Length();)int CMyStringHandle:Index(const char*psz)(return m_pThis-Index(psz);)这是所有客户程序员都能看到的。这行class CMyString；是一个没有完全指定的类型说明或类声明(一个类的定义包含类的主体)。它告诉编译器，Cheshire是一个结构的名字，但没有提供有关该结构的任何东西。这对产生-一个指向结构的指针来说已经足够了。但我们在提供一个结构的主体部分之前不能创建一个对象。在这种技术里，包含具体实现的结构主体被隐藏在实现文件中。在设计模式中，这就叫做Handle-Body模式，Handle-Body只含有一个实体指针,服务的数据成员永远被封闭在服务系统中。Handle-Body模式如下：61SC基本知识附录:名词解释classHandle图1 Handle-Body模 式（句柄类做为接口）Handle-Body的布局结构永远不会随着实现类数据成员的加入或者删除或者修改而导致Handle-Body的修改，即Handle-Body协议不依赖于C+实现类的任何细节。这就有效的对用户的编译器隐藏了这些斜街，用户在使用对这项技术时候，Handle-Body接口成了它唯一的入口。然而Handle-Body模式也有自己的弱点：1、接口类必须把每一个方法调用显示的传递给实现类，这在一个只有一个构造和一个析构的类来说显然不构成负担，但是如果一个庞大的类库，它有上百上千个方法时候，光是编写这些方法传递就有可能非常冗长，这也增加了出错的可能性。2、对于关注于性能的应用每一个方法都得有两层的函数调用，嵌套的开销也不理想3、由于句柄的存在依然存在编译连接器兼容性问题。接口和实现分离的Handle-Body。1.1.2抽象接口使用了“接口与实现的分离”技术的Handle-Body解决了编译器/链接器的大部分问题，而C+面向对象编程中的抽象接口同样是运用了“接口与实现分离”的思想，而采用抽象接口对于解决这类问题是一个极其完美的解决方案。71SC基本知识附录:名词解释1、抽象接口的语言描述:class IMyStringvirtual int Length()const=0;这表示是一个纯虚函数，具有纯虚函数的接口virtual int Index(const char*psz)const=0;2、抽象接口的内存结构:图 2 抽象接口的内存布局3、抽象接口的实现代码:接口：class IMyStringvirtual int Length()const=0;这表示是一个纯虚函数，具有纯虚函数的接口virtual int Index(const char*psz)const=0;)：实现:81SC基本知识 附录:名词解释class CMyString：public IMyString(private:const int m_cch;char*m_psz;public:CMyString(const char*psz);virtual-CMyString();int Length()const;int Index(const char*psz)const;)从上面采用抽象接口的实例来看，抽象接口解决了Handle-Body所遗留下来的全部缺陷。抽象接口的一个典型应用：抽象工厂(AbstractFactroy)图3抽象工厂模式1.2 多继承与菱形缺陷、this跳转等91SC基本知识 附录:名词解释多重继承是C+语言独有的继承方式，其它几乎所有语言都秉承了单一继承的思想。这是因为多重继承致命的缺陷导致的：1.2.1 菱形缺陷当继承基类时，在派生类中就获得了基类所有的数据成员副本。假如类B从A 1和A 2两个类多重继承而来，这样B类就包含A l、A 2类的数据成员副本。考虑如果A l、A 2都从某基类派生，该基类称为B a s e,现在继承关系如下：Base图4菱形继承关系我们C+语言来描述这种继承关系：c l a s s B a s e .；c l a s s A l :p u b l i c B a s e .；c l a s s A 2 :p u b l i c B a s e .；c l a s s B :p u b l i c A l,p u b l i c A 2 .；那么A l、A 2都具有B a s e的副本。这样B就包含了B a s e的两个副本，副本发生了重叠，不但增加了存储空间，同时也引入了二义性。这就是菱形缺陷，菱形缺陷时间是两个缺陷：1、子对象重叠2、向上映射的二义性。菱 形 缺 陷 的 其 中 一 种解决办法将1 01SC基本知识 附录:名词解释在C+世界里最广泛的使用虚拟继承解决菱形缺陷的应用便是标准C+的输入/输出iostream；图5标准C+的输入/输出1.2.2多重接口与方法名冲突问题(Siamese twins)对继承而来的虚函数改写很容易，但是如果是在改写一个“在两个基类都有相同原型”的虚函数情况就不那么容易了。提出问题：假设汽车最大速度的接口为IC ar,潜艇最大速度的接口为IBoat,有一个两栖类的交通工具它可以奔跑在马路上，也可以航行在大海中，那么它就同时拥有ICar、IBoat两种交通工具的最大速度特性，我们定义它的接口为ICarBoat；class IC ar(virtual int GetMaxSpeed()=0；class IBoat(virtual int GetMaxSpeed()=0；我们先对ICarBoat的接口做一个尝试：class CCarBoat111SC基本知识 附录:名词解释virtual int GetMaxSpeed()；既完成ICar的GetMaxSpeed()接口 方法又完成IBoat的接口方法？显然不能够)；解决问题：显然上面这个尝试根本就无法成功，只用一个实现方法，怎么能够求出这个ICarBoat交通工具奔跑在马路上的最高时速，同时也能够求出航行在大海上的最大航行速度呢。上面这一问题矛盾就在一一个方法，却需要两个答案。看来ICarBoat要返回两个答案就必须有两个方法了，我们假设一个方法是求在陆地上奔跑的速度，名称为GetCarMaxSpeed()；另一个方法是求在大海上航行的最大速度，名称为GetBoatMaxSpeed()；那这两个方法又怎么和GetMaxSpeed()接口方法联系起来呢;幸运的是，我们找到了解决办法，而且解决办法有很多种，下面介绍一下继承法。class IXCar:public ICar(virtual int GetMaxSpeed()(GetCarMaxSpeed();virtual int GetCarMaxSpeed()=0;)；class IXBoat:public IBoatvirtual int GetMaxSpeed()(GetBoatMaxSpeed();)virtual int GetBoatMaxSpeed()=0;)；classCCarBoat:public IXCar,public IXBoat121SC基本知识附录:名词解释virtual int GetCarMaxSpeed()virtual int GetBoatMaxSpeed()图 6 多重接口与方法名冲突问题1.2.3 this 跳转th is跳转是指的“对象同一性”问题。在单一-继承的世界内，无论继承关系怎么复杂，针对于同一对象，无论它的子类或者父类的th is指针永远相等。即如果有下面的模型：13ISC基本知识附录:名词解释图 7 B从A继承的关系图那 么 对于一个已经实例化B类的对象bObject,永远有(B*)febObject=(A*)&bObject 成立。但是在多继承的世界内，上面的等式就不能恒成立，对象的同一性受到了挑战。特别的是，在多继承世界内如果图四的菱形关系存在情况下，如果对于已经实例化B类的对象bObject;(Base*)(Al*)febObject!=(Base*)(A2*)&bObject 成立，当这种事情发生的时候我们就只能特殊处理了。这种情况在COM 应用中处处都会发生。1.3 C+多态的两种多态形式和区别C+有两种多态多态形式：1、编译时刻多态，编译时刻多态依靠函数重载或者模板实现2、运行时刻多态。运行时刻多态依靠需函数虚接口实现第二章 重载学习要求：1、了解什么是函数重载，什么是运算符重载2、学会运用智能指针，仿函数141SC基本知识 附录:名词解释在C+的世界里，有两种重载：函数重载和运算符重载，函数重载就采用采用参数匹配的原则，进行重载的，它是一种编译时刻的多态。而运算符重载，使采用改写或者说重新定义C+的内嵌运算符的方法。有关重载的基本概念:Overloaded FunctionsOverloaded OperatorsDeclaration MatchingArgument MatchingArgument Types MatchingArgument Counts MatchingC+Unary OperatorsBinary OperatorsSmart PointerFunction objects1.1函数重载函数重载方法是在当前范围内选择一个最佳匹配的函数声明供调用该方法者使用。如果一个适合的函数被找到后，这个函数将会被调用，在 这 里“适合的”是指按下列顺序匹配的符合下面条件的：1、一个精确匹配的函数被找到2、一个参数只有细微的差别，儿乎可以忽略不计的。3、象类似通过子类向父类转化达到参数匹配的4、通过正常转化函数进行类型转换，能够达到参数匹配到的。5、通过用户自定义的转化函数（如转化运算符或者构造函数）达到参数匹配的6、参数是采用省略符号函数重载的方法基本上有：1、根据函数参数数据类型的不同进行的重载；2、根据参数个数的不同进行的重载；3、缺省参数上的重载15ISC基本知识 附录:名词解释我们在这里把缺省参数也称为一种函数重载，实际上它并不是严格意义上的重载。在使用缺省参数时必须记住两条规则。第一，只有参数列表的后部参数才可是缺省的，也就是说，我们不可以在一个缺省参数后面又跟一个非缺省的参数。第二，一旦我们开始使用缺省参数，那么这个参数后面的所有参数都必须是缺省的。第三，缺省参数只能放在函数声明中。第四，缺省参数可以让声明的参数没有标识符。4、返回值重载特别注意，在C+中并没有根据返回返回值的不同进行重载的，即我们不能定义这样的函数：v o i d f ();i n t f ();在C+中这样的函数声明方法是被禁止的，但是我们有时间可能又需要这样的重载方法，我们又怎么实现呢，其实很简单，j i a n g函数的参数进行扩展，将这个函数返回值的数据类型，做为扩展参数的数据类型来。如下：v o i d f (v o i d)；v o i d f (i n t)；此时这个例子中的参数列表的数据，只在编译时刻起到分练函数的作用，在运行时刻并不起到传值作用，模板中经常都应用到了这种方法。1.2运算符重载你可以重新定义C+绝大多数内嵌运算符的实现方法和功能，这些重定义的或者说重载的运算符，有可能全局作用的，也有可能作用在类基础之上的，运算符重载的实现可能以类的成员函数的形式出现，也有可能以全局性的函数的身份出现。在C+中重载运算符的名字为operatorX,在 这 里x是一个可重载的运算符，如：重载加法运算符，你需要定义一个 名 为operator+的函数，然后实现他，其它的类似定义就可以了,例如：C l a s s c o m p l e x /v e r y s i m p l i f i e d c o m p l e x161SC基本知识附录:名词解释d o u b l e r e,i m;p u b l i c:c o m p l e x (d o u b l e r,d o u b l e i):r e(r),i m(i);c o m p l e x o p e r a t o r+(c o m p l e x);c o m p l e x o p e r a t o r*(c o m p l e x);)；定义了 c o m p l e x这个复数的一个简单的实现概念模型。一个复数是由一对d o u b l e类型的数据组成，并定义了这个复数的两个方法，加法运算c o m p l e x:o p e r a r t o r+()和乘法运算c o m p l e x:o p e r a t o r*().现在我们就能够实现下面的复数表达式了：v o i d f ()c o m p l e x a 二c o m p l e x (1 ,3.1);c o m p l e xc o m p l e x (1.2,2);c o m p l e xb;bca =b +c;b =b +c *a；c=a *b +c o m p l e x(1 ,2);1.3.1 C+可重载的和C+不可重载的运算符1 7ISC基本知识附录:名词解释可重载运算符表:OperatoNameT ypeOperatoNameT yperr9C o m m aB in ar y-*P o in t e r-t o-m e m b e rs e l e c t io nB in ar y1L o gic al N O TU n ar y/D iv is io nB in ar y1 =I n e q u al it yB in ar y/=D iv is io n/as s ign m e n t B in ar y%M o d u l u sB in ar yL e s s t hanB in ar y%=M o d u l u s/as s ign m e n tB in ar yL e ft s hiftB in ar y&B it w is e A N DB in ar y=L e fts hift/as s ign m e n tB in ar y&A d d r e s s-o fU n ar yG r e at e r t hanB in ar y*M u l t ip l ic at io nB in ar y=G r e at e r t han o re q u al t oB in ar y*P o in t e r d e r e fe r e n c eU n ar yR ight s hiftB in ar y*=M u it ip l ic at io n/as s ign B in ar y=R ights hift/as s ign m e n tB in ar y+A d d it io nB in ar yA r r ay s u b s c r ip t+U n ar y P l u sU n ar yE x c l u s iv e O RB in ar y+I n c r e m e n t1U n ar y=E x c l u s iv eO R/as s ign m e n tB in ar y+=A d d it io n/as s ign m e n tB in ar y1B it w is e in c l u s iv e O R B in ar y-S u b t r ac t io nB in ar y1=B it w is e in c l u s iv eO R/as s ign m e n tB in ar y-U n ar y n e gat io nU n ar yIIL o gic al O RB in ar y-D e c r e m e n t1U n ar yO n e,s c o m p l e m e n tU n ar y=S u b t r ac t io n/as s ignB in ar ydeletedelete18ISC基本知识附录:名词解释-Member selection Binary n e w不可重载运算符表:O p e r at erN am eMember selection,*Pointer-to-member selection:Scope resolution?:Conditional#Preprocessor symbol#Preprocessor symbol在上面可重载的运算符可以看出运算符重载共分为两类：-元运算符重载和二元运算符重载一元运算符重载：在声明一个类的非静态的一元运算符重载函数时，你必须声明的形式如下：ret-type o p e r at o r o/?()(1)在这里ret-type是指返回数据类型o p 是指一元运算符在声明一个全局的一元运算符重载函数时，你必须声明的形式日下：ret-type o p e r a t o rarg)(2)在 这 里ret-type与 o p 和上面的意思一一样,arg是指这个运算符所作用的数据类型二元运算符重载：191 SC基本知识 附录:名词解释在声明一个类的非静态的二元运算符重载函数时，你必须声明的形式如下：ret-type opera tor(3)(3)式和二式基本相同a r g 可以是任何一个在声明一个全局的二元运算符重载函数时，你必须声明的形式日下：ret-type o p e r at o ro/?(,az 7,arg2)(4)在 这 里ret-type与 o p 和上面的意思一样,argl,arg2,是指这个运算符所作用两个数据类型1.3.2 几类特殊的运算符重载1、类型转换运算符所有的数据类型均可以定义构造函数，包括系统定义的数据类型和用户自定义的数据类型，如：c l as s C S t r in g(operator LPCSTR()const;);应用：C S t r in g s t r =1 2 3 4 5”；L P C S T R I p s z =s t r;此处会进行L P C S T R运算这只是一个简单的应用的示例，其实有时间类型转换具有无比强大的功能。我曾经就是用类型装换运算符重载解决一个跨平台通信的问题。2、b o o l运算符重载in t、fl o at,b o o l等运算符也是可以重载的，例如重载b o o l运算符，但是重载运算符b o o l时候，需要注意有很多麻烦和臆想不到的东西t e m p l at e 2 0ISC基本知识附录:名词解释c l as s t e s t b o o l(operator bool()const throw()(return m_ pT!=0;p r iv at e:T*m_pT;下面结果均通过编译t e s t b o o l s p l;t e s t b o o K s t d:s t r in g s p 2;if(s p l =s p 2)if(s p l !=s p 2)b o o l b =s p lin t I =s p l *1 0;从上面可以看得出b o o l 的表现已经远远超过b o o l 本身了，所以建议大家不要轻易对b o o l 进行重载操作。3、地址运算符重载在D C O M 应用中，我们有一个重载运算符的例子：S T D A P I C o C r e at e l n s t an c e(R E F C L S I D rclsid,L P U N K N O W N pUnkOuter,D W O R D dwClsContext,R E F I I D riid,LPVOID*ppv);我们看最后一个参数LPVOID指针的指针，这里是一个输出参数，返回一个接口的指针。一般情况下我们应用如下IUnknown*pUn;C o C re a te In s ta n c e(v o id *)&pUn);(5)211SC基本知识 附录:名词解释然而我们也可以这样写：IUnknown*pUn;CComPtr comPtr(pUn);C o C re ateIn sta n ce(.,(v o id *)&comPtr);(6)之所以能够这么写这是因为CComPtr重载了 运算符，如下：template class CComPtr(public:CComPtr(T*Ip)(if(p=Ip)!=NULL)p-AddRef();)T*operator&()(ATLASSERT(p=NULL);return&p;)private:T*p；)；&comPtr实际上是得到了一般的情况下，我们并不能对pUn的地址，所 以(5)式 和(6)式其实传入的参数是一样当都是传入了 pU n的地址。虽然我们能够对运算符进行重载，但一般情况下我们并不是很提倡这种操作，这是因为：A、暴露了封装对象的地址，如上面CComPtr对 pUn的封装其实不起任何作用，任何时候我都可以直接访问和修改pUn指针，这就意味着所有权的完全丧失，封装不起任何意义B、对 于 unary operator&的重载使得重载对方永远无法与STL容器进行任何融合，甚至无法参与任何泛型编程。221SC基本知识 附录:名词解释一个对象的地址是一个对象最基本的概念，在一般情况下，我们并不提倡，也请大家慎用地址运算符的重载。4、指针运算符重载指针运算符，有一个及其特殊且及其重要的机制：当你对某个型别实施operator-而这个型别并非原生指针时候：编译器会从这个型别中找出用户自定义的operator-),并实施后，编译器将继续对这个operator-)返回的结果实施operator-)直到找到一个原生指针。这种机制导致了一个特有的技术：(pre and post function calls)，前调用”及后调用技术。应用如下：class CallDoSomething(public:void DoCallQ(TRACE(DoCalln);)；templateclass CalllnMutiThread(class LockProxy(public:LockProxy(T*pT)：m_pT(pT)(TRACE(Lock n);)LockProxy()(TRACE(UnLock n);)T*operator-()(return m_pT;)private:T*m_pT;public:231 SC基本知识 附录:名词解释CallInMutiThread(T*pT)：m_pT(pT)(LockProxy operator-()(return LockProxy(m_pT);private:T*m_pT;);上 面CallDoSomething是函数调用，假设这个类原来是在单线程中运行的，但是现在已经移植到了多环境中，所以我们就增加了 CalllnMutiThread对 原始类进行配接使之适应与多线程环境，调用过程如下：CallDoSomething DoSomthing;CallInMutiThread MutiThread(&DoSomthing);MutiThread-DoCall();调用结果如下：LockDoCallUnLock从上面可以看出在调用CallDoSomething的成员函数DoCall之前调用了Lock方法，在调用结束后有调用了UnLock。这就是所谓的“前调用”和“后调用”，其实并不仅仅是多线程问题可以采用此办法，所 有 的“前调用”和“后调用”模式均可由此解。重 载“-”运算符，同时引出了智能指针的概念，参见下页。5、括号运算符重载语法特征：primary-expression(expression-1 istopt)括号运算符是一个同“-”运算符一样也是一个及其重要的运算符241SC基本知识 附录:名词解释在M SD N 上说括号运算符是一个二元运算符，我觉得这个说法是完全错误的，在所有C+运算符重载中，括号运算符，应该是唯一没有规定参数元的个数的。它的参数可以从0 个 到 N个。示例：class Point(public:Point()_x=_y=0;Point&operator()(int dx,int dy)_x+=dx;_y+=dy;return*this;private:int _x,_y;);调用如下：Point pt;pt(3,2);从上面可以看出，括号运算符，调用形式如下：objectparameter lis t);看起来和函数的形式是完全一样的：function(parameter lis t);所以根据这一特点我们称之为仿函数。第三章 模板学习要求：1、了解什么是模板2、学会运用模板函数，模版类和STL模 板(tem plates),以及以模版为基础的泛型编程和泛型模式，是当今C+中最活跃的项编程技术，模版的第一个革命性的应用就是Standard Template Library(简25ISC基本知识 附录:名词解释称S T L)o S T L将t e m p l a t e s技术广泛应用于S T L容器和S T L算法上，在这一领域t emplat e技术发挥到了极致。本章介绍C+t emplat es的基本概念和语言特性1.1 认识模板1、模板的基本语法是：template declaration这个template描述了一个参数化的类(模板类)或者是一个参数化的函数(模板函数)，这个模板参数列表是用逗号分隔的类型列表(在这个表单忠使用class或者是typename来标识这个数据类型)。在某些情况下这个模板体内可能不存在任何的数据类型。declaration域必须是一个函数或者类的声明。1.4模板函数语法定义：t emplat ef u nct ion-name(paramet er list)()例如:t emplat e inline T const&max (T const&.a,T const&b)(/if a b t hen u se b else u se aret u rn a b?b:a;)调用形式：1 ：通过调用的参数来识别模板的各参数类型MAX(4,4.2)：/O K,bu t t y pe of f irst arg u ment def ines ret u rn t y pe2：明确指定参数的类型：M A X (4,4.2);/O K在我们的例子中这个参数列表是t y pename T,其实在这里t y pename是可以用class替换的，t y pename是在C+演化过程中逐渐形成的，而class是一个历史性的概念，t y pename表达了一个 比class更抽象意义上的概念。261SC基本知识 附录:名词解释有如下定义如：class typenamedef(typedefint INT_TYPE;)；如果这样表达是正确的：templateclass testtypename:public typenamedef(public:typename T:INT_TYPE;INT_TYPE mjnt;)；但是如果把 此处的typename换 成 class就会报错1.4.1 重载模板函数(Overloading Function Templates)和普通的函数样，模板函数也可以被重载，也就是说对象同的函数名，你能够具有不同的函数定义，在调用的时候再由C+编译器决定，那个候选函数更有资格被匹配调用。下面这个简单的例子说明了重载模板函数的方法和过程：/maximum of two int valuesinline int const&max(int const&a,int const&b)(return ab?b:a;)/maximum of two values of any typetemplate inline T const&max(T const&a,T const&b)(return ab?b:a;)/maximum of three values of any typetemplate inline T const&max(T const&a,T const&b,T const&c)(return max(max(a,b),c);271SC基本知识 附录:名词解释int main()(:max(7,42,68);/calls the template for three arguments:max(7.0,42.0);/calls max(by argument deduction):max(a,b);/calls max(by argument deduction):max(7,42);/calls the nontemplate for two ints:max(7,42);/calls max(by argument deduction):max(7,42);/calls max(no argument deduction)上面这个例子也说明了普通的函数与模板函数可以拥有同一个名字，而且可以被初始化为同一类型，如：max(7,42)调用匹配非模板函数也匹配模板函数。1.5模板类基本的语法定义：templateclass class-name()；具有缺省参数的模板定义形式template class class-name()；在模板中用到了大量非习惯性思维方法，大家在学习模板之前需要了解这些模板设计的思维方法：申明并不一定需要定义：1、申明一个函数，并不实现在C+中我们可能因为禁止某个缺省函数的调用操作而申明该缺省函数，但不定以它，例如：class testDeclare(public:testDeclareQ;281SC基本知识 附录:名词解释我们对上面的testDeclare的缺省构造函数进行了声明，但是我们并没有构造函数的的定义，当我们执行testDeclare declare；上面这个申请创建一个对象的操作会被编译系统所禁止当然，我们也可以对缺省的重载运算符实施同样的手段2、申明一个函数而不实现可能是为了模板函数的泛化泛化：templateT testFun();特化：templateoint testFun()(return 10;)3、申明一个函数可能仅仅为了获得特殊某一项功能例如：T MarkT();char Test(T);int Test(.);sizeof(MarkT();上面的例子其实就是求T 类的的字节数，其实在-一 般情况下，我们直接写sizeof(T)就可以了，然而有的时候系统并不允许我们这样做，所以我们就可以通过上面的例子MarkT()函数，其实上面的MarkT(),charTest(T)函数 int T est(.)都是没有定义的，但是由于sizeo f是编译时刻的运算，所以它并不需要关心这些函数是否实现。申明一个类而不实现例如我们在禁止模板类的泛化过程中就可以实现templateclass testClass;泛化只申明templateoclass testClass 特化进行