目录
多态实现原理的探究
多态成立的三个条件:要有继承;要有虚函数重写;要有父类指针指向子类对象。
先建立一个父类:
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 ;
}