c++虚函数的实现原理

C++虚函数实现原理

c++虚函数是通过虚函数表来实现的，当一个类里含有虚函数时，编译器会给这个类分配一个虚函数表，虚函数表里存放的是虚函数的地址。当该类被继承时，其子类也会继承基类的虚函数表。
比如基类含有一个虚函数 f(), 子类含有一个虚函数g()；基类的虚函数表里存放的就是函数f的地址，而子类的虚函数表里第一位存放的是基类函数f的地址，第二位存放的是函数g的地址。
当子类虚函数覆盖基类虚函数时（参考c++重载，覆盖，隐藏）,子类虚函数表中该虚函数的位置就存放到原先基类虚函数的位置，这样基类指针指向子类对象时，调用基类虚函数实际就会调用子类的虚函数，这就实现了多态。
在c++中，虚函数表存放在内存中的只读数据段（.rodata）中，也就是常量区；虚函数存放在代码段（.text），也就是代码区。

拓展

（1）析构函数为什么要设置为虚函数？

当一个类被继承，基类指针指向其子类对象时，在释放该基类指针的时候，只调用了基类的析构函数，会导致子类内存未被释放，导致内存泄漏；

（2）如上所说，那c++中默认析构函数为什么不是虚函数？

因为虚函数是通过虚函数表来实现的，而虚函数表在内存中占用了空间，当一个类不会被继承的时候，就无须考虑上述（1）中的情况，减少内存开销。