|
<br />前面曾经提到过“种子类”,其主要用处在于代码共享,一般是通过其派生类再去实例化形成具体的对象。<br /><br />现在再看一个更基础的类(主要用于多态环境)——抽象类。在具体论述抽象类之前,先看一下两个特殊的虚函数:<br /><br /> 1,空虚函数<br /><br /> 空虚函数是函数体为空的虚成员函数,一般形式为:<br /><br /> virtual void v_fun( <parameters-list> ) {}<br />或 virtual <return-type> v_fun( <parameters-list> ) { return <default-result> }<br /><br />一个类中若含有空虚函数,则一般必须由派生类来定义一个具体的非空虚函数去置换相应的空虚函数,最后才能实例化成一个有意义的对象。由此可见空虚函数只是为派生类的多态性奠定一个基础框架,具体的多态性实现必须由各相应的派生类来加以落实。仔细分析可以看到,利用空虚函数实现上述多态性框架有一些不妥之处,其中之一就是多余代码。空虚函数本身没有意义,但却要占用代码空间。另外若用含空虚函数的类去实例化一个对象的话,此对象一般也没啥意义。下面给出含有空虚函数的状态机包装类:<br /><br />// 有关"状态机"的封装<br /><br />enum status_type { S0, S1, S2, S3, S4,…,Sn };<br /> <br />class class_SM<br />{<br /> protected:<br /> <br /> status_type status;<br /> <br /> virtual int Fy( int x );<br /> virtual void Fs( int x );<br /> <br /> public:<br /> <br /> class_SM( void ) { status = S0; }<br /> class_SM( status_type S ) { status = S; }<br /> <br /> int Do_it( int x );<br /> <br /> ~class_SM() {}<br />};<br /><br />int class_SM :: Fy( int x )<br />{<br />// return Fy( x, status )<br /><br /> return x;<br />}<br /><br />void class_SM :: Fs( int x )<br />{<br />// status <- Fs( x, status )<br />}<br /><br />int class_SM :: Do_it( int x )<br />{<br /> int result;<br /> <br /> result = Fy( x ); Fs( x );<br /> <br /> return result;<br />}<br /><br />其中Fy和Fs都是空虚函数。<br /><br /><br /> 2,纯虚函数<br /><br /> 纯虚函数是一种纯粹虚设的函数,一般形式为:<br /><br /> virtual void v_fun( <parameters-list> ) = 0;<br />或 virtual <return-type> v_fun( <parameters-list> ) = 0;<br /><br />可以看出,纯虚函数没有函数体,那具体是何物呢?其实纯虚函数只是在VTAB中预留了一个值为0的单元,此单元将被其相关衍生类置换成具体的虚函数入口地址。由于纯虚函数没有函数体,所以并不占有代码空间,而只是在VTAB中预留了一个单元而已。但正是因为没有函数体,而且VTAB中的预留值是0,所以纯虚函数是不可调用的。为了限制对纯虚函数的调用,编译系统一般是不允许对含有纯虚函数的类进行实例化的。<br /><br /><br />为了区别于一般的类,含有纯虚成员函数的类被称为抽象类。由上可见,抽象类不能被实例化成对象。这样也就在语法层面上限制了无意义对象的出现。下面给出状态机的包装抽象类:<br /><br />// 有关"状态机"的封装(抽象类)<br /><br />enum status_type { S0, S1, S2, S3, S4,…,Sn };<br /> <br />class class_SM<br />{<br /> protected:<br /> <br /> status_type status;<br /> <br /> virtual int Fy( int x ) = 0; // return Fy( x, status )<br /> virtual void Fs( int x ) = 0; // status <- Fs( x, status )<br /> <br /> public:<br /> <br /> class_SM( void ) { status = S0; }<br /> class_SM( status_type S ) { status = S; }<br /> <br /> int Do_it( int x );<br /> <br /> ~class_SM() {}<br />};<br /><br />int class_SM :: Do_it( int x )<br />{<br /> int result;<br /> <br /> result = Fy( x ); Fs( x );<br /> <br /> return result;<br />}<br />
|