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

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

以下程序输出结果是

class A{public:    virtual void func(int val = 1)    { std::cout<<"A->"<<val <<std::endl;}    virtual void test()    { func();}};class B : public A{public:    void func(int val=0){std::cout<<"B->"<<val <<std::endl;}};int main(int argc ,char* argv[]){    B*p = new B;    p->test();return 0;}

正确答案: B   

A->0

B->1

A->1

B->0

编译出错

以上都不对

正确答案：B

记住：virtual 函数是动态绑定，而缺省参数值却是静态绑定。 意思是你可能会 在“调用一个定义于派生类内的virtual函数”的同时，却使用基类为它所指定的缺省参数值。

结论：绝不重新定义继承而来的缺省参数值！（可参考《Effective C++》条款37）

对于本例：

1

2

3

B*p = newB;

 

p->test();

p->test()执行过程理解：

       (1) 由于B类中没有覆盖（重写）基类中的虚函数test()，因此会调用基类A中的test()；

       (2) A中test()函数中继续调用虚函数 fun()，因为虚函数执行动态绑定，p此时的动态类型（即目前所指对象的类型）为B*，因此此时调用虚函数fun()时，执行的是B类中的fun()；所以先输出“B->”；

       (3) 缺省参数值是静态绑定，即此时val的值使用的是基类A中的缺省参数值，其值在编译阶段已经绑定，值为1，所以输出“1”；

       最终输出“B->1”。所以大家还是记住上述结论：绝不重新定义继承而来的缺省参数值！