面向对象----多态的原理_面向对象里面的多态的基本原理是什么-CSDN博客

本文链接：https://blog.csdn.net/yam_sunshine/article/details/88805335

一、虚函数表

首先引入一道笔试题，sizeof(Base)的值是多少？

class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
private:
	int _b;
};
int main()
{
       Base b;
	cout << sizeof(b) << endl;
	system("pause");
	return 0;
}

输出结果：

第一次我也感到迷惑，在32位平台下为什么会是8个字节呢？不知道有没有童鞋和我一样迷惑~~~

首先引入一个概念，虚函数表指针。下面我调试一下上述代码，通过监视窗口看一下对象b中的成员：

通过调试窗口，我们可以看出对象b中，除了有成员_b之外，还有一个_vfptr，我们把对象中的这个指针叫作虚函数表指针（v代表virtual, f代表function)。一个含有虚函数的类中至少有一个都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表。

下面我们再来看一段代码：

class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
	virtual void Func2()
	{
		cout << "Func2()" << endl;
	}
	virtual void Func3()
	{
		cout << "Func3()" << endl;
	}
private:
	int _b = 1;
};
class Derive :public Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
private:
	int _d = 2;
};
int main()
{
	Base b;
	cout << "Base:"<<sizeof(b) << endl;
	Derive d;
	cout << "Derive:"<<sizeof(d) << endl;
	system("pause");
	return 0;
}

输出结果为：

可以看出对象b中虽然有三个虚函数，但是只有一个虚函数表指针，也就是一份虚表，下面我们再来通过监视窗口看一下底层原理：

另外需要注意的是同类型对象只有一张虚表。

通过监视窗口，可以总结出来以下几点：

1、派生类对象d中也有一个虚表指针，d对象由两部分组成，一部分是父类继承下来的成员，虚表指针也被继承下来了；

2、基类对象和派生类对象虚表是不一样的，通过监视窗口可以看到Func()1完成了重写，所以d的虚表中存的是重写的Func()1，所以虚函数的重写也叫作覆盖，覆盖就是指虚表虚函数中的。重写是语法的叫法，覆盖是原理层的叫法。

3、需要注意的是Func()2继承下来之后是虚函数，所以放进了虚表，Func()3也继承下来了，但是不是虚函数，所以不会放进虚表。

4、虚函数本质上是一个存虚函数指针的指针数组，这个数组在最后面放了一个Nullptr指针。

5、总结以下派生类的虚表构成：（1）先将基类中的虚表内容拷贝一份到派生类基表中

（2）如果派生类重写了基类中某个虚函数，派生类会用自己的虚函数去覆盖虚表中基类的虚函数；

（3）派生类自己增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

6、这里还需要注意一个问题，虚函数存在哪？虚表存在哪？

答案是因为虚表存的是虚函数指针，不是虚函数，虚函数和普通函数一样，都是存在代码段的，只是它的指针存在了虚表中。另外对象中存的是虚表指针，不是虚函数。

下面用一段来验证一下虚表存在哪？

class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
	virtual void Func2()
	{
		cout << "Func2()" << endl;
	}
	void Func3()
	{
		cout << "Func3()" << endl;
	}
private:
	int _b = 1;
};
int main()
{
	Base bb;
	cout << (void*)(*((int*)&bb)) << endl;
	
	//栈
	int a = 0;
	//堆
	int *b = new int;
	//静态区
	static int c = 1;
	//代码段
	char* d = "zzzz";
	printf("0x%p\n", &a);
	printf("0x%p\n", b);
	printf("0x%p\n", &c);
	printf("0x%p\n", d);

	system("pause");
	return 0;
}

输出结果：

可以看出对象bb的地址位于*d的下面，所以推测出虚表存在于代码段中。

二、多态的原理

首先来看一段代码：

class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票--全价" << endl;
	}
};
class Student :public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票--半价" << endl;
	}
};
void Func(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Person Mike;
	Func(Mike);
	
	Student Jhon;
	Func(Jhon);
	
	system("pause");
	return 0;
}

输出结果：