何时/为什么 libstdc++ 和 libc++ 符号不兼容？答案

【问题标题】：When/why are libstdc++ and libc++ symbols incompatible?何时/为什么 libstdc++ 和 libc++ 符号不兼容？
【发布时间】：2018-11-21 15:37:10
【问题描述】：

设置：

test.cpp

#include <set>
#include <string>

void common_config_file_iterator(const std::set<std::string>& allowed_options) {}

include.cpp

#include <set>
#include <string>

void common_config_file_iterator(const std::set<std::string>&) noexcept;

int main() {
    std::set<std::string> set;
    common_config_file_iterator(set);
    return 0;
}

test.sh

clang++-7 test.cpp -c -O3 -fno-rtti -fno-exceptions -o test.o
g++-8 test.o include.cpp -O3 -fno-rtti -fno-exceptions -o test

输出：

Undefined symbols for architecture x86_64:
  "common_config_file_iterator(std::set<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > const&)", referenced from:
      _main in ccWoGgrX.o
ld: symbol(s) not found for architecture x86_64
collect2: error: ld returned 1 exit status

所以我做了nm -g test.o:

0000000000000000 T __Z27common_config_file_iteratorRKNSt3__13setINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEENS_4lessIS6_EENS4_IS6_EEEE

根据demangler.com，意思是：

common_config_file_iterator(std::__1::set<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, std::__1::less<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >, std::__1::allocator<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > > > const&)

Libc++ says:

[特性和目标：] ABI 与 gcc 的 libstdc++ 的一些低级特性的兼容性，例如异常对象、rtti 和内存分配。

那么，问题是std::allocator<char>吗？

请注意，我使用的是 macOS 汇编器。

this issue 和 boost/program-options 引起的好奇心。

【问题讨论】：

目标可能意味着他们在这个阶段不同意？
noexcept 缺失，它是函数签名的一部分。
@Hans 但noexcept 也是 ABI 的一部分吗？
@MatthieuBrucher 不，它的意思是“一些低级功能，例如异常对象、rtti 和内存分配”而不是std::set 和std::string。
您是否将目标解读为“除了”而不是“为”？您禁用 RTTI 和异常并担心std::allocator，就好像您认为异常对象、rtti 和内存分配是不兼容的东西，而实际上它们是唯一的东西那是。

标签： c++ libstdc++ abi libc++ object-files

【解决方案1】：

那么，问题是std::allocator<char>吗？

什么？不。在您的示例中，它是一切。

您引用的文档明确表示，目标是兼容“异常对象、rtti 和内存分配等低级功能”。

std::set 和std::string 不是“异常对象、rtti 和内存分配等低级功能”。它们在 libc++ 和 libstdc++ 之间绝对不兼容，它们是完全不同的库，具有完全不同的实现。

兼容的部分是 std::type_info 和 std::exception（以及 <stdexcept> 中的派生异常类型），因为它们是基本语言运行时的一部分。超出此范围的任何内容，例如容器、字符串、算法、I/O、语言环境等都是不兼容的。

【讨论】：