C++多态

The Temple

已于 2022-10-08 17:07:54 修改

阅读量1.1w

点赞数 5

文章标签： c++

于 2022-04-20 12:20:50 首次发布

本文链接：https://blog.csdn.net/weixin_50569901/article/details/124003064

版权

本文介绍了C++中的动态多态，包括动态多态的两个必要条件：通过基类的指针或引用调用虚函数，并且虚函数在派生类中重写。详细解析了虚函数的重写规则、协变、隐藏的区别，以及多态的实现原理，强调了抽象类和纯虚函数在多态中的作用。

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

C++中的多态分为静态多态和动态多态两种，其中：

静态多态在编译阶段实现，其原理是由函数重载实现，通过不同的实参调用其相应的同名函数。

动态多态通过虚函数实现，以下着重介绍

动态多态的两个必要条件：

必须通过基类的指针或者引用调用
被调用的必须是虚函数，且在派生类中实现了该虚函数的重写（注意：只有虚函数才有重写这个概念）

此两个条件缺一不可

以下是一个动态多态的典型案例

class Person {
public:
	virtual void buyBucket(){
		std::cout << "全价" << std::endl;
	}
};
class student:public Person {
public:
	virtual void buyBucket() {
		std::cout << "半价" << std::endl;
	}
};
int main() {
	Person p;
	student s;
	Person &tmp1 = p;
	Person &tmp2 = s;//tmp2为基类Person对派生类student的引用
    Person *tmp3 = &s;//tmp3为基类Person指向派生类student的指针
	tmp1.buyBucket();
	tmp2.buyBucket();
    tmp3.buyBucket();
	return 0;
}

何为通过基类的指针或者引用调用？

使用基类型的指针或者引用

虚函数的重写：

首先明确什么是虚函数，virtual修饰的成员函数称为虚函数（友元函数不属于成员函数）

重写的定义：派生类中的虚函数与基类中虚函数满足函数名、参数、返回值均相同，叫做重写（覆盖）。

案例中派生类中的buyBucket()即完成了对基类同名虚函数的重写

重写的特殊情况--协变：当基类和派生类中该函数的返回值为父子关系的指针或者引用，返回值可以不同，这种情况称作协变

//协变 同理指针类型的返回值也能构成协变
class Person {
public:
	int a;
	virtual Person& buyBucket(){
		std::cout << "全价" << std::endl;
		return *this;
	}
};
class student:public Person {
public:
	int b;
	virtual student& buyBucket() {
		std::cout << "半价" << std::endl;
		return *this;
	}
};

与隐藏的区别：

隐藏：在子类的作用域子类的函数，根据就近原则会屏蔽父类中的同名函数，即子类中的同名函数即构成对父类中函数的隐藏。

只需满足函数名相同即可构成隐藏，可以认为重写是一种非常特殊的隐藏。

如果父类和子类都有相同的方法,参数个数不同, 将子类对象赋给父类对象后, 采用父类对象调用该同名方法时，实际调用的是父类的方法