什么时候/为什么libstdc++和libc++符号不兼容？

Question

设置：

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++说

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

所以，问题是std::allocator<char>

注意，我使用的是macOS汇编程序。

本期和boost/program-选项引起的好奇心。

Answer 1

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

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

您引用的文档明确指出，目标是兼容“低级别特性，如异常对象、rtti和内存分配”。

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

兼容的部分类似于std::type_info和std::exception (以及<stdexcept>中的派生异常类型)，因为它们是基本语言运行库的一部分。以上的任何内容，如容器、字符串、算法、I/O、区域设置等，都是不兼容的。