Effective C++ 读书笔记 条款37：绝不重新定义继承而来的缺省参数值

Core List

1. 对象的静态类型和动态类型

    对象的静态类型：对象在程序中被声明时所采用的类型。

    对象的动态类型：目前所指对象的类型。

2. 缺省参数静态绑定

virtual void draw ( ShapeColor color = red ) const;

Shape *ps;    // 静态类型为 Shape*，无动态类型，因为尚未指向任何对象

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

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

pc->draw();    // 调用 Circle 的draw函数，但使用 Shape 的缺省参数值。

pr->draw();    // 调用 Rectangle 的 draw 函数， 但使用 Shape 的缺省参数值。

3. 防止重新定义缺省参数值

class Shape {

public:

    void draw (ShapeColor color = Red) const {    doDraw();    }    // non-virtual 函数，不可被继承

private:

    virtual void doDraw(ShapeColor color) const = 0;

}

class Rectangle：public Shape {

private:

    virtual void doDraw(ShapeColor color) const;

}

注：

(1) 基类的public non-virtual 函数不可被派生类继承，即派生类无法重新定义缺少参数值

(2) 基类的public non-virtual 函数实际调用 private virtual 函数，可以被派生类重新定义，该函数负责真正的工作。