c++动态绑定原理

当派生类中 重写了基类的虚函数vfunc1()。

则派生类中该函数vfunc1()，也为虚函数，不论是否用virtual关键字。

 

class Base

class A:public base

 

如果有基类指针(Base *ptr)指向派生类对象(A a)，

(ptr=&a)

并且通过基类指针调用某些函数时(ptr->vfunc1)，编译器该如何处理:

1 编译器先检查被调用的函数f是否为虚函数，如果f不是虚函数，采用静态编译，直接调用基类中函数f，不论派生类是否隐藏了基类中的f函数

2如果函数f是虚函数，编译时是不知道该函数的调用

到底调用哪个f函数(动态联编)

什么时候在知道呢？

在程序运行的时候，指针变量指向了派生类对象，通过该指针能够访问被指向(被引用)的派生类对象中的虚函数表指针，通过该虚表指针就找到派生类的虚函数表，在虚函数表中查找调用该函数的虚函数指针。

如果派生类重写了(覆盖了)基类中的虚函数f，派生类的虚函数表中保存的是派生类中的f函数的指针。因此基类指针调用f函数，最终调用到的是 派生类中的函数f

如果派生类没有重写(覆盖)基类中的虚函数f，派生类的虚函数表中保存的是基类中f函数的指针。因此，通过基类指针调用f函数，最终调用到的是 基类中的函数f

 总结: 用基类指针指向派生类对象，如果调用函数为非虚函数，则调用基类的函数。

如果是虚函数，派生类重写了则调用派生类的，

没重写则调用基类的。

 

困惑，1基类指针指向派生类对象，该基类指针调用非虚函数 ，为啥会编译的是基类中的函数，而不是重写的派生类中的函数呢。

2 用派生类指针指向派生类对象又会怎么样呢。

为啥是要用基类指针指向派生类对象，发生动态编译呢

 

来自b站，马士兵教育，c++。p166