C++多态

C++引入类之后，我们还剩下一个多态没讲，多态的实现主要依靠虚函数。

多态

多态说白了就是一件事不同的人做有不同的效果：

class Animal
{
public:
	virtual void Cry() 
	{
		std::cout << "Animal Cry" << std::endl;
	}
};

class Dog : public Animal
{
public:
	void Cry() override
	{
		std::cout << "Dog Cry" << std::endl;
	}
};

class Cat : public Animal
{
public:
	void Cry() override
	{
		std::cout << "Cat Cry" << std::endl;
	}
};

int main()
{
	Dog d;
	Cat c;

	d.Cry();
	c.Cry();
}

虚函数

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

虚函数重写

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

多态的实现主要就是靠虚函数的重写来完成的。多态的形成条件主要有两

1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

虚函数重写的两个例外

协变

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

class A{};
class B : public A {};
class Person {
public:
 virtual A* f() {return new A;}
};
class Student : public Person {
public:
 virtual B* f() {return new B;}
};

析构函数的重写

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

class Animal
{
public:
	virtual void Cry() 
	{
		std::cout << "Animal Cry" << std::endl;
	}

	virtual ~Animal()
	{
		std::cout << "~Animal()" << std::endl;
	}
};

class Dog : public Animal
{
public:
	void Cry() override
	{
		std::cout << "Dog Cry" << std::endl;
	}

	~Dog()
	{
		std::cout << "~Dog()" << std::endl;
	}

};

class Cat : public Animal
{
public:
	void Cry() override
	{
		std::cout << "Cat Cry" << std::endl;
	}

	~Cat()
	{
		std::cout << "~Cat()" << std::endl;
	}
};

int main()
{
	Animal* dog = new Dog;
	Animal* cat = new Cat;

	delete dog;
	delete cat;
}

虚函数表

打断点，查看具体信息可以看到除了本身的信息之外，还多了一个_vptr:
这个就是虚函数表，里面会存放所有的已经重写了的虚函数，当程序运行
起来以后到对象的中取找的。

更详细的可以查看我以前的博客：

https://blog.youkuaiyun.com/qq_67693066/article/details/133970558