用于多重虚拟继承和类型转换的虚拟表和虚拟指针

2024-01-12

我对 vptr 和内存中对象的表示有点困惑,希望你能帮助我更好地理解这个问题。

  1. 考虑B继承自A并且都定义了虚函数f()。据我所知,B类对象在内存中的表示如下:[ vptr | A | B ]vtbl that vptr指向包含B::f()。我还了解到从B to A除了忽略之外什么也不做B位于对象末尾的部分。这是真的吗?这种行为难道不是错误的吗?我们想要该类型的对象A执行A::f()方法而不是B::f().

  2. 有没有几个vtables系统中有多少类?

  3. 如何将一个vtable从两个或多个类继承的类是什么样子的? C的对象在内存中如何表示?

  4. 与问题 3 相同,但具有虚拟继承。


以下对于 GCC 来说是正确的(对于 LLVM 来说似乎也是正确的)link https://llvm.org/docs/CompilerWriterInfo.html#abi),但对于您正在使用的编译器也可能如此。所有这些都依赖于实现,并且不受 C++ 标准管辖。然而,GCC编写了自己的二进制标准文档,安腾ABI http://static.coldattic.info/cxx-abi/abi.html.

我尝试用更简单的语言解释虚拟表如何布局的基本概念,作为我的一部分关于 C++ 中的虚函数性能的文章 http://coldattic.info/post/3/,您可能会发现这很有用。以下是您的问题的答案:

  1. 描述对象内部表示的更正确方法是:

    | vptr | ======= | ======= |  <-- your object
           |----A----|         |
           |---------B---------|
    

    B contains它的基类A,它只是在结束后添加了一些他自己的成员。

    铸造自B* to A*确实什么也没做,它返回相同的指针,并且vptr保持不变。但是,简而言之,虚函数并不总是通过 vtable 调用。有时它们的调用方式与其他函数一样。

    这是更详细的解释。您应该区分调用成员函数的两种方式:

    A a, *aptr;
    a.func();         // the call to A::func() is precompiled!
    aptr->A::func();  // ditto
    aptr->func();     // calls virtual function through vtable.
                      // It may be a call to A::func() or B::func().
    

    问题是众所周知在编译时该函数将如何被调用:通过 vtable 或只是一个通常的调用。事情是这样的转换表达式的类型在编译时已知,因此编译器在编译时选择正确的函数。

    B b, *bptr;          
    static_cast<A>(b)::func(); //calls A::func, because the type
       // of static_cast<A>(b) is A!
    

    在这种情况下,它甚至不查看 vtable 内部!

  2. 一般来说,不会。如果一个类继承自多个基类,则该类可以拥有多个虚函数表,并且每个基类都有自己的虚函数表。这样的一组虚拟表形成一个“虚拟表组”(参见第 3 部分)。

    类还需要一组构造 vtable,以便在构造复杂对象的基类时正确分配虚拟函数。您可以进一步阅读我链接的标准 http://static.coldattic.info/cxx-abi/abi.html#vtable-ctor.

  3. 这是一个例子。认为C继承自A and B,每个类定义virtual void func(), 也a,b or c虚函数与其名称相关。

    The C将有一个由两个 vtable 组成的 vtable 组。它将与以下对象共享一个 vtable:A(当前类自己的函数所在的vtable称为“primary”),以及一个vtableB将附加:

    | C::func()   |   a()  |  c()  || C::func()  |   b()   |
    |---- vtable for A ----|        |---- vtable for B ----| 
    |--- "primary virtual table" --||- "secondary vtable" -|
    |-------------- virtual table group for C -------------|
    

    对象在内存中的表示形式看起来几乎与它的虚函数表相同。只需添加一个vptr在组中的每个 vtable 之前,您将粗略估计数据在对象内部的布局方式。您可以在相关部分 http://static.coldattic.info/cxx-abi/abi.html#layoutGCC 二进制标准。

  4. 虚拟库(其中一些)布置在 vtable 组的末尾。这样做是因为每个类应该只有一个虚拟基,如果它们与“通常的”虚函数表混合在一起,那么编译器就无法重用构造的虚函数表的一部分来生成派生类的虚函数表。这将导致计算不必要的偏移并降低性能。

    由于这样的放置,虚拟基地还在其 vtable 中引入了附加元素:vcall此处定义的每个虚拟函数的偏移量(当从完整对象内的虚拟基指针跳转到覆盖虚拟函数的类的开头时,获取最终覆盖程序的地址)。每个虚拟基地还添加vbase偏移量,插入到派生类的 vtable 中;它们允许找到虚拟基址的数据开始的位置(它不能被预编译,因为实际地址取决于层次结构:虚拟基址位于对象的末尾,并且从开始的移位取决于有多少个非虚拟基址)当前类继承的类。)。

