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

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

Item 37：Never redefine a function’s inherited default parameter value

本条款的讨论局限于：继承一个带有缺省参数值的virtual函数。

本条款成立的理由是：virtual函数是动态绑定（dynamically bound），而缺省参数却是静态绑定（statically bound）。

静态绑定又名前期绑定，early binding；动态绑定又名后期绑定，late binding。

1. 静态类型和动态类型

对象的所谓静态类型（static type），就是它在程序中被声明时所采用的类型。
对象的所谓动态类型（dynamic type）是指”目前所指对象的类型”。也就是说，动态类型可以表现出一个对象将会有什么行为。

举个例子：

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*  
Shape* pc = new Circle;        //静态类型为Shape*
Shape* pr = new Rectangle;     //静态类型为Shape*

ps，pc和pr都被声明为pointer-to-Shape类型，所以它们都以Shape*为静态类型。不论它们真正指向什么，它们的静态类型都是Shape*。
pc的动态类型是Circle*，pr的动态类型是Rectangle*。ps没有动态类型，因为它尚未指向任何对象。

动态类型可在程序执行中改变（通常经由赋值动作）：