广告

扫码关注官方微信

扫码下载APP
返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >C++虚函数表深入研究
  • 538

0
分享到

C++虚函数表深入研究

2024-04-02 19:04:59 538人浏览 八月长安
摘要

目录探索虚函数表结构继承基类重写虚函数多基类继承 虚函数表寻找被覆盖的虚函数总结面向对象的编程语言有3大特性：封装、继承和多态。c++是面向对象的语言（与C语言主要区别），所以C++

面向对象的编程语言有3大特性：封装、继承和多态。c++是面向对象的语言（与C语言主要区别），所以C++也拥有多态的特性。

C++中多态分为两种：静态多态和动态多态。

静态多态为编译器在编译期间就可以根据函数名和参数等信息确定调用某个函数。静态多态主要体现为函数重载和运算符重载。

函数重载即类中定义多个同名成员函数，函数参数类型、参数个数和返回值不完全相同，编译器编译后这些同名函数的函数名会不一样，也就是说编译期间就确定了调用某个函数。C语言函数编译后函数名就是原函数名，C++函数名为原函数名拼接函数参数等信息。

动态多态即运行时多态，在程序执行期间(非编译期)判断所引用对象的实际类型，根据其实际类型调用相应的方法。动态多态由虚函数来实现。

比如


class Base{};
class A: public Base{};
class A: public Base{};
Base *base = new A; // base静态类型为Base*，动态类型为A*
base = new B; // base动态类型变为B*了

探索虚函数表结构

之前的文件提到过，一个类占用的空间，如果有虚函数就会占用8字节的空间来存放虚函数表的地址。
虚函数表内存空间 中依次存放着各个虚函数的指针，通过这个指针可以调用相关的虚函数。

下面通过代码来验证一下上面这个内存结构，定义一个Base类，中间有3个方法，f1/f2/f3。


