主页 / coding / 问题 / 79585459
Accepted
fbrereto
Asked: 2025-04-22 07:06:28 +0800 CST

为什么我的目标文件中有附加了 `[abi:de180100]` 的符号？

  • 772

我正在 macOS 15.4 上使用 Xcode 16.1 编译一个应用程序。检查编译器生成的目标文件后，发现[abi:de180100]其中附加了一些符号。这个后缀并不存在于 C++ 代码中。看来这个后缀也被附加到了一些其他符号和项目中。

我想了解更多关于后缀的信息，为什么需要后缀，以及它对它所修饰的符号有何影响。但是，我似乎找不到任何相关的文档。有人能指点我吗？

macos

1 个回答

  1. Best Answer

    附加部分[abi:de180100]是libc++ABI（应用程序二进制接口）标签。libc++是标准 C++ 库的 LLVM/clang 实现，对应于 GNU/GCClibstdc++

    标签de180100是配置头文件中预处理器宏定义的三个值的组合libc++（例如/usr/lib/llvm-18/include/c++/v1/__config）：

    • _LIBCPP_HARDENING_SIG= f、s、d或n、 +
    • _LIBCPP_EXCEPTIONS_SIG=n或e+
    • _LIBCPP_VERSION= libc++版本序列号。

    _LIBCPP_HARDENING_SIG编码库的强化模式。强化模式是通过断言实现的库先决条件的强制执行级别。强化模式的解释如下

    _LIBCPP_EXCEPTIONS_SIG编码库函数是否可以（e）n通过抛出异常来发出失败信号。

    因此，您使用的libc++版本180100配置了强化模式d（= Debug mode）并启用了异常抛出功能。

    这样连接起来的 ABI 标签被称为_LIBCPP_ODR_SIGNATURE 库配置。标头中的注释__config解释了这个宏：

    该符号会被赋予一个 ABI 标签，用于编码库的 ODR 相关属性。这确保了混合使用不同版本或不同配置的 libc++ 编译的两个 TU（例如，包含异常和不包含异常的 TU）不会违反 ODR。事实上，如果程序包含一个函数的两个定义，ODR 要求它们必须逐个标记地等效，并且链接器可以选择其中一个定义并丢弃另一个。

    该表示形式[abi::de180100]是解调后的表示形式。在经过修饰的链接器符号中，它显示为后缀B8de180100m

    当在源代码中使用 声明符号时，编译器将对符号应用这样的标记__attribute__((__abi_tag__(_LIBCPP_ODR_SIGNATURE)))。（您无法通过 greppinglibc++头文件找到此字符串，因为它是由其他预处理器宏扩展生成的。）

    作为库的用户，您通常不会在编写的代码中部署这样的 ABI 标签（尽管没有什么可以阻止您）。所涉及的源代码将是您从 clang 的标准 C++ 头文件中包含的模板代码。您看到的带有 ABI 标签的符号_LIBCPP_ODR_SIGNATURE将定义某个 C++ 库模板（成员）函数的内联实例，并且具有弱全局链接，这意味着链接器将毫无失败地提取该符号的多个定义，并任意选择一个。该符号带有 ABI 标签，因为此类弱全局内联定义正是导致 ODR 完整性风险的原因。

    如果您想知道为什么模板函数的内联实例首先使用弱全局链接进行编译（无论是通过 clang 还是 GCC），您可以查阅我对链接器如何处理跨翻译单元的相同模板实例的 回答？ ，我故意违反 ODR 来演示答案。

    要深入了解在监管 C++ 标准库 ABI 兼容性中使用 ABI 标签的情况，您可以参阅Maskray 博客之一《C++ 标准库 ABI 兼容性》 。

    顺便说一句，如果您不想要这个护栏，也可以不装。如果您用它编译 TU，-D_LIBCPP_NO_ABI_TAG那么 clang 会明白您的意思。

    • 4

相关问题