学步园

1、改变覆盖方法的返回类型：协变返回类型covariant returns type<br /> 一般情况下，子类覆盖父类的方法时，是不允许修改函数返回类型的。<br /> CODE 1<br /> class Foo<br /> {<br /> public:<br /> virtual int overload( ) {cout<<"Foo's overload()/n ";return 1;} //返回类型int<br /> virtual void overload( int i ){cout<<"Foo's overload(int "<< i <<" )/n ";}<br /> };<br /> class Bar:public Foo<br /> {<br /> public:<br /> virtual float overload( ){cout<<"Bar's overload()/n ";return 2.22;} //返回类型float<br /> };<br /> 编译器GCC4.6.0会提示：<br /> test.cpp:14:18: error: conflicting return type specified for ‘virtual float Bar::overload()’<br /> test.cpp:7:19: error: overriding ‘virtual int Foo::overload()’<br /> 但是，在C++中，只要原来的返回类型是指向类的指针或引用，新的返回类型是指向其派生类的指针或引用，<br /> 覆盖方法就可以改变返回类型。这样的类型成为协变返回类型。<br /> (也就是说，两个返回类型必须满足is-a的关系)<br /> 2、改变覆盖方法的参数<br /> 通常，如果要修改覆盖方法的参数，就不再是覆盖了，而是你创建了一个新的方法，但是因为重名，<br /> 又无法调用父类的方法，可以使用using来进行函数签名声明。<br /> CODE 2<br /> #include <iostream><br /> using namespace std;<br /> class Foo<br /> {<br /> public:<br /> virtual void overload( ) {cout<<"Foo's overload()/n ";}<br /> };<br /> class Bar:public Foo<br /> {<br /> public:<br /> virtual void overload( int i ){cout<<"Foo's overload(int "<< i <<" )/n ";} //改变参数<br /> };<br /> int main( )<br /> {<br /> Bar bar_one;<br /> bar_one.overload( ); //无法调用父类的方法<br /> Foo* ptrFoo=&bar_one;<br /> ptrFoo->overload( );<br /> return 0;<br /> }<br /> 结果是出现编译错误：<br /> test.cpp: In function ‘int main()’:<br /> test.cpp:19:28: error: no matching function for call to ‘Bar::overload()’<br /> test.cpp:19:28: note: candidate is:<br /> test.cpp:13:18: note: virtual void Bar::overload(int)<br /> test.cpp:13:18: note: candidate expects 1 argument, 0 provided<br /> 如上所述，修改将要覆盖的方法参数，将会产生一个新的方法。<br /> 3、覆盖方法的特殊情况<br /> 一、在C++中，不能覆盖父类的static方法<br /> 二、不能同时使用static和virtual声明一个方法<br /> 在C++中，调用static方法时，编译器不关心对象实际是什么，而只关心对象编译时的类型。<br /> 三、覆盖方法时，其实是隐式地隐藏了该方法/同名方法的其他实现。<br /> 四、为了避免不明确的BUG，应该明确的指出或者使用关键字using来引入父类中被覆盖的方法。<br /> 五、超类方法为private或protected<br /> 记住一点，方法的访问限定符只是决定了谁可以调用该方法。<br /> 虽然，子类不能调用父类的private方法，但是这不影响子类对父类privat/protected方法的覆盖。<br /> 六、超类方法有默认参数<br /> 子类和超类都可以有不同的默认参数，但是使用的参数是和变量的类型绑定，而不是该类型的变量。<br /> (也就是说如果超类int i=7，那么子类所有的int类型的默认参数都为7)<br /> #include <iostream><br /> using namespace std;<br /> class Foo<br /> {<br /> public:<br /> virtual void go( int i=2 ){cout<<"Foo' go( ) with param "<<i<<endl;}<br /> };<br /> class Bar:public Foo<br /> {<br /> public :<br /> virtual void go( int i=4 ){cout<<"Bar' go( ) with param "<<i<<endl;}<br /> };<br /> int main( )<br /> {<br /> Foo myFoo;<br /> Bar myBar;<br /> Foo& myFooBar=myBar;<br /> myFoo.go( ); //output 2<br /> myBar.go( ); //output 4<br /> myFooBar.go( ); //output 2<br /> return 0;<br /> }<br /> 结果：<br /> Foo' go( ) with param 2<br /> Bar' go( ) with param 4<br /> Bar' go( ) with param 2<br /> myFooBar.go( ); 输出2的原因是C++把默认参数与指示对象的变量类型(ex:int i=2中的int)绑在一起，而不是与对象本身(ex:i).<br /> 也就是由于这个原因，在C++中，不能继承默认参数。<br /> 注意：<br /> 覆盖有默认参数的方法时，也应该提供默认参数，而且往往要有相同的值。<br /> 七、超类方法有不同的访问级别<br /> 如果想要修改方法的访问级别，有两种方式：<br /> • 改变继承时使用的权限修饰符<br /> • 在子类中重新定义访问修饰符，但是注意不会影响到超类方法的访问权限<br /> 下面举例讲解修改子类的访问修饰符：<br /> #include <iostream><br /> using namespace std;<br /> class Super<br /> {<br /> public:<br /> virtual void talk( ){cout<<"Super says hi in public talk( )/n";}<br /> };<br /> class Sub:public Super<br /> {<br /> protected:<br /> virtual void talk( ){cout<<"Sub says hi in protected talk( )/n";}<br /> };<br /> int main( )<br /> {<br /> Super mySuper;<br /> Sub mySub;<br /> mySuper.talk( );<br /> //mySub.talk( ); // error: ‘virtual void Sub::talk()’ is protected<br /> Super& mSBptr=mySub;<br /> mSBptr.talk( ); //超类的指针或者引用可以访问子类的非public方法<br /> return 0;</p> <p> }<br /> 结果：<br /> Super says hi in public talk( )<br /> Sub says hi in protected talk( )<br /> 这也证明在子类中确实覆盖了方法，并且声明为protected成功，但是，如果超类使得其为public，就不能完全保证protected访问。<br /> 所以，可知改变方法访问级别的唯一有用方式是给超类的protected方法提供约束更少的方法：在子类中有public方法提供一个<br /> 对超类protected方法的接口。<br /> 八、类继承时复制构造函数与相等操作符<br /> 如果子类中没有特殊的数据(通常是指针)需要非默认的复制构造函数或operaotr=，就不许要有非默认的复制构造函数，不管超类中是否包括非默认的复制构造函数。如果子类中省略了复制构造函数，在复制对象时依然会调用父类的复制构造函数。operator=与复制构造函数类似。<br /> 注意：<br /> 如果子类中没有指定复制构造函数或operator=，父类的功能继续有效。如果子类覆盖自己的复制构造函数和operator=，则需要明确引用父类的复制构造函数或operator=。<br /> 如：<br /> Sub& Sub::operator=( const Sub& inSub)<br /> {<br /> if( &inSub==*this )<br /> return *this;<br /> Super::operator=( inSub ); //call parent's operator=( )<br /> //some other operations<br /> return ( *this );</p> <p>}<br />