不重新定义继承而来的缺省参数值

你只能继承两种函数;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;

    由于ps、pc和pr都被声明为Shape*类型,所以它们的静态类型为Shape*。注意,不论它们指向什么,它们的静态类型都是Shape*。

   对像的动态类型则是指“目前所指对象的类型”。也就是说,动态类型可以表现出一个对象将会有什么行为。以上例而言,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++)

你可能感兴趣的:(不重新定义继承而来的缺省参数值)