Effective C++ 改善程序与设计的55个具体做法之条款37

<span style="font-family: Arial, Helvetica, sans-serif; font-size: 12px; background-color: rgb(255, 255, 255);">本条款：绝不重新定义继承而来的缺省参数值</span>

直接上以下代码：

#include <iostream>

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
	{
		std::cout << "Rectangle ";
		std::cout << color;
	}
};

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

int main()
{
	Shape *ps;
	ps = new Circle;
	Shape *pr = new Rectangle;
	ps->draw();
	std::cout << "\n";
	pr->draw();
	std::cout << std::endl;
	system("pause");
	return 0;
}

以上输出结果是什么？答案是：

天啊，都是基类的默认参数，那么为什么pr输出的不是Green(1)的值呢。

这就了解C++的一个规则：

virtual函数是动态绑定的，而缺省参数值是静态绑定的。

动态绑定是目前所值对象的类型；

静态绑定是在程序中声明的类型。

比如说以上的ps，动态类型是Circle，而静态类型是Shape。

所以，你明白了吗，在ps调用draw时，它调用的确实是Cricle::draw的方法，但是参数确实是Red，因为它是静态绑定嘛。

所以，我们在设计此类函数，需要注意带有缺省参数的虚函数。

当然解决的方法很多，有一种叫做NVI的方法（non-virtual interface）方法，另base class内的一个 public non-virtual函数调用private vitural函数，后者可以被derived class重新定义。如下所示：

#include <iostream>

class Shape{
public:
	enum ShapeColor {Red, Green, Blue};
	void draw(ShapeColor color = Red)
	{
		doDraw(color);
	}
private:
	virtual void doDraw(ShapeColor color) const = 0;
};

class Rectangle : public Shape
{
private:
	virtual void doDraw(ShapeColor color) const
	{
		std::cout << "Rectangle ";
		std::cout << color;
	}
};

class Circle : public Shape
{
private:
	virtual void doDraw(ShapeColor color) const
	{
		std::cout << "Circle ";
		std::cout << color;
	}
};

int main()
{
	Shape *ps;
	ps = new Circle;
	Shape *pr = new Rectangle;
	ps->draw();
	std::cout << "\n";
	pr->draw();
	std::cout << std::endl;
	system("pause");
	return 0;
}

此方法可以保持缺省参数值的统一。