草庐IT

c++ - 在 C : Will alignment break my neck? 中伪造继承

coder 2024-02-18 原文

我有一个 C 结构，用于各种 C 和 C++ 代码(通过 extern "C")。

#ifdef __cplusplus
extern "C" {
#endif

  typedef struct A A;
  struct A {
    /*some members*/
  };

#ifdef __cplusplus
}
#endif

分配、初始化和释放是由我控制的独立成员函数完成的，但我不控制对成员的访问，因为它们可以在任何地方访问。

问题是，我无法更改整个系统中大量使用的 header 中struct 的定义，但我仍然想扩展类型并添加一些成员。由于这必须编译为 C++ 和 C，我不能简单地创建派生类型 struct B : public A。所以我的想法是将这种类型添加到 cpp 文件中:

#ifdef __cplusplus
extern "C" {
#endif

  typedef struct B B;
  struct B {
    A parent; // <---- public inheritance
    /*some members*/
  };

#ifdef __cplusplus
}
#endif

现在，我可以修改 cpp 文件中的所有函数，但我仍然必须在编译单元之外分发和接受 A*，因为没有人知道 B 是什么.

所以，我想知道是否有一种理智且定义明确的方法可以做到这一点。我可以简单地将我的 B* 转换为 A*s 并返回，还是我必须显式转换它们:

A* static_cast_A(B* b) {
  return &(b->parent);
}
B* static_cast_B(A* a) {
  B* const b = 0;
  unsigned const ptrdiff = (unsigned)((void*)(&(b->parent)));
  return (B*)(((void*)a)-ptrdiff);
}

这还有什么问题吗？还是我应该完全不同地做？

最佳答案

只要您不在struct B 中引入虚表(通过添加虚方法或析构函数)，并且该结构的parent 成员是第一个元素, 然后将 B 大小写为 A 是安全的。

将 A 转换为 B 也是安全的，但前提是原始指针实际上指向 B 而不是其他东西，显然，只像 A 结构本身。

如果 parent 不是结构 B 的第一个成员，您将不得不使用 container_of 宏，如 Linux 内核所示，例如。它消除了成员指针偏移量(即可以找到一些很好的解释 here )。

此外，默认情况下，两个结构将具有相同的对齐方式。如果您调整其中一个结构对齐方式，我不确定编译器如何将 A 放入 B 中。我想这取决于编译器，但应该很容易弄清楚。

如果 B 有一个虚拟表，您必须了解编译器内部知识才能正确转换指针。例如，x86_64 上的 GCC 添加了 8 个字节的偏移量，因此您必须在转换时手动偏移它。但这在虚拟继承(虚拟基类)的情况下不起作用，要解决你必须诉诸于使用 RTTI 等......但这超出了你的问题范围，我建议你不要往那边走。

希望对您有所帮助。

关于c++ - 在 C : Will alignment break my neck? 中伪造继承，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/12443732/

ampalignmentcodesectionstructc++cinheritancecasting

有关c++ - 在 C : Will alignment break my neck? 中伪造继承的更多相关文章

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

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

  2. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  3. ruby-on-rails - Rails 单表继承 : How to override the value written to the type field - 2

    在我的系统中，我已经定义了STI。Dog继承自Animal，在animals表中有一个type列，其值为"Dog"。现在我想让SpecialDog继承自dog，只是为了在某些特殊情况下稍微修改一下行为。数据还是一样。我需要通过SpecialDog运行的所有查询，以返回数据库中类型为Dog的值。我的问题是因为我有一个type列，rails将WHERE"animals"."type"IN('SpecialDog')附加到我的查询中，所以我不能获取原始的Dog条目。所以我想要的是以某种方式覆盖rails在通过SpecialDog访问数据库时使用的值，使其表现得像Dog。有没有办法覆盖用于类型

  4. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  5. arrays - Ruby 数组 += vs 推送 - 2

    我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

  6. += 的 Ruby 方法 - 2

    有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=

  7. ruby-on-rails - 为什么 DataMapper 使用混合与继承？ - 2

    所以我只是对此感到好奇:DataMapper为其模型使用混合classPostincludeDataMapper::Resource虽然active-record使用继承classPost有谁知道为什么DataMapper选择这样做(或者为什么AR选择不这样做)？ 最佳答案 它允许您从另一个不是DM类的类继承。它还允许动态地将DM功能添加到类中。这是我正在处理的模块中的类方法:defdatamapper_classklass=self.dupklass.send(:include,DataMapper::Resource)klass

  8. ruby - Sinatra + Heroku + Datamapper 使用 dm-sqlite-adapter 部署问题 - 2

    出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t

  9. ruby - Ruby 中字符串运算符 + 和 << 的区别 - 2

    我是Ruby和这个网站的新手。下面两个函数是不同的，一个在函数外修改变量，一个不修改。defm1(x)x我想确保我理解正确-当调用m1时，对str的引用被复制并传递给将其视为x的函数。运算符当调用m2时，对str的引用被复制并传递给将其视为x的函数。运算符+创建一个新字符串，赋值x=x+"4"只是将x重定向到新字符串，而原始str变量保持不变。对吧？谢谢 最佳答案 String#+::str+other_str→new_strConcatenation—ReturnsanewStringcontainingother_strconc

  10. ruby-on-rails - Ruby on Rails 单表继承(STI)和单元测试问题(使用 PostgreSQL) - 2

    我正在使用带有单个“帐户”表的STI模型来保存用户和技术人员的信息(即用户...8)错误:test_the_truth(用户测试):ActiveRecord::StatementInvalid:PGError:ERROR:关系“技术人员”不存在:从“技术人员”中删除...从本质上讲，标准框架不承认Technicians和Users表(或PostgreSQL称它们为“关系”)不存在，事实上，应该别名为Accounts。有什么想法吗？我对RoR比较陌生，不知道如何解决这个问题而又不完全删除STI。 最佳答案 原来问题是由于存在:./te

随机推荐