条款37：绝不重新定义继承而来的缺省参数

在继承中，分为两类函数：virtual和non-virtual。而重新定义一个非虚函数是不好的(条款36)，那么以下的讨论就是如何定义继承而来的虚函数。

强调：虚函数是动态绑定的，而缺省参数值是静态绑定的。

 1 #include <iostream>

 2 

 3 class Shape

 4 {

 5 public:

 6     enum ShapeColor{ Red, Green, Blue };

 7     virtual void draw(ShapeColor color = Red) const = 0;

 8 };

 9 

10 class Rectangle : public Shape

11 {

12 public:

13     virtual void draw(ShapeColor color = Green) const;  // 混淆设计：重新定义了继承而来的缺省参数值

14 };

15 void Rectangle::draw(ShapeColor color) const

16 {

17     std::cout << color << std::endl;

18 }

19 

20 class Circle : public Shape

21 {

22 public:

23     virtual void draw(ShapeColor color) const;  //

24 };

25 void Circle::draw(ShapeColor color) const

26 {

27     std::cout << color << std::endl;

28 }

29 

30 int main()

31 {

32     Shape* ps;                             // 静态类型为Shape*

33     Shape* pr = new Rectangle;   　　　　　　// 静态类型为Shape*

34     Shape* pc = new Circle;          　　　 // 静态类型为Shape*

35 

36     pr->draw();                            // 相当于调用了Rectangle::draw(Shape::Red)

37     pr->draw(Rectangle::Green);            // 调用Rectangle::draw(Rectangle::Green)

38     pc->draw(Circle::Blue);                // 调用Circle::draw(Circle::Blue)

39 

40     return 0;

41 }

42         

说明：

关于类型：ps、pr、pc不论其指向什么，静态类型都为Shape*。所谓动态类型，就是当前所指对象的类型，如，pr的动态类型是Rectangle*，pc的动态类型是Circle*，ps未指向任何对象，因此没有动态类型。

关于重定义缺省值：如上例中的pr->draw()，我们的本意可能是调用Rectangle::draw(Rectangle::Green)，可实际上调用的是Rectangle::draw(Shape::Red)，结果就是：调用的是派生类的函数，而使用的却是基类的默认参数，真是不伦不类。导致这种结果的原因就是：缺省参数值是静态绑定的，其总是根据pr的静态类型去寻找默认参数值，我们必须避免这种糟糕的设计。