浅析多态实现原理

实现过程

  • 当我们在声明一个类时,编译器会自动帮我们创建一个虚函数表。
    比如下面的这段代码:
    浅析多态实现原理_第1张图片
    编译器为我们生成的虚函数表
    浅析多态实现原理_第2张图片
    虚函数表:

    虚函数表是由编译器自动产生的一种存储类成员函数的一种数据结构。其中虚函数会被自动放入表中。


  • 那编译器是怎么找到虚函数表呢?
    原来当我们当我们用类定义对象的时候,编译器内部会为成员结构体变量中增加一个指向虚函数表的指针 (vptr),当我们通过函数形参将子类传进来的时候,编译器首先会判断所传形参的数据类型,如果调用的函数具有virtual关键字,编译器会通过vptr指针,找到相应的虚函数表,继而找到相应的虚函数,达到所谓的迟绑定状态,即动态联编。如果不具有virtual关键字,编译器可直接确定被调用的成员函数,即静态联编。
    浅析多态实现原理_第3张图片

你可能感兴趣的:(C++语言学习)