多态基本概念及原理

多态：polymorphism

指程序能通过引用或指针的动态类型获取类型特定行为的能力；

多态的含义是“多种形式”，相当于一个公共接口；传入不同的对象会产生不同的行为；

多态满足条件：

1、有继承关系；

2、子类重写父类的子函数；

多态使用：

父类的指针或引用指向子类对象；

重写：返回值、函数名、参数列表完全一致

多态原理：

virtual 的虚函数会在父类存储虚函数指针，指向虚函数表（表内存着函数），当子类重写时，vfptr的值会变化。

#include<iostream>
#include<string>
using namespace std;
class Animal
{
public:
	 virtual void Speak()
	{
		cout << "animal is speak::" << endl;
	}
};

class cat:public Animal
{
public:
	virtual void Speak()
	{
		cout << "cat is speak:" << endl;
	}
};

class dog :public Animal
{
public:
	virtual void Speak()
	{
		cout << "dog is speak:" << endl;
	}
};
//执行说话的函数，相当于一个公共接口；传入不同的对象会调用不同的函数；
//在animal（父类）中不加virtual相当于地址早绑定，编译阶段确定函数地址；
//在animal（父类）中加virtual后地址晚绑定，从而实现多态；
//多态调用，父类的指针或者引用指向子类对象；
void DoSpeak(Animal& animal)
//继承中可以用cat（子类）初始化animal（父类）的引用，且不需要类型转换
//但是继承中，但无法用animal类型（父类）初始化cat&类型（子类）的引用
{
	animal.Speak();

}

int main() 
{
	Animal animal;
	DoSpeak(animal);

	cat cat;
	DoSpeak(cat);

	system("pause"); 
	return 0;
}

多态原理：

父类和子类的vftable地址是否相同，或者vfptr是否相同？

由下图可知，vfptr的值应该是不同的，在多态发生时，vfptr的值会变化（即多态发生时，animal的vfptr会变成....28）；

多态基本概念及原理

猜你喜欢