C++中的多态性

面向对象（OOP）三大核心概念

• 封装
• 继承
• 多态

在C++中，多态是面向对象编程的核心概念之一，它使得代码更加灵活和可扩展。多态允许对象表现出多种形式，具体来说，是指允许用父类型的指针或引用来引用子类型的对象，并通过这些引用或指针调用在不同类中实现的同名方法。C++中的多态主要分为两种类型：编译时多态（静态多态）和运行时多态（动态多态）。

运行时多态（动态多态）

虚函数

在基类中使用virtual关键字声明的成员函数。当通过基类指针或引用调用虚函数时，执行的是指针或引用实际指向对象（可能是基类对象，也可能是任何派生类对象）的函数实现，这个决定是在程序运行时做出的。这就是所谓的动态绑定。

在C++中指向基类的指针或引用可以引用派生类对象，而不需要进行显示类型转换。

#include <iostream>

class Base{
public:
	virtual void show(){
		std::cout << "this is Base class" << std::endl;
	}
};

class Derived : public Base{
public:
	void show() override{
		std::cout << "this is Derived class" << std::endl;
	}
};

int main()
{
	Base* bPtr;
	Base bObj;
	Derived dObj;
	
	//bPtr指向Base基类对象
	bPtr = &bObj;
	bPtr->show();

	//bPtr指向Derived派生类对象
	bPtr = &dObj;
	bPtr->show();
}

运行结果

this is Base class
this is Derived class

同样当基类的指针或者引用作为函数的形参时，调用者可以传递派生类对象的地址或派生类对象，而不需要进行显示类型转换。

void method(Base& theObj) {
	theObj.show();
}

int main()
{
	Base baseObj;
	Derived derivedObj;

	method(baseObj);
	method(derivedObj);
}

运行结果

this is Base class
this is Derived class

现在出现了一个问题，当基类的指针或者引用指向的是派生类时，调用其成员方法时，调用的到底是基类的成员方法还是派生类中重写基类的成员方法呢？

答案是：如果基类的方法为非virtual的，即使派生类覆盖了该方法并声明为virtual，通过基类的指针或引用调用该方法时调用的也将是基类的方法（不执行动态绑定）。

额外内容-虚函数工作原理

编译时多态（静态多态）

编译时多态是在编译阶段决定的，主要通过函数重载和运算符重载实现。

• 函数重载

• 运算符重载

函数重载和运算符重载都是在编译时决定调用哪个函数或运算符的，这属于静态绑定。