C++多态原理

C++中多态的实现原理

当类中声明虚函数时，编译器会在类中生成一个虚函数表

虚函数表是一个存储类成员函数指针的数据结构

虚函数表是由编译器自动生成与维护的

virtual成员函数会被编译器放入虚函数表中  

存在虚函数时，每个对象中都有一个指向虚函数表的指针(vptr指针)  

通过虚函数表指针VPTR调用重写函数是在程序运行时进行的，因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上，虚函数的效率要低很多。

#define  _CRT_SECURE_NO_WARNINGS 
#include <iostream>

using namespace std;

class Parent
{
public:
	Parent(){
		print();
	}
	virtual void func(int a, int b)
	{
		cout << "Parent: func(inta ,int b) ..." << endl;
	}

	void func(int a, int b, int c)
	{
		cout<< "Parent: func(int a, int b , int c" << endl;
	}
	virtual void print(){
		cout<<"我是父亲"<<endl; 
	} 
private:
	int a;
};


class Child :public Parent
{
public:
	Child(){
		print();
	}
	virtual void func(int a, int b)
	{
		cout << "Child :func( int a , int b )..." << endl;
	}

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

int main(void)
{
	Parent *p = new Child; //父类指针指向了 子类对象
	//vptr指针是分布初始化的，先调用父类的虚函数，再进入子类的。先进入父类的构造函数找虚函数表，再进入子类的构造函数找虚函数表。 

	p->func(10, 20); //此时发生了多态

	//编译器会 通过p指针， 找到p指针所指向内存块的vptr指针，根据vptr指针在去找匹配的函数

	p->func(10, 20, 30); //这是 静态联编
	p->func(10, 20);     //动态联编
   

	return 0;
}

可以通过打印类的实例化的对象的字节数判断是否有VPTR指针

多态的实现效果

多态：同样的调用语句有多种不同的表现形态；

多态实现的三个条件

有继承、有virtual重写、有父类指针（引用）指向子类对象。

多态的C++实现

   virtual关键字，告诉编译器这个函数要支持多态；不是根据指针类型判断如何调用；而是要根据指针所指向的实际对象类型来判断如何调用
多态的理论基础

   动态联编PK静态联编。根据实际的对象类型来判断重写函数的调用。