具有默认实参的虚函数及虚函数回避机制

struct B{
	virtual void f1(string str="base"){
		cout<<str<<endl;
	}
};
struct D:B{
	void f1(string str) override{//此时重写的函数可以没有默认实参
		cout<<str<<endl;
	}
};


当基类和派生类中的虚函数的默认实参不一致时,动态绑定不会作用在实参上,换句话说,基类指针或基类引用调用虚函数时,默认实参是由静态类型决定的,这里静态类型是基类,所以默认实参为基类中的默认实参。因此,基类和派生类中定义的默认实参最好一致。

例如:

//虚函数有默认实参时,默认的实参由静态类型决定
#include <iostream>
#include<string>
using namespace std;
struct B{
	virtual void f1(string str="base"){
		cout<<str<<endl;
	}
};
struct D:B{
	void f1(string str="derived") override{
		cout<<str<<endl;
	}
};

int main(int argc, char*argv[])
{
	B b0;
	D d0;
	B* b1=&b0;
	B* b2=&d0;
	b1->f1();
	b2->f1();
	system("pause");
}


虚函数回避机制:

在派生类重写的函数中,如果要调用基类中相应的虚函数,此时如果没有作用域限定,则将陷入无限递归的状态,因此需要加上基类的作用域限定符,才能防止这种情况。

#include <iostream>
#include<string>
using namespace std;
struct B{
	virtual void f1(string str="base"){
		cout<<str<<endl;
	}
};
struct D:B{
	void f1(string str="derived") override{
		cout<<str<<endl;
		//f1();//自身调用导致无限递归
		B::f1();//作用域限定调用基类中虚函数
	}
};

int main(int argc, char*argv[])
{
	D d0;
	B* b2=&d0;
	b2->f1();
	system("pause");
}
运行结果:



评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值