Effective C++：绝不重新定义继承而来的缺省参数值

考虑下面这段程序：

#include <iostream>
using namespace std;

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 {
cout << "Rectangle::draw, color = " << color << endl;
}
};

class Circle : public Shape {
public:
virtual void draw(ShapeColor color) const {
cout << "Circle::draw, color = " << color << endl;
}
};

int main()
{
/*
Circle circle;
circle.draw(); //编译出错
*/

/*
Shape *pc = new Circle;
pc->draw(); //color = 0(Red)
*/

/*
Rectangle rtg;
rtg.draw(); //color = 1(Green)
*/

/*
Shape *pr = new Rectangle;
pr->draw(); //color = 0(Red)
*/

return 0;
}
在分析这段程序之前，我们先明确几个概念。
静态类型：指它在程序中被声明时所采用的类型。

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

例如上面的程序中，pr的动态类型是Rectangle，静态类型是Shape。

静态绑定：又名前期绑定(early binding)，绑定的是对象的静态类型，某特性（比如函数）依赖于对象的静态类型，发生在编译期。

动态绑定：又名后期绑定(late binding)，绑定的是对象的动态类型，某特性（比如函数）依赖于对象的动态类型，发生在运行期。

virtual函数是动态绑定，意思是调用一个virtual函数时，究竟调用哪一份函数的实现代码，取决于发出调用的那个动态类型。

而缺省参数值是静态绑定。

因此对于第一段代码：

Circle circle;
circle.draw(); //编译出错当我们以对象调用此函数，必须要指定参数值，circle的静态类型是Circle，在静态绑定下，函数并不从Shape继承其缺省参数值。
对于第二段代码：

Shape *pc = new Circle;
pc->draw(); //color = 0(Red)此时可以不用指定参数，因为pc的动态类型是Circle，静态类型是Shape，通过动态绑定，它调用的是Circle的draw函数，但是通过静态绑定它继承了Shape的缺省参数Red。
对于第三段和第四段代码的表现结果，其原因则与上面类似。

如果我们想避免上面的麻烦，我们可以使用NVI(non-virtual interface)手法去替代：令base class内的一个public non-virtual函数调用private virtual函数，后者可被derived classes重新定义。这里我们可以让non-virtual函数指定缺省参数，而private virtual函数负责真正的工作。

class Shape {
public:
enum ShapeColor { Red, Green, Blue };
void draw(ShapeColor color = Red) const { //如今它是non-virtual
doDraw(color); //调用一个virtual
}
private:
virtual void doDraw(ShapeColor color) const = 0; //真正的工作在此处完成
};

class Rectangle : public Shape {
public:

private:
virtual void doDraw(ShapeColor color) const; //注意，不须指定缺省参数值
};
由于non-virtual函数应该绝对不被derived classes覆写，这个设计很清楚地使得draw函数的color缺省参数值总是为Red。