jjzjj

c++ - 用于多个虚拟继承和类型转换的虚拟表和虚拟指针

coder 2023-11-13 原文

我对vptr和内存中对象的表示不太困惑，希望您能帮助我更好地理解问题。

  • 考虑到B继承自A，并且都定义了虚函数f()。从我学到的知识，B类对象在内存中的表示形式如下:[ vptr | A | B ]以及vtbl指向的vptr包含B::f()。我还理解，将对象从B转换为A除了忽略对象末尾的B部分外，什么都没有做。是真的吗这不是错误的行为吗？我们希望A类型的对象执行A::f()方法，而不是B::f()。
  • 系统中是否存在与类数相同的vtables？
  • 从两个或多个类继承的类的vtable看起来如何？ C的对象将如何在内存中表示？
  • 与问题3相同，但具有虚拟继承。

    • 最佳答案

    以下内容适用于GCC(似乎适用于LLVM link)，但也适用于您使用的编译器。所有这些都是与实现相关的，并且不受C++标准的约束。但是，GCC编写了自己的二进制标准文档Itanium ABI。

    我试图解释基本概念的概念，这些概念如何将虚拟表作为article about virtual function performance in C++的一部分以更简单的方式进行布局，您可能会发现它有用。以下是您的问题的答案:

  • 描述对象内部表示的更正确方法是:
    | vptr | ======= | ======= |  <-- your object
       |----A----|         |
       |---------B---------|
    B包含其基类A，它在结束后仅添加了几个自己的成员。

    从B*转换为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内部!
  • 通常，不会。如果一个类继承自多个基础，每个基础都有自己的vtable，则该类可以具有多个vtable。这种虚拟表集形成一个“虚拟表组”(请参阅​​第3页)。

    类还需要一组构造vtable，以在构造复杂对象的基础时正确分配虚拟函数。您可以在the standard I linked中进一步阅读。
  • 这是一个示例。假设C继承自A和B，每个类定义virtual void func()，以及与名称相关的a，b或c虚拟函数。
    C将具有两个vtable的一个vtable组。它将与A共享一个vtable(当前类自身的函数所在的vtable称为“主要” vtable)，并将为B附加一个vtable:
    | C::func()   |   a()  |  c()  || C::func()  |   b()   |
|---- vtable for A ----|        |---- vtable for B ----| 
|--- "primary virtual table" --||- "secondary vtable" -|
|-------------- virtual table group for C -------------|

    内存中对象的表示形式几乎与其vtable的外观相同。只需在组中的每个vtable之前添加vptr，您就可以粗略估计数据在对象内部的布局方式。您可以在GCC二进制标准的relevant section中阅读有关它的信息。
  • 虚拟基础(其中一些基础)布置在vtable组的末尾。这样做是因为每个类都应该只有一个虚拟基数，并且如果将它们与“常用” vtable混合在一起，则编译器将无法重新使用构造的vtable的一部分来制作派生类。这将导致计算不必要的偏移并降低性能。

    由于这样的放置，虚拟基数还会在其vtable中引入其他元素:vcall offset(从最终对象的指针跳转到完整对象内的虚拟基数到覆盖虚拟函数的类的开头时，获取最终覆盖程序的地址)定义在那里的每个虚函数。每个虚拟库还添加vbase偏移量，这些偏移量将插入派生类的vtable中；它们允许找到虚拟基础数据的起始位置(由于实际地址取决于层次结构，因此无法对其进行预编译:虚拟基础位于对象的末尾，并且从起始位置的偏移量取决于多少个非虚拟对象当前类继承的类。)。

    • Woof，我希望我不会引入太多不必要的复杂性。无论如何，您可以引用原始标准，也可以引用自己的编译器的任何文档。

    关于c++ - 用于多个虚拟继承和类型转换的虚拟表和虚拟指针，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3324721/

    amp43codevtable的c++multiple-inheritancevirtual-inheritancevptr

    有关c++ - 用于多个虚拟继承和类型转换的虚拟表和虚拟指针的更多相关文章

    1. ruby-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2

      我的目标是转换表单输入，例如“100兆字节”或“1GB”，并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前，我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效，但前提是输入是倍数(“gigabytes”，而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以，功能正常，

    2. ruby-on-rails - Rails 3 中的多个路由文件 - 2

      Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题

    3. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

      我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

    4. ruby-on-rails - 在 Ruby 中循环遍历多个数组 - 2

      我有多个ActiveRecord子类Item的实例数组，我需要根据最早的事件循环打印。在这种情况下，我需要打印付款和维护日期，如下所示:ItemAmaintenancerequiredin5daysItemBpaymentrequiredin6daysItemApaymentrequiredin7daysItemBmaintenancerequiredin8days我目前有两个查询，用于查找maintenance和payment项目(非排他性查询)，并输出如下内容:paymentrequiredin...maintenancerequiredin...有什么方法可以改善上述(丑陋的)代

    5. ruby-on-rails - Rails 常用字符串(用于通知和错误信息等) - 2

      大约一年前，我决定确保每个包含非唯一文本的Flash通知都将从模块中的方法中获取文本。我这样做的最初原因是为了避免一遍又一遍地输入相同的字符串。如果我想更改措辞，我可以在一个地方轻松完成，而且一遍又一遍地重复同一件事而出现拼写错误的可能性也会降低。我最终得到的是这样的:moduleMessagesdefformat_error_messages(errors)errors.map{|attribute,message|"Error:#{attribute.to_s.titleize}#{message}."}enddeferror_message_could_not_find(obje

    6. ruby - 将数组的内容转换为 int - 2

      我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]

    7. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

      我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

    8. ruby - 将散列转换为嵌套散列 - 2

      这道题是thisquestion的逆题.给定一个散列，每个键都有一个数组，例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案 这是一个迭代的解决方案，递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[

    9. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

      我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

    10. ruby - 多个属性的 update_column 方法 - 2

      我有一个具有一些属性的模型:attr1、attr2和attr3。我需要在不执行回调和验证的情况下更新此属性。我找到了update_column方法，但我想同时更新三个属性。我需要这样的东西:update_columns({attr1:val1,attr2:val2,attr3:val3})代替update_column(attr1,val1)update_column(attr2,val2)update_column(attr3,val3) 最佳答案 您可以使用update_columns(attr1:val1,attr2:val2

    随机推荐