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

本文主要是介绍不重新定义继承而来的缺省参数值，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

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