你只能继承两种函数;virtual函数和non-virtual函数。然而重新定义一个继承而来的non-virtual函数是不应该的,所以我们不考虑重新定义一个继承而来的non-virtual函数,只讨论“继承一个带有缺省参数值的virtual函数”。
!!!问题引出自:virtual函数是动态绑定,而缺省参数值却是静态绑定。
什么是动态绑定和叫静态绑定?对象的所谓静态类型,就是它在程序中被声明时所采用的类型。考虑以下class继承体系:
class shape{ public: enum ShapeColor {Red,Green,Blue}; virtual void draw(ShapeColor color = Red) const = 0; };
class Rectangle:public Shape{ public: virtual void draw(ShapeColor color = Green)const; };
class Circle:public Shape{ public: virtual void draw(ShapeColor color) const; };
Shape* ps; Shape* pc = new Circle; Shape* pr = new Rectangle;
对像的动态类型则是指“目前所指对象的类型”。也就是说,动态类型可以表现出一个对象将会有什么行为。以上例而言,pc的动态类型为Circle*,pr的动态类型为Rectangle*。ps没有动态类型,因为它没有指向任何对象。
动态类型可以在程序执行过程中改变。ps = pc;ps的动态类型如今是Circle*。 ps = pr;ps的动态类型如今是Rectangle*。
virtual函数是动态绑定而来的,意思是调用一个virtual函数时,究竟调用哪一部分函数实现代码,取决于发出调用的那个对像的动态类型。
pc->draw(Shape::Red); //调用Circle::draw(Shape::Red) pr->draw(Shape::Red); //调用Rectangle::draw(Shape::Red)你已经了解了virtual函数,但是,当你考虑带有缺省参数值的virtual函数时,花样来了。因为virtual函数是动态绑定的,而缺省参数是静态绑定的,意思是你可能会在“调用一个定义于Derived class内的virtual函数“的同时,却使用Base class为它指定的缺省参数值。
pr->draw();此例中,pr的动态类型是Rectangle*,所以调用的是Rectangle的virtual函数。Rectangle的draw函数缺省参数应该是Green,但由于pr的静态类型是Shape*,所以此一调用的缺省参数值来自Shape class而非Rectangle class。结局是这个函数调用有着奇怪并且几乎没人能预料的组合,由Shape class的缺省参数值和Rectangle class 的draw函数体各出一半力。
(来自Effective C++)