C++虚函数笔记：位置分析、基类与派生类虚函数关系、创建时机、多重继承影响、不纯类影响、虚基类（8/5）

文章目录

• • 一、虚函数表指针位置分析
  • • 1）原理
    • 2）代码验证（先验证虚函数表指针的存在，再验证虚函数表指针的位置）
  • 二、根据虚函数地址手动调用该函数
  • • 1）原理
    • 2）代码验证
  • 三、单一继承中基类、子类的虚函数表关系验证
  • • 1）原理
    • 2）代码验证
  • 四、多重继承下虚函数表分析
  • • 1）原理
    • 2）代码验证
  • 五、vptr、vtbl创建时机的验证
  • • 1）原理
    • 2）辅助工具验证
  • 六、单纯的类不纯时引发的虚函数调用问题
  • • 1）原理
    • 2）代码验证
  • 七、虚基类问题的提出和初探
  • 八、两层结构时对虚基类表内容的分析
  • 九、三层结构时虚基类表内容分析与虚基类设计缘由
  • 十、虚成员函数与静态成员函数调用方式
  • 十一、继承的非虚函数坑
  • 十二、虚函数的动态绑定
  • 十三、多继承虚函数深释、第二基类与虚析构比价
  • 十三、多继承第二基类虚函数支持与虚继承带虚函数
  • 十四、函数调用与继承关系性能（包括继承关系深度增加，虚函数导致的开销增加）

最近公司业务不好被毕业了，总结下虚函数方便面试

一、虚函数表指针位置分析 1）原理

①如果一个类有虚函数，那么这个类会产生一个虚函数表
②有虚函数表的类，对象里面有一个指针(虚函数表指针)用来指向这个虚函数表的起始地址（这个指针一般占用4字节或8字节）
③这个虚函数表的指针可能位于对象内存的开头或对象内存的末尾，具体位置实现取决于编译器的实现，下面代码的实现说明了可能在对象的头

2）代码验证（先验证虚函数表指针的存在，再验证虚函数表指针的位置）

#include 
class A
{
public:
    int64_t i;                      //八字节
    virtual void testfunc(){}       //虚函数
};

int main()
{
    A a;
    int iLen = sizeof(a);
    printf("A a size:%dn",iLen);
    return 0;
}

• 若加上虚函数（指针在64位系统上占用8字节）
  
• 屏蔽虚函数（8字节，整数的字节）
  
  
• 验证虚函数指针的位置

#include 
class A
{
public:
    int64_t i;                      //
    virtual void testfunc(){}     //虚函数
};

int main()
{
    A a;
    char* p1 = reinterpret_cast(&a); //强转
    char* p2 = reinterpret_cast(&(a.i));//

    //若整数地址和对象地址一样，说明虚函数表指针存在对象末尾
    if(p1 == p2)
    {
        printf("虚函数表指针存在对象末尾 n");
    }
    //虚函数表指针存在对象头
    else
    {
        printf("虚函数表指针存在对象头 n");
    }
    return 0;
}

二、根据虚函数地址手动调用该函数 1）原理

①父类对象调用的虚函数都是父类的
②子类的虚函数把父类的虚函数覆盖的话，这个虚函数对应的地址是不一样的；其他不被子类覆盖的虚函数地址值是相同的（下面代码体现）

2）代码验证

#include 

class Base
{
public:
    virtual void f(){std::cout<<"Base::f()"<std::cout<<"Base::g()"<std::cout<<"Base::h()"<
public:
    void g() override
        {std::cout<<"Derive::g()"<
    std::cout<
        printf("vptr[%d] = 0x:%pn",i,vptr[i]); //前三个是虚函数入口地址
    }
    
    Func f = (Func)vptr[0];
    Func g = (Func)vptr[1];
    Func h = (Func)vptr[2];
    Func i = (Func)vptr[3];
    Func j = (Func)vptr[4];

    //打印派生类函数
    f();//
    g();//
    h();//

    return 0;
}

[lighthouse@VM-4-14-centos test_random]$ g++ *.h *.cpp 
[lighthouse@VM-4-14-centos test_random]$ ./a.out 
8
8
vptr[0] = 0x:0x400b50   //虚函数f()的地址
vptr[1] = 0x:0x400bd4   //虚函数表里面派生类函数g()的地址，这里被派生类覆盖了
vptr[2] = 0x:0x400ba8   //虚函数h()的地址
vptr[3] = 0x:(nil)
vptr[4] = 0x:0x400d88
Base::f()
Derive::g()
Base::h()
[lighthouse@VM-4-14-centos test_random]$ 

• 打印父类虚函数地址和调用父类虚函数

int main()
{
    std::cout<
        printf("vptr[%d] = 0x:%pn",i,vptr[i]); //前三个是虚函数入口地址
    }
    
    Func f = (Func)vptr[0];
    Func g = (Func)vptr[1];
    Func h = (Func)vptr[2];

    //打印派生类
    f();//
    g();//
    h();//


    //
    printf("Base:n");

    for(int i = 0;i <=4;++i)
    {
        printf("vptr[%d] = 0x:%pn",i,vptr_b[i]); //前三个是虚函数入口地址
    }
    
    Func f_b = (Func)vptr_b[0];
    Func g_b = (Func)vptr_b[1];
    Func h_b = (Func)vptr_b[2];

    //打印派生类
    f_b();//
    g_b();//
    h_b();//

    return 0;
}

• 打印结果

[lighthouse@VM-4-14-centos test_random]$ g++ *.h *.cpp 
[lighthouse@VM-4-14-centos test_random]$ ./a.out 
8
8
vptr[0] = 0x:0x400c28
vptr[1] = 0x:0x400cac
vptr[2] = 0x:0x400c80
vptr[3] = 0x:(nil)
vptr[4] = 0x:0x400e70
Base::f()
Derive::g()
Base::h()
Base:
vptr[0] = 0x:0x400c28   //没被派生类覆盖的地址是相同的
vptr[1] = 0x:0x400c54   //被派生类虚函数覆盖的函数地址，基类指向自己的虚函数
vptr[2] = 0x:0x400c80
vptr[3] = 0x:0x601d98
vptr[4] = 0x:0x400e68
Base::f()
Base::g()
Base::h()

三、单一继承中基类、子类的虚函数表关系验证 1）原理

①同一类不同对象的虚函数表指针指向同一张虚函数表
②只要在父类中是虚函数，子类不用标virtual，也依旧是虚函数
③父类有张虚函数表，子类有另一张表，只不过两者不被子类覆盖的部分，在两者的虚函数表中两者的内容相同

2）代码验证 四、多重继承下虚函数表分析 1）原理 2）代码验证 五、vptr、vtbl创建时机的验证 1）原理 2）辅助工具验证 六、单纯的类不纯时引发的虚函数调用问题 1）原理 2）代码验证 七、虚基类问题的提出和初探 八、两层结构时对虚基类表内容的分析 九、三层结构时虚基类表内容分析与虚基类设计缘由 十、虚成员函数与静态成员函数调用方式 十一、继承的非虚函数坑 十二、虚函数的动态绑定 十三、多继承虚函数深释、第二基类与虚析构比价 十三、多继承第二基类虚函数支持与虚继承带虚函数 十四、函数调用与继承关系性能（包括继承关系深度增加，虚函数导致的开销增加）