C++多态的原理

我们知道实现多态的三个条件：

（1）要有继承

（2）要有虚函数重写

（3）用父类指针（父类引用）指向子类对象（Parent *p = new Child）

看一个简单的多态的例子

#include <iostream>
using namespace std;

class Parent
{
public:
	virtual void printP()
	{
		cout << "父类" << endl;
	}

private:

};

class Child : public Parent
{
public:
	virtual void printP()
	{
		cout << "子类" << endl;
	}

private:

};

void PrintString(Parent *base)
{
	base->printP();
}

int main()
{
	Parent p;
	Child  c;
	PrintString(&p);
	PrintString(&c);

	system("pause");
	return 0;
}

输出结果：

那么多态的原理是什么呢？

简单来说，在我们定义对象的时候（Parent p;），C++编译器就会在对象中添加一个vptr指针（父类和子类中均有），因为类中声明了虚函数，编译器会在类中生成一个虚函数表，虚函数表是一个储存着类成员函数指针的数据结构，由编译器自动生成和维护，virtual类型的成员函数会被编译器放到虚函数表中，那么当程序运行时，编译器发现printP()函数是一个虚函数，那么编译器会根据对象p的vptr指针所指向的虚函数表中查找printP()函数并调用。

也就是说，P对象先找vptr，vptr再去表里找函数入口

那么构造函数中能调用调用虚函数，实现多态吗？

这就涉及到了vptr指针的初始化问题，我们修改一下上面的代码：

#include <iostream>
using namespace std;

class Parent
{
public:
	Parent()
	{
		printP();
	}
	virtual void printP()
	{
		cout << "父类" << endl;
	}

private:

};

class Child : public Parent
{
public:
	Child()
	{
		printP();
	}
	virtual void printP()
	{
		cout << "子类" << endl;
	}

private:

};

void PrintString(Parent *base)
{
	base->printP();
}

int main()
{
	Child  c;

	system("pause");
	return 0;
}

输出结果：

如果发生了多态应该只调用子类的printP()函数，可见并没有发生多态，是为什么呢？

子类对象在创建时，由编译器对vptr指针进行初始化，vptr指针的初始化是分步骤完成的，我们知道定义子类对象时首先执行父类的构造函数，此时子类的vptr指针也被初始化指向了父类的VTABLE，所以在父类构造函数中调用printP()函数时，c.vptr只会去父类的VTABLE表中去调用printP()函数，只有当对象的构造完全结束后vptr的指向才能最终确定，父类对象的vptr指针指向父类虚函数表，子类对象的vptr指向子类虚函数表

所以，开始状态：

最后初始化完成状态：

而我们在没有初始化完成就调用了printP()函数，所以vptr指针指向了父类的虚函数表。

 

说明

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

（2）出于效率考虑，没必要将所有成员函数都声明为虚函数

总结一道面试题：哪些函数不能定义为虚函数？
经检验下面的几个函数都不能定义为虚函数：
1）友元函数，它不是类的成员函数
2）全局函数
3）静态成员函数，它没有this指针
3）构造函数，拷贝构造函数，以及赋值运算符重载（可以但是一般不建议作为虚函数）