绝不重新定义继承而来的缺省参数值
virtual函数是动态绑定,而缺省参数是静态绑定。
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 colo) const
{
}
// 请注意,以上这么写则当客户以对象调用此函数,一定要指定参数值,因为静态绑定下这个函数并不从其basee继承缺省值。
// 但是若以指针或者引用调用其函数,可以不指定参数值,因为动态帮顶下这个函数会从其base继承缺省参数。
}
现在考虑这些指针:
Shape* ps; // 静态类型为Shape*,动态类型为null,因为没有指向任何类型
Shape* pc = new Circle; // 静态类型为Shape*,动态类型为Circle*
Shape* pr = new Rectangle; // 静态类型为Shape*,动态类型为Rectangle*
静态类型是变量的声明类型,动态类型是实际指向的类型。静态类型不可改变,动态类型可以改变。
对于如下调用:pr->draw();
Rectangle::draw函数的缺省参数应该是GREEN,但是pr的静态类型为Shape*,所以此调用的缺省参数值来自Shape class而非Retangle class!结局是Shape Class和Retangle Class的draw声明各出一半力。
请记住:
绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数–你唯一应该覆写的东西–确实动态绑定。