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

本文详细解析了C++中虚函数的动态绑定与静态绑定的区别,通过实例展示了如何在基类与派生类中实现虚函数,并解释了参数默认值在动态绑定过程中的作用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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类中的。



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值