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 函数,可以被派生类重新定义,该函数负责真正的工作。