条款37：绝不重新定义继承而来的缺省参数

最新推荐文章于 2025-08-12 20:09:34 发布

原创最新推荐文章于 2025-08-12 20:09:34 发布 · 941 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#class #编译器

effective C++学习笔记专栏收录该内容

38 篇文章

订阅专栏

探讨了在C++中虚拟函数与默认参数之间的交互作用，指出默认参数的静态绑定可能导致意外的行为，并介绍了如何通过NVI手法来解决这一问题。

先上代码：

class Base
{
public:
	virtual int getVal(int i = 0)
	{
		cout<<"基类函数"<<endl;
		return i;
	}
};

class Derived:public Base
{
public:
	int getVal(int i = 1)
	{
		cout<<"派生类函数"<<endl;
		return i;
	}
};

int main()
{
	Base* pb = &d;
	cout<<pb->getVal()<<endl;
	return 0;
}

有没有觉得很奇怪，根据动态绑定的原则，这里的确调用的是派生类的getVal函数，可是为什么会输出0呢？如果把这里的指针换成引用，也会得出相同的结果。原因出在：virtual函数是动态绑定的，但是函数的默认参数却是静态绑定的！所以当编译器看到pb是Base*这个类型时，在调用函数时，就会选择基类的默认参数。
这是多么容易出错的一件事啊！调用派生类的函数，但是他的参数的默认值却是基类提供的。但编译器也有自己的苦衷：运行期效率。
那么我们似乎应该将派生类的默认参数改成与基类相同，但是这又带来其他的问题，其中最严重的是：如果基类的默认参数需要修改，那你不得不修改所有派生类的默认参数！
一种比较好的替代方案是前面介绍的NVI手法：

class Base
{
public:
	int getVal(int i = 0)
	{
		doGetVal(i);
		return i;
	}
private:
	virtual int doGetVal(int i)
	{
		cout<<"基类函数"<<endl;
		return i;
	}
};

class Derived:public Base
{
private:
	virtual int doGetVal(int i)
	{
		cout<<"派生类函数"<<endl;
		return i;
	}
};

此时，基类和派生类就使用了共同的默认参数了。
总之，virtual函数是动态绑定，但是函数的默认参数是静态绑定的。所以绝不要重新定义派生类的函数的默认参数值，而且最好使用NVI手法。