草庐IT

c++ - 为什么library API + compiler ABI就足以保证不同版本gcc对象之间的兼容性？

coder 2024-02-02 原文

我遇到过这样一种情况，我可能想将使用一个版本的 gcc 编译的 C++ 共享对象库与一些将使用另一个版本的 gcc 编译的代码一起使用。特别是，我想使用返回一些 STL 容器的方法，例如 std::string 和 std::map。

gcc website许多旧的 stackoverflow 帖子(例如 here)讨论了这个问题。我目前的理解是

  • 关于此问题的大部分关注和帖子都是关于 .so 文件和 .dll 文件之间的交叉兼容性。由于不同的编译器 ABI，这非常困难。

  • 对于使用不同版本的 gcc(至少 gcc 版本 >= 3.4)编译的 .so 文件之间的交叉兼容性，您需要确保标准库 API 没有改变(并且，如果它有，有 dual ABI 支持)。

我的问题与它在机器级别的工作方式有关。看起来 gcc 可能会更改实现 std::string 的 header ，即使库 API 没有更改，以使其更有效或出于其他原因。如果是这样，那么两段不同的代码将使用两个不同的 std::string header 进行编译，并且基本上定义了两个具有相同名称的不同类。我们如何保证，当我们将 std::string 从使用一个 header 的代码传递到使用另一个 header 的代码时，该对象不会以某种方式被损坏或误读？

例如，假设我有以下文件:

// File a.h:

#ifndef FILE_A
#define FILE_A

#include <string>

class X {
  public:
    std::string f();
};

#endif  // FILE_A


// File a.cpp:

#include "a.h"

std::string X::f() {
  return "hello world";
}


// File b.cpp:

#include <iostream>
#include <string>
#include "a.h"

int main() {
  std::string x = X().f();
  std::cout << x << std::endl;
}

(此处类 X 的唯一目的是在我测试其工作原理时向共享对象库中引入更多的名称修改。)

现在我编译这些如下:

/path/to/gcc/version_a/bin/g++ -fPIC -shared a.cpp -o liba.so
/path/to/gcc/version_b/bin/g++ -L. -la -o b b.cpp

当我执行 b 时，b 具有来自 version_b< header="" 的="">std::string 的定义。但是 X().f() 生成的对象依赖于使用来自 gcc version_a 的 header 拷贝编译的机器代码。

我不太了解编译器、链接器和机器指令的低级机制。但在我看来，我们在这里打破了一个基本规则，即类的定义在每次使用时都必须相同，否则，我们无法保证上述方案是否有效。

编辑:我认为解决我的困惑的主要方法是，短语“库 API”在这种情况下比在术语“API”的使用中更普遍我习惯于。 gcc 文档似乎以一种非常模糊的方式表明，几乎所有对实现标准库的包含文件的更改都可以视为库 API 中的更改。有关详细信息，请参阅关于 Mohan 答案的评论中的讨论。

最佳答案

GCC 必须尽一切努力使我们的程序运行。如果在不同的翻译单元中使用 std::string 的不同实现意味着我们的程序被破坏了，那么 gcc 是不允许这样做的。

这适用于任何给定版本的 GCC。

GCC 竭尽全力保持向后兼容。也就是说，它努力使上述内容在不同版本的 GCC 中保持适用，而不仅仅是在给定版本中。然而，它不能保证其所有版本直到永远都将保持兼容。当不再可能保持向后兼容性时，将引入 ABI 更改。

自从 GCC-5 ABI 发生重大变化以来，它以这样一种方式引入:如果您将新旧二进制文件组合在一起，它会试图故意破坏您的构建。它通过在二进制级别重命名 std::string 和 std::list 类来实现。这会传播到所有具有 std::string 或 std::list 参数的函数和模板。如果你试图通过例如针对不兼容的 ABI 版本编译的翻译单元之间的 std::string，您的程序将无法链接。该机制并非 100% 万无一失，但它可以捕获许多常见情况。

另一种方法是默默地生成损坏的可执行文件，这是没人想要的。

双 ABI 是新版本的 GCC 标准库 binary 与旧版可执行文件保持兼容的一种方式。基本上它有两个版本涉及 std::string 和 std::list，链接器有不同的符号名称，所以使用旧版本的旧程序名称仍然可以加载和运行。

还有一个编译标志允许较新版本的 GCC 生成与旧 ABI 兼容的二进制文件(并且与没有兼容标志生成的较新二进制文件不兼容)。除非绝对必要，否则不建议使用它。

关于c++ - 为什么library API + compiler ABI就足以保证不同版本gcc对象之间的兼容性？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/51976376/

amp43codestring的c++gccstlabi

有关c++ - 为什么library API + compiler ABI就足以保证不同版本gcc对象之间的兼容性？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

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

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

  7. ruby-on-rails - 无法在centos上安装therubyracer(V8和GCC出错) - 2

    我正在尝试在我的centos服务器上安装therubyracer，但遇到了麻烦。$geminstalltherubyracerBuildingnativeextensions.Thiscouldtakeawhile...ERROR:Errorinstallingtherubyracer:ERROR:Failedtobuildgemnativeextension./usr/local/rvm/rubies/ruby-1.9.3-p125/bin/rubyextconf.rbcheckingformain()in-lpthread...yescheckingforv8.h...no***e

  8. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

    它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  9. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  10. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象，为什么它会起作用？ - 2

    如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象

随机推荐