effective C++中条款37：绝不重新定义继承而来的缺省参数值

关注

原创最新推荐文章于 2025-08-06 04:15:00 发布 838 阅读 AI 写同款· GEO 优化 ›

Effective C++ 条款37：绝不重新定义继承而来的缺省参数值 深入解析 Effective C++ 条款37，揭示 virtual 函数动态绑定与缺省参数静态绑定之间的矛盾，理解为什么不应该重新定义继承而来的缺省参数值，以及 NVI 设计模式的应用。阅读详情

virtual 函数会动态绑定，而virtual函数的缺省参数值是静态绑定的。用一个base类型的指针p去指向一个derived类对象，通过p调用虚函数时，会动态绑定到实际所指对象中的函数；用一个derived类型的指针p2指向一个derived对象，由p2调用函数时，直接就是调用的derived中的函数，其参数值也是derived类中函数对应的参数值。

#include <iostream>
using namespace std;
class A
{
public:
	enum Color {red,green,blue};
	A()
	{
		cout<<"Construct A"<<endl;
	}
	virtual void dodraw()
	{
		draw();
	}
private:	
	virtual void draw(Color color=blue) const
	{
		cout<<"base draw:"<<color<<endl;
	}
};
class B:public A
{
public:
	B()
	{
		cout<<"Construct B"<<endl;
	}
		virtual void dodraw()
	{
		draw();
	}

private:
	virtual void draw(Color color=red) const
	{
		cout<<"derived draw:"<<color<<endl;
	}
};
int main()
{
	B b;
	A *p=&b;
	B *p2=&b;
	p->dodraw();
	p2->dodraw();
	return 0;
}

上面的程序中，在B类中都重写了A中的两个virtual函数，从而，通过p和p2调用dodraw函数，其实都是调用的B中dodraw，而B中的dodraw函数调用B中draw函数，从而draw的实参就是B中的缺省实参：red

#include <iostream>
using namespace std;
class A
{
public:
	enum Color {red,green,blue};
	A()
	{
		cout<<"Construct A"<<endl;
	}
	virtual void dodraw()
	{
		draw();
	}
private:	
	virtual void draw(Color color=blue) const
	{
		cout<<"base draw:"<<color<<endl;
	}
};
class B:public A
{
public:
	B()
	{
		cout<<"Construct B"<<endl;
	}

private:
	virtual void draw(Color color=red) const
	{
		cout<<"derived draw:"<<color<<endl;
	}
};
int main()
{
	B b;
	A *p=&b;
	B *p2=&b;
	p->dodraw();
	p2->dodraw();
	return 0;
}

上面的程序，B和A中dodraw函数都是来源于A中，由p和p2调用dodraw时，都是调用的A类中的dodraw函数，dodraw再调用draw函数时，会动态绑定到实际所指的对象B中的draw函数，这在运行期确定，但draw函数的缺省实参是静态绑定的，就是A类中的blue值，这在编译器就已经确定。所以，如果重新定义继承而来的缺省参数值，会出现一种奇怪的现象：virtual函数用的derived类中的，而参数是用的base类中的。