enum ShapeColor {RED, GREEN, BLUE};
class Shape
{
public:
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 *。
- 对象的动态类型是由它由它当前所指向的对象的类型决定的。即,对象的动态类型表示它将执行何种行为。pc的动态类型是Circle *,pr的动态类型是Rectangle *。至于ps,实际上没有动态类型,因为它还没有指向任何对象。
- 动态类型可以在程序运行时改变,通过赋值。
- 虚函数是动态绑定的&