了解 GCC 5 的 _GLIBCXX_USE_CXX11_ABI 或新的 ABI

Question

https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html

我在 GCC 5 上使用 std::string 时遇到了崩溃/valgrind 问题。上面的链接暗示从 GCC 5.x 开始的 ABI 发生了变化。 libstd++ 的新默认 ABI 是 C++11/14...，它与旧 ABI 不兼容。有一种方法可以使用定义来选择较旧的 ABI。

我正在尝试了解 ABI 之间的区别，但尚未找到详细信息。我想帮助理解：

1. 需要修复 std::string 的哪些问题才能与新的 ABI 兼容？它们是否与写时复制相关？
2. 这些更改会破坏旧 ABI 的功能吗？
3. 关于让 _GLIBCXX_USE_CXX11_ABI 工作的任何提示？

关于我遇到的问题的更多详细信息 (https://github.com/YasserAsmi/jvar/issues/21) 该项目在 GCC 4.8 和 Clang 中运行良好。使用 GCC，相同的代码拒绝运行：

x_misc(33112,0x7fff728c2000) malloc: *** error for object 0x7fd639c034cc:    pointer being freed was not allocated
*** set a breakpoint in malloc_error_break to debug
Abort trap: 6

这是部分 Valgrind 输出：

==33027== Invalid read of size 1
==33027==    at 0x1006F78BA: _platform_memmove$VARIANT$Nehalem (in /usr/lib/system/libsystem_platform.dylib)
==33027==    by 0x100009388: jvar::Variant::toString[abi:cxx11]() const (in bin/ex_misc)
==33027==    by 0x1000023A7: bugreport() (in bin/ex_misc)
==33027==    by 0x1000133B8: main (in bin/ex_misc)

该项目使用 std::string 并具有一些自定义内存管理。它正在使用放置新构造函数等执行一些非典型但有效的操作。我试图更好地了解 API 影响了哪种代码以及如何修复它——一个开始的地方。

Answer 1

1. 旧的 std::string 不符合 C++11，因为该标准禁止写时复制实现。没有办法在不破坏 ABI 的情况下创建合规的std::string，因此他们这样做是为了返回到不合规的版本以实现 ABI 兼容性。

2. 是的。

3. 确保程序中的所有翻译单元都使用相同的_GLIBCXX_USE_CXX11_ABI 值，这样就可以了。如果您将它们在翻译单元中混合使用，您肯定会遇到问题。如果您在不同的翻译单元中具有不同的定义值，并且彼此之间不交流strings，那么您可能没问题。

Answer 2

COW 和非 COW 字符串之间有一个有趣的区别，例如：

std::string some_string;
std::string foo()
{
   return some_string;
}

char const *s = foo().c_str();
printf("%s\n",s);

这将与 COW 字符串一起使用，因为由 some_string 返回的 c_str() 和 foo 指向相同的内存，但是当它不是 COW 时，一旦 foo 返回的 std::string 被破坏，s 就会失效。

从那里的示例中，您应该朝这个方向看。