多态的实现原理

问：简要阐述一下多态的实现原理。
参考：
多态的实现分为静态多态和动态多态的实现。
1、静态多态主要是同名函数的重载，在编译的时候就已经确定。编译器会根据函数实参的类型（可能会进行隐式类型转换），来确定具体调用哪个函数，如果有对应的函数就调用该函数，否则会出现编译错误。
2、动态多态主要是父子类同名函数的覆盖，运行时的多态，是用虚函数机制实现的，在运行期间动态绑定。编译器在编译的时候，会为每个包含虚函数的类创建一个虚表和虚表指针。该表是一个一维数组，在虚表中存放了每个虚函数的地址。程序运行时，会根据对象的实际类型来初始化虚表指针，让虚表指针指向所属类的虚表。在调用虚函数的时候，能够根据函数地址找到正确的函数。

举个例子：一个父类的指针指向一个子类对象，使用父类的指针去调用子类中重写了的父类中的虚函数的时候，会调用子类重写过后的函数，在父类中声明为加了virtual关键字的函数，在子类中重写的时候不需要加virtual也是虚函数。

这里简要介绍一下虚函数的实现原理：
虚函数的实现：在有虚函数的类中，类的最开始部分是一个虚函数表的指针，这个指针指向一个虚函数表，表中放了虚函数的地址，实际的虚函数在代码段(.text)中。当子类继承了父类的时候也会继承其虚函数表，当子类重写父类中虚函数的时候，会将其继承到的虚函数表中的地址替换为重新写的函数地址。使用了虚函数，会增加访问内存开销，降低效率。【虚函数表是每个对象实例共享的，虚函数指针是每个对象实例都有一个。】