class Base {
public:
    virtual void f1(){
        std::cout << __PRETTY_FUNCTioN__ << std::endl;
    }
    virtual void f2(){
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f3(){
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

实例化这个类后的内存模型如下图所示：

在这里插入图片描述

下面通过代码来验证这个内存模型。


int main() {
    typedef void(*Fun)();  // Fun为f1 f2 f3的函数类型
    std::cout << sizeof(Base)<< std::endl;  // 输出 8
    Base b;
    printf("b ptr = %p\n", &b);  // b ptr = 0x7ffeee41ac30
    long v_table_addr_value = *(long*)&b; // 取&b指针 前8字节的值，即虚函数表地址值
    printf("vtable ptr = 0x%lx\n", v_table_addr_value); // vtable ptr = 0x557dae962d48
    void *v_table_addr = (void*)v_table_addr_value;  // 把这8字节值转为地址，即为虚函数表指针
    printf("vtable ptr = %p\n", v_table_addr); // vtable ptr = 0x557dae761cd4
    long f1_addr_value = *(long*)v_table_addr;  // 虚函数表前8字节为f1()函数指针值
    printf("f1() ptr = 0x%lx\n", f1_addr_value);  // f1() ptr = 0x557dae761cd4
    Fun f1 = (Fun)f1_addr_value;  // 虚函数表内存第1个8字节值转为函数指针
    f1();  // 输出：virtual void Base::f1()
    long f2_addr_value = *(long*)((char*)v_table_addr + 8);  // 虚函数表8-16字节为f2()函数指针值
    printf("f2() ptr = 0x%lx\n", f2_addr_value);  // f2() ptr = 0x557dae761d0c
    Fun f2 = (Fun)f2_addr_value;  // 虚函数表内存第2个8字节值转为函数指针
    f2();  // 输出：virtual void Base::f2()
    long f3_addr_value = *(long*)((char*)v_table_addr + 16);  // 虚函数表前16-24字节为f3()函数指针值
    printf("f3() ptr = 0x%lx\n", f3_addr_value);  // f3() ptr = 0x557dae761d44
    Fun f3 = (Fun)f3_addr_value;  // 虚函数表内存第3个8字节值转为函数指针
    f3();  // virtual void Base::f3()
    return 0;
}

通过上述代码的输出结果可以验证上图的内存模型。

继承基类重写虚函数

现在定义一个继承类Derived，重写了f1()函数，也就是覆盖掉了Base类中的函数f1()。同时又新增了虚拟函数f4()。


class Base {
public:
    virtual void f1(){
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2(){
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f3(){
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Derived : public Base
{
public:
    virtual void f1() override {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f4() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

通过上一节类似的代码可以验证new Derived()其内存模型为

在这里插入图片描述

由此可以得出以下结论：

  • 虚函数按照其声明顺序放于表中。
  • 父类的虚函数在子类的虚函数前面。
  • 覆盖的函数放到了虚函数表中原来父类虚函数的位置。
  • 没有被覆盖的虚函数函数位置不变。

多基类继承 虚函数表

继承N个基类就有N个虚函数表，接下来使用代码去验证。

有3个基类Base1，Base2, Base3，都有两个虚函数f1()、f2()。最后Derived 类继承这3个基类。并重写f1()函数，新增f4()函数。


class Base1 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Base2 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Base3 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Derived : public Base1, public Base2, public Base3 {
public:
    void f1() override {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f4() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

此时，sizeof(Derived) 等于24，可以基本确定类实例中有3个虚函数表指针。
下面通过代码来检查一下内存数据。


class Base1 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Base2 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Base3 {
public:
    virtual void f1() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f2() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};
class Derived : public Base1, public Base2, public Base3 {
public:
    void f1() override {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    virtual void f4() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

根据上述代码输出结果，可以画出下面内存模型。

在这里插入图片描述

由此可以得出以下结论：

  • 有几个基类就有几个虚函数表，且实例中虚函数表地址值存储顺序就是基类继承顺序。
  • 继承类新增的虚函数f3()排在第一个虚函数表中，且在基类虚函数后面。
  • 继承类中重写基类的虚函数f1()，在每个虚函数表中都覆盖相应的虚函数、

寻找被覆盖的虚函数

Derived 类重写基类Base的f1()函数后，那如果想调用基类的被覆盖的虚函数的话，就需要明确类名字调用。


    Derived *d = new Derived();
    d->f1();  // virtual void Derived::f1()
    d->Base::f1();  // virtual void Base::f1()

内存空间中继承类重写的函数存在于虚函数表中原函数的位置，那么原虚函数的位置在哪呢？

总结

本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注编程网的更多内容！

点击免费下载>>软考高级考试备考技巧/历年真题/备考精华资料

--结束END--

本文标题: C++虚函数表深入研究

本文链接: https://www.lsjlt.com/news/154721.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑，方便收藏和打印～

下载Word文档
去做题
猜你喜欢
  • C++虚函数表深入研究
    目录探索虚函数表结构继承基类重写虚函数多基类继承 虚函数表寻找被覆盖的虚函数总结面向对象的编程语言有3大特性：封装、继承和多态。C++是面向对象的语言（与C语言主要区别），所以C++...
    99+
    2022-11-12
  • 深入研究rowcount函数的功能
    深入理解rowcount函数的用法，需要具体代码示例在数据库操作中，经常会使用到rowcount函数。该函数用于获取上一个执行的SQL语句所影响的行数。深入理解rowcount函数的用法，有助于更好地掌握数据库操作。在Python中，我们可...
    99+
    2023-12-29
    深入理解 rowcount函数
  • C/C++函数指针深入探究
    目录函数指针语法函数地址声明使用函数指针调用函数深入理解函数指针使用typedef 简化函数指针 为什么要使用函数指针？ 调用的灵活性和通用性。 试想一下，我们在设计初期并不知道我们...
    99+
    2022-11-13
  • C语言深入探究函数的溯源
    目录一、函数的由来二、模块化程序设计三、C 语言中的模块化四、面向过程的程序设计五、声名和定义六、小结一、函数的由来 二、模块化程序设计 三、C 语言中的模块化 四、面向过程的...
    99+
    2022-11-13
  • JavaScript数组去重问题的深入研究
    目录前言👀开始研究🐱‍🏍原始🧶利用indexOf优化原始方法✍再次优化，filter方法...
    99+
    2022-11-12
  • 深入研究 PHP Session 跨域的数据传输机制
    Session是一种在Web开发中用于保存用户状态的机制，它提供了一种持久化保存用户数据的方式，使得用户可以在不同页面间保持登录状态。然而，当涉及跨域的数据传输时，Session机制可能面临一些挑战。在PHP中，Session是通过HTTP...
    99+
    2023-10-21
    数据传输 PHP Session 跨域
  • 深入了解C++的多态与虚函数
    目录1.多态的机制与虚函数的机制1.1 多态的机制1.2 虚函数的机制1.3虚函数表的结构图1.4 动态多态实现的三个前提件（很重要）2.多态实例应用3.多态的巨大问题与虚析构3.1...
    99+
    2022-11-13
  • C++虚函数表与类的内存分布深入分析理解
    目录不可定义为虚函数的函数将析构函数定义为虚函数的作用虚函数表原理继承关系中虚函数表结构多重继承的虚函数表多态调用原理对齐和补齐规则为什么要有对齐和补齐资源链接不可定义为虚函数的函数...
    99+
    2022-11-13
    C++ 虚函数表 C++ 类的内存分布
  • 深入解析C++中的虚函数与多态
    1.C++中的虚函数C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类...
    99+
    2022-11-15
    虚函数 多态
  • C++ 虚函数及虚函数表详解
    多态”的关键在于通过基类指针或引用调用一个虚函数时，编译时不确定到底调用的是基类还是派生类的函数，运行时才确定。 #include <iostream> using ...
    99+
    2022-11-12
  • c++虚函数与虚函数表原理
    目录1.什么是虚函数2.虚函数会影响类的内存3.了解虚函数表--->通过虚函数表的指针去访问数据4.虚函数声明1.什么是虚函数 用virtual 修饰的成员函数叫虚函数 小知识...
    99+
    2022-11-12
  • 深入探究C++中的容器适配器与仿函数技术
    目录一、容器适配器二、仿函数一、容器适配器 容器适配器其实是一种设计模式。转换出我们想要的东西。 比方说我们实现栈的时候既可以用数组，也可以用链表，此时我们就可以用到容器适配器了。 ...
    99+
    2023-05-17
    C++容器适配器 C++仿函数
  • C++ 多态虚函数的底层原理深入理解
    目录1 多态的基本概念1.1 什么是多态1.2 怎么实现多态2 虚函数的底层原理1 多态的基本概念 1.1 什么是多态 多态是在不同继承关系的类对象，去调用同一函...
    99+
    2022-11-13
    C++ 多态虚函数底层原理 C++ 多态虚函数
  • C语言深入探究斐波那契数列
    目录一、递归思想二、空间换时间三、动态规划四、通项公式五、矩阵快速幂六、总结本文章参考leetcode斐波那契数官方题解 斐波那契的边界条件是 F(0)=0 和 F(1)=1。当 n...
    99+
    2022-11-13
  • C++数据结构深入探究栈与队列
    目录1. 栈1.1 栈的概念1.2 栈的实现2. 队列2.1 队列的概念2.2 队列的实现3. 栈和队列面试题3.1 括号匹配问题3.2用队列实现栈3.3 用栈实现队列3.4 设计循...
    99+
    2022-11-13
  • C++深入探究哈希表如何封装出unordered_set和unordered_map
    目录封装前的哈希代码泛型获取key自定义哈希规则哈希表模板参数解释迭代器结构operator++()构造函数重载运算符小问题代码汇总Hash.hMyUnordered_map.hMy...
    99+
    2022-11-13
  • 深入理解C++函数栈帧
    目录一、什么是函数栈帧二、具体原理2.1 main函数的调用2.2 sum函数的调用参考：一、什么是函数栈帧 每一次函数调用都是一个过程，为函数开辟栈空间，用于本次函数调用中临时变量...
    99+
    2022-11-12
  • C语言深入了解函数
    目录1. 函数的概念2. 函数的分类从定义角度分从参数角度分类从返回值角度分3. 函数的定义4. 函数的声明5. 函数的调用6. 递归函数1. 函数的概念 函数是c语言的功能单位，实...
    99+
    2022-11-13
  • C++深入讲解函数重载
    目录函数重载概念重载依据值型别判断函数重载的规则名字粉碎-名字修饰函数重载 概念 在C++中可以为两个或者两个以上函数提供相同的函数名称，只要参数类型不同，或者参数数目不同，参数顺序...
    99+
    2022-11-13
  • 深入理解C++内联函数
    目录内联函数的概念内联函数和宏内联函数的特性总结内联函数的概念 以inline修饰的函数叫做内联函数，编译时C++编译器会在调用内联函数的地方展开，没有函数压栈的开销，内联函数的使用...
    99+
    2022-11-12
软考高级职称资格查询
软考职称历年真题下载
软考职称资料下载
热门wiki
近期文章
推荐阅读
热门问答
热门标签
编程网，编程工程师的家园，是目前国内优秀的开源技术社区之一，形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容，为IT开发者提供了一个发现、使用、并交流开源技术的平台。

  • 官方手机版

  • 微信公众号

  • 商务合作