C++-Record41—多态实现原理的探究

目录

多态实现原理的探究

总体代码

---

多态实现原理的探究

多态成立的三个条件：要有继承；要有虚函数重写；要有父类指针指向子类对象。

先建立一个父类：

class Parent
{
public:
	Parent(int a=0)
	{
		this->a = a;
	}

	virtual void print()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
	{
		cout<<"我是爹"<<endl;
	}
	virtual void print2()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
	{
		cout<<"我是爹"<<endl;
	}
private:
	int a;
};

 再构建一个对应的子类：

class Child : public Parent
{
public:
	Child(int a = 0, int b=0):Parent(a)
	{
		this->b = b;
	}

	virtual void print()
	{
		cout<<"我是儿子"<<endl;
	}
private:
	int b;
};

 编译一把，没错误，接着往下走，进行多态的设计：

void HowToPlay(Parent *base)
{
	base->print(); //有多态发生  //2 动手脚  
	//效果:传来子类对 执行子类的print函数 传来父类对执行父类的print函数 
	//C++编译器根本不需要区分是子类对象 还是父类对象
	//父类对象和子类对象分别有vptr指针 , ==>虚函数表===>函数的入口地址
	//迟绑定 (运行时的时候,c++编译器才去判断)
}

创建主调函数进行：

void main01()
{

	Parent	p1; //3 动手脚 提前布局  
				//用类定义对象的时候 C++编译器会在对象中添加一个vptr指针 
	Child	c1; //子类里面也有一个vptr指针

	HowToPlay(&p1);
	HowToPlay(&c1);

	cout<<"hello..."<<endl;
	system("pause");
	return ;
}

那么以上是多态的代码实现，下面探究多态的实现原理：

再以上的代码部分，编译器分别在注释中的"动手脚的三个地方"进行修改，实现多态。当所想多态的函数前面一旦加入了一个"virtual"关键字后，编译器编译的时候扫描到，就会偷偷的在对应的对象上添加一个"vptr"指针，把这个虚函数做成一个虚函数表（将存储多个虚函数的入口地址，比如类中有两个虚函数，这俩个虚函数的函数指针会放到一个表里面，），所以，编译器根本不需要区分是子类对象还是父类对象，就只需要区分，函数是虚函数或不是虚函数，如果是虚函数，父类对象有个"vptr"指针，子类对象也有一个，再根据这个"vptr"指针去找虚函数表（每个对象都有一个虚函数表，父类有一个，子类也有一个），再根据虚函数表再找函数的入口地址，这样就实现了迟绑定的效果（即只有在运行时，编译器才会去判断）。

当然官方的实现原理描述如下：

• 当类中声明虚函数时，编译器会在类中生成一个虚函数表
• 虚函数表是一个存储类成员函数指针的数据结构
• 虚函数表是由编译器自动生成与维护的
• virtual成员函数会被编译器放入虚函数表中
• 当存在虚函数时，每个对象中都有一个指向虚函数表的指针（C++编译器给父类对象、子类对象提前布局vptr指针；当进行howToPrint(Parent *base)函数是，C++编译器不需要区分子类对象或者父类对象，只需要再base指针中，找vptr指针即可。）
• VPTR一般作为类对象的第一个成员

 整个过程：

首先，根据编译器运行到对应的添加"virtual"关键字的位置，会把这个函数，加到虚函数列表中，注意的是，每个对象都会创建一个虚函数列表，存放这个对象中的虚函数。

 再接着，编译器运行都需要进行多态的代码时，会去判断所涉及到的函数是否为虚函数，不是的话，正常运行；如果是，会去原先定义的虚函数列表中去查找，进行调用。

在虚函数列表中，根据p，去找去那个对象的虚函数列表中去找，如果在列表中查找到了，就会去进行调用：

 

总体代码

dm01_多态原理探究.cpp

#include <iostream>
using namespace std;

//多态成立的三个条件 
//要有继承  虚函数重写  父类指针指向子类对象 

class Parent
{
public:
	Parent(int a=0)
	{
		this->a = a;
	}

	virtual void print()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
	{
		cout<<"我是爹"<<endl;
	}
	virtual void print2()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
	{
		cout<<"我是爹"<<endl;
	}
private:
	int a;
};

class Child : public Parent
{
public:
	Child(int a = 0, int b=0):Parent(a)
	{
		this->b = b;
	}

	virtual void print()
	{
		cout<<"我是儿子"<<endl;
	}
private:
	int b;
};

void HowToPlay(Parent *base)
{
	base->print(); //有多态发生  //2 动手脚  
	//效果:传来子类对 执行子类的print函数 传来父类对执行父类的print函数 
	//C++编译器根本不需要区分是子类对象 还是父类对象
	//父类对象和子类对象分步有vptr指针 , ==>虚函数表===>函数的入口地址
	//迟绑定 (运行时的时候,c++编译器才去判断)
}

void main01()
{

	Parent	p1; //3 动手脚 提前布局  
				//用类定义对象的时候 C++编译器会在对象中添加一个vptr指针 
	Child	c1; //子类里面也有一个vptr指针

	HowToPlay(&p1);
	HowToPlay(&c1);

	cout<<"hello..."<<endl;
	system("pause");
	return ;
}