c++多态(二)——虚函数以及虚函数的重写

时间:2025-04-15 08:15:10

虚函数:即被virtual修饰的类成员函数称为虚函数。

class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "全价票” << endl;
	}
};

虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类 型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。

class Person
{
public:
	virtual void BuyTicket()
	{}
};

class Child :public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买半价票" << endl;
	}
};

class Audlt :public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买全价票" << endl;
	}
};

void fun(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Child c;
	Audlt a;
	fun(c);
	fun(a);
	return 0;
}

注意:在重写基类虚函数的时候,派生类的虚函数不加关键字virtual也可以构成重写,但是这种写法不规范,不建议这样使用

另外,在虚函数重写的俩个例外:

1. 协变(基类与派生类虚函数的返回值类型不同)
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引 用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。

class A{};
class B :public A {};

class Person
{
public:
	virtual A* fun()
	{
		return new A;
	}
};

class Child :public Person
{
public:
	virtual B* fun()
	{
		return new B;
	}
};

2. 析构函数的重写(基类与派生类析构函数的名字不一样)
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,都与基类的 析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,看起来违背了重写的规 则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处 理成destructor。


class Person
{
public:
	virtual ~Person()
	{
		cout << "~Person()" << endl;
	}
};

class Child : public Person
{
public:
	virtual ~Child ()
	{
		cout << "~Child()" << endl;
	}
};

// 只有派生类Child的析构函数重写了Person的析构函数
//下面的delete对象调用析构函数,才能构成多态
//才能保证p1和p2指向的对象正确的调用析构函数。

int main()
{
	Person* p1 = new Person;
	Person* p2 = new Child;

	delete p1;
	cout << 123 << endl;
	delete p2;

	return 0;
}