了解GCC 5的_GLIBCXX_USE_CXX11_ABI或新的ABI

Yas*_*smi 22 c++ gcc c++11

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

我在GCC 5上使用std :: string遇到了崩溃/ valgrind问题.上面的链接提示ABI从GCC 5.x开始发生了变化.libstd ++的新默认ABI是C++ 11/14 ...它与旧的ABI不兼容.有一种方法可以使用define选择较旧的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
Run Code Online (Sandbox Code Playgroud)

这是部分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)
Run Code Online (Sandbox Code Playgroud)

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

Mar*_*k B 12

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

  2. 是.

  3. 确保程序中的所有翻译单元使用相同的值,_GLIBCXX_USE_CXX11_ABI您应该没问题.如果你将它们混合在翻译单元中,你肯定会遇到问题.你可能会,如果你有在不沟通不同的翻译单位的定义不同的值是确定strings到对方.

  • @YasserAsmi 没有什么可修复的,新的 ABI 只需要您链接在一起的所有内容即可使用相同的 ABI。 (2认同)

Art*_*yom 5

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

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

char const *s = foo().c_str();
printf("%s\n",s);
Run Code Online (Sandbox Code Playgroud)

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

从样本那里,您应该研究这个方向。

  • K ...但是通过尝试使用从临时std :: string中提取的指针(作为从foo()返回的值创建)提取的指针,这仍然不是未定义的行为吗?由于允许但不要求COW,因此您不能假定它正在运行。 (4认同)
  • 这是未定义的行为,但是当字符串为COW而不是使用非COW字符串时,可能导致隐藏的错误。 (2认同)
  • 那你就怪错了。隐藏的错误是由于未定义的行为,而不是由于COW的存在。与取消引用`nullptr`导致(或不引起)程序崩溃没有什么不同。 (2认同)
  • 我不是在怪我在解释旧的ABI可能如何工作,而新的ABI不能工作-代码似乎具有这样的功能 (2认同)