Woof,我希望我没有引入太多不必要的复杂性。无论如何,您可以参考原始标准,或您自己的编译器的任何文档。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

用于多重虚拟继承和类型转换的虚拟表和虚拟指针 的相关文章

  • 调用 McAfee 病毒扫描引擎

    我收到客户的请求 要求使用他们服务器上的 McAfee 病毒扫描将病毒扫描集成到应用程序中 我做了一些调查 发现 McScan32 dll 是主要的扫描引擎 它导出各种看起来有用的函数 我还发现提到了 McAfee Scan Engine
  • 在 xaml 中编写嵌套类型时出现设计时错误

    我创建了一个用户控件 它接受枚举类型并将该枚举的值分配给该用户控件中的 ComboBox 控件 很简单 我在数据模板中使用此用户控件 当出现嵌套类型时 问题就来了 我使用这个符号来指定 EnumType x Type myNamespace
  • 如何从 Visual Studio 将视图导航到其控制器?

    问题是解决方案资源管理器上有 29 个项目 而且项目同时具有 ASP NET MVC 和 ASP NET Web 表单结构 在MVC部分中 Controller文件夹中有大约100个子文件夹 每个文件夹至少有3 4个控制器 视图完全位于不同
  • std::vector 与 std::stack

    有什么区别std vector and std stack 显然 向量可以删除集合中的项目 尽管比列表慢得多 而堆栈被构建为仅后进先出的集合 然而 堆栈对于最终物品操作是否更快 它是链表还是动态重新分配的数组 我找不到关于堆栈的太多信息 但
  • 如何在 C# 中打开 Internet Explorer 属性窗口

    我正在开发一个 Windows 应用程序 我必须向用户提供一种通过打开 IE 设置窗口来更改代理设置的方法 Google Chrome 使用相同的方法 当您尝试更改 Chrome 中的代理设置时 它将打开 Internet Explorer
  • 传递给函数时多维数组的指针类型是什么? [复制]

    这个问题在这里已经有答案了 我在大学课堂上学习了 C 语言和指针 除了多维数组和指针之间的相似性之外 我认为我已经很好地掌握了这个概念 我认为由于所有数组 甚至多维 都存储在连续内存中 因此您可以安全地将其转换为int 假设给定的数组是in
  • 如何从本机 C(++) DLL 调用 .NET (C#) 代码?

    我有一个 C app exe 和一个 C my dll my dll NET 项目链接到本机 C DLL mynat dll 外部 C DLL 接口 并且从 C 调用 C DLL 可以正常工作 通过使用 DllImport mynat dl
  • 如何连接重叠的圆圈?

    我想在视觉上连接两个重叠的圆圈 以便 becomes 我已经有部分圆的方法 但现在我需要知道每个圆的重叠角度有多大 但我不知道该怎么做 有人有主意吗 Phi ArcTan Sqrt 4 R 2 d 2 d HTH Edit 对于两个不同的半
  • 如何在 C++ 中标记字符串?

    Java有一个方便的分割方法 String str The quick brown fox String results str split 在 C 中是否有一种简单的方法可以做到这一点 The 增强分词器 http www boost o
  • 如何使从 C# 调用的 C(P/invoke)代码“线程安全”

    我有一些简单的 C 代码 它使用单个全局变量 显然这不是线程安全的 所以当我使用 P invoke 从 C 中的多个线程调用它时 事情就搞砸了 如何为每个线程单独导入此函数 或使其线程安全 我尝试声明变量 declspec thread 但
  • 需要帮助优化算法 - 两百万以下所有素数的总和

    我正在尝试做一个欧拉计划 http projecteuler net问题 我正在寻找 2 000 000 以下所有素数的总和 这就是我所拥有的 int main int argc char argv unsigned long int su
  • WPF 数据绑定到复合类模式?

    我是第一次尝试 WPF 并且正在努力解决如何将控件绑定到使用其他对象的组合构建的类 例如 如果我有一个由两个单独的类组成的类 Comp 为了清楚起见 请注意省略的各种元素 class One int first int second cla
  • 如何定义一个可结构化绑定的对象的概念?

    我想定义一个concept可以检测类型是否T can be 结构化绑定 or not template
  • x:将 ViewModel 方法绑定到 DataTemplate 内的事件

    我基本上问同样的问题这个人 https stackoverflow com questions 10752448 binding to viewmodels property from a template 但在较新的背景下x Bind V
  • 实例化类时重写虚拟方法

    我有一个带有一些虚函数的类 让我们假设这是其中之一 public class AClassWhatever protected virtual string DoAThingToAString string inputString retu
  • C 编程:带有数组的函数

    我正在尝试编写一个函数 该函数查找行为 4 列为 4 的二维数组中的最大值 其中二维数组填充有用户输入 我知道我的主要错误是函数中的数组 但我不确定它是什么 如果有人能够找到我出错的地方而不是编写新代码 我将不胜感激 除非我刚去南方 我的尝
  • LINQ:使用 INNER JOIN、Group 和 SUM

    我正在尝试使用 LINQ 执行以下 SQL 最接近的是执行交叉联接和总和计算 我知道必须有更好的方法来编写它 所以我向堆栈团队寻求帮助 SELECT T1 Column1 T1 Column2 SUM T3 Column1 AS Amoun
  • 为什么 isnormal() 说一个值是正常的,而实际上不是?

    include
  • 如何在 Linq to SQL 中使用distinct 和 group by

    我正在尝试将以下 sql 转换为 Linq 2 SQL select groupId count distinct userId from processroundissueinstance group by groupId 这是我的代码
  • C++ 继承的内存布局

    如果我有两个类 一个类继承另一个类 并且子类仅包含函数 那么这两个类的内存布局是否相同 e g class Base int a b c class Derived public Base only functions 我读过编译器无法对数

随机推荐

  • 正则表达式至少匹配一个字符或一个空格

    我正在使用以下正则表达式来找出检测至少一个字符 b a zA Z0 9 1 现在我还需要探测空间 我怎样才能做到这一点 您可以使用以下方法检测正则表达式中的空格 s 该标记将捕获字符串中的任何空格 在您的正则表达式中 您可以包含此标记 s括
  • 会话/实体管理器已关闭

    我有这个 Hibernate dao 在我的本地机器上测试时它运行良好 但对于某些交易它会抛出IllegalStateException 我相信这是因为多个用户同时点击它 我可能是错的 更新支付道 Repository public cla
  • 修改PIN中的申请指令

    我正在使用英特尔 PIN 来修改我的应用程序中的指令 我使用此链接中的 Safecopy 示例作为参考 https software intel com sites landingpage pintool docs 81205 Pin ht
  • Prolog列表有未实例化的尾部,需要去掉它

    我正在开发 Prolog 程序 它产生正确的输出 一个列表 但该列表末尾有一个未实例化的变量 我做错了事 并且不知道如何摆脱它 这是代码 plaatsingen plaatsingen Prod Hoev Rest Order Plaats
  • 使用 awk sed 解析更新 puppet 文件

    我有一个包含多行代码的木偶文件 其中有一个部分如下所示 defaultrepo myrepo defaultbranch mybranch gitmod pullstuff othergitcode gitcommit gt b54123b
  • 为什么 C++20 中 unique_ptr 不是 equal_comparable_with nullptr_t ?

    使用 C 20concept我注意到std unique ptr似乎无法满足std equality comparable with
  • 转置 data.table

    数据计算结束后有效转换 data table 的好方法是什么 nrow 500e3 ncol 2000 m lt matrix rnorm nrow ncol nrow nrow colnames m lt c foo seq ncol 1
  • 还原并反应不需要的效果

    大家好 我正在尝试使用 redux 来制作购物车功能 2 问题描述 问题是 一旦我想从我的购物篮中删除不是最后一个的产品 Redux 确实从商店中删除了所需的产品 但在前端我仍然可以看到该产品 并且 React 会从列表中删除最后一个产品
  • 用于语义相似性的 BERT 嵌入

    我之前发布过这个question https stackoverflow com questions 60767089 bert get sentence level embedding after fine tuning 我想获得与此类似
  • 为什么要使用 Mockito? [关闭]

    Closed 这个问题需要多问focused help closed questions 目前不接受答案 我是 Mockito 的新手 我已经开始学习它了 但我有一些问题 为什么我们需要使用 Mockito 据我所知 它用于模拟 创建虚拟对
  • 我可以指望这个 ASP.NET 事件日志源始终被注册吗?

    未处理的异常导致基于 ASP NET 的应用程序在 NET Framework 2 0 中意外退出 http support microsoft com id 911816让我认为使用以下约定命名的事件日志源将始终在安装了 NET Fram
  • Spring 与 Spring Boot 集成 SFTP 示例

    我们正在为 Spring 应用程序使用最新的 Spring Boot 并为 SFTP 使用最新的 Spring Integration 我访问过 Spring Integration SFTP 文档站点 并按原样采用了 Spring Boo
  • Thread.sleep() 永远不会返回

    我有一个奇怪的错误Thread sleep 关于Java 由于某种原因 当我在某些机器上调用 sleep 时 它永远不会返回 我无法弄清楚是什么导致了这种行为 起初 我认为错误可能在我的代码中的其他地方 所以我做了最简单的睡眠测试 publ
  • 卡托皮县的县边界

    如何在 Cartopy 中绘制美国县边界 绘制州和国家边界非常简单 ax add feature cfeature BORDERS with scale 50m ax add feature cfeature STATES with sca
  • CakePHP 会话 ID 路径或其他共享 url 结果的方法 - 欢迎推荐

    我正在寻找有关合理的 Cake 方法的建议 以创建基于会话 id 的 url 我可以与其他人共享该 URL 以查看与我所看到的相同的搜索结果 我知道在标准 php 中 我只需获取会话 id 并将其传递给 url 但我猜测 Cake 可能有一
  • javascript选择输入事件

    我正在尝试从 javascript 创建一个选择输入 并在用户更改选项时绑定一个函数 到目前为止我有 filter change function console log CHANGED 但选择其他东西后什么也不会发生 这段代码有什么问题
  • 为什么 PHP 开发人员无法根据线程范围提供 setlocale 函数

    We have 设置语言环境 http php net manual en function setlocale phpPHP 中的函数 该函数有警告信息 区域设置信息是按进程维护的 而不是按线程维护的 如果您在多线程服务器 API 例如
  • 如何阻止任何滑块向 URL 添加主题标签

    任何滑块都会添加哈希标签 例如 panel1 1在网址末尾 I tried hashtags false但它不起作用 有没有其他方法可以阻止它生成这些主题标签 尝试将其更改为hashTags false 注意标签中的大写 T
  • 如何使用 podfile 中的源?

    我是ios开发新手 由于某种原因 我需要为我的 Cordova 应用程序手动设置 podfile 有GoogleCloudMessaging and GGLInstanceID在我的podfile中 现在我想安装一个brightcove视频
  • 用于多重虚拟继承和类型转换的虚拟表和虚拟指针

    我对 vptr 和内存中对象的表示有点困惑 希望你能帮助我更好地理解这个问题 考虑B继承自A并且都定义了虚函数f 据我所知 B类对象在内存中的表示如下 vptr A B 和vtbl that vptr指向包含B f 我还了解到从B to A