在std :: filesystem :: path追加上的c ++ std :: bad_alloc

时间:2019-06-24 14:27:31

标签: c++ exception gdb c++17 libstdc++

我正在经历一个非常奇怪的行为,我将其提炼为一个非常基本的测试:

#include <string>
#include <filesystem>

int main(void)
{
  const std::string name = "foo";
  const std::filesystem::path lock_dir = "/tmp";
  std::filesystem::path lockfile = lock_dir / name;

  return 0;
}

我用g++ -std=c++17 -Wall -Wextra -Werror -g foo.cpp -o foo进行编译。当我运行它时,在添加两个路径的那一行上,我得到了一个std :: bad_alloc异常。这就是我在gdb上看到的内容

#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:51
#1  0x00007ffff742c801 in __GI_abort () at abort.c:79
#2  0x00007ffff7a8e1f2 in ?? () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#3  0x00007ffff7a99e36 in ?? () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#4  0x00007ffff7a99e81 in std::terminate() () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#5  0x00007ffff7a9a0b5 in __cxa_throw () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#6  0x00007ffff7a907a7 in std::__throw_bad_alloc() () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#7  0x0000555555558cfe in __gnu_cxx::new_allocator<std::filesystem::__cxx11::path::_Cmpt>::allocate (this=0x7fffffffe080, __n=12297828079348111650) at /usr/include/c++/8/ext/new_allocator.h:102
#8  0x00005555555587d0 in std::allocator_traits<std::allocator<std::filesystem::__cxx11::path::_Cmpt> >::allocate (__a=..., __n=12297828079348111650) at /usr/include/c++/8/bits/alloc_traits.h:436
#9  0x0000555555557f76 in std::_Vector_base<std::filesystem::__cxx11::path::_Cmpt, std::allocator<std::filesystem::__cxx11::path::_Cmpt> >::_M_allocate (this=0x7fffffffe080, __n=12297828079348111650)
    at /usr/include/c++/8/bits/stl_vector.h:296
#10 0x0000555555558387 in std::_Vector_base<std::filesystem::__cxx11::path::_Cmpt, std::allocator<std::filesystem::__cxx11::path::_Cmpt> >::_M_create_storage (this=0x7fffffffe080, __n=12297828079348111650)
    at /usr/include/c++/8/bits/stl_vector.h:311
#11 0x00005555555579cf in std::_Vector_base<std::filesystem::__cxx11::path::_Cmpt, std::allocator<std::filesystem::__cxx11::path::_Cmpt> >::_Vector_base (this=0x7fffffffe080, __n=12297828079348111650, __a=...)
    at /usr/include/c++/8/bits/stl_vector.h:260
#12 0x0000555555556d39 in std::vector<std::filesystem::__cxx11::path::_Cmpt, std::allocator<std::filesystem::__cxx11::path::_Cmpt> >::vector (this=0x7fffffffe080, 
    __x=std::vector of length -1303124922760, capacity -1303124922760 = {...}) at /usr/include/c++/8/bits/stl_vector.h:460
#13 0x000055555555635f in std::filesystem::__cxx11::path::path (this=0x7fffffffe060, Python Exception <class 'gdb.error'> There is no member or method named _M_t.: 
__p=...) at /usr/include/c++/8/bits/fs_path.h:166
#14 0x00005555555563c8 in std::filesystem:: (Python Exception <class 'gdb.error'> There is no member or method named _M_t.: 
__lhs=..., Python Exception <class 'gdb.error'> There is no member or method named _M_t.: 
__rhs=...) at /usr/include/c++/8/bits/fs_path.h:554
#15 0x0000555555555fbe in main () at foo.cpp:8

这带来了几个问题:

  1. 我的测试代码有什么问题?
  2. 为什么GDB在调用堆栈中使用python显示任何内容?

预见到这个问题,我的g ++是gcc version 8.3.0 (Ubuntu 8.3.0-6ubuntu1~18.04.1),我的gdb是GNU gdb (Ubuntu 8.2-0ubuntu1~18.04) 8.2

更新,这是成功编译的可执行文件的ldd输出

linux-vdso.so.1 (0x00007ffc697b2000)
libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f5c35444000)
libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f5c3522c000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f5c34e3b000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f5c34a9d000)
/lib64/ld-linux-x86-64.so.2 (0x00007f5c35a2d000)

2 个答案:

答案 0 :(得分:6)

这是由Ubuntu的“功能”引起的,它提供的libstdc++.so比系统g++随附的功能晚。有关更多详细信息,请参见https://bugs.launchpad.net/ubuntu/+source/gcc-8/+bug/1824721

通常,在使用GCC 8进行编译时,std::filesystem中不存在libstdc++.so符号,因此,如果您无法link with -lstdc++fs,则会出现链接器错误。但是,由于GCC 9 中的新libstdc++.so不包含std::filesystem的符号,因此不会发生链接器错误。不幸的是,文件系统符号的GCC 9版本与GCC 8标头不兼容(因为文件系统库在GCC 8中是实验性的并且不稳定,并且filesystem::path的布局已针对GCC 9进行了更改)。这意味着您的程序链接了,但是在运行时,它为filesystem::path使用了错误的符号,并且发生了不好的事情。

我没有预料到这个问题,因为我不知道Ubuntu将旧的libstdc ++头文件与新的libstdc ++共享库混合在一起。这通常是安全的,除了 when using "experimental", incomplete features, such as the C++17 features in GCC 8

我建议对Ubuntu进行的修复是使g++自动-lstdc++fs添加到编译命令的末尾。如果使用任何std::filesystem功能,则应在GCC 8的libstdc++fs.a中找到这些符号的正确定义(而不是在GCC 9的libstdc++.so中),并且在大多数情况下,所有内容都应该可以正常工作。如果Ubuntu仍未使用该解决方法更新其GCC软件包,则还可以通过确保手动链接-lstdc++fs(仍然记录为GCC 8的要求)来使其工作。

答案 1 :(得分:2)

我将总结自己的发现以及其他人在评论中发现的内容。这还不是一个实际的答案,因为目前我无法解释失败的原因。

我能够通过在常规的ubuntu Docker映像中安装g ++-8和g ++-9来重现此行为,这样我就可以同时使用/usr/bin/g++-8/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.26

根据gdb堆栈跟踪,该错误发生在std::vector构造函数中。当在std::filesystem::path内调用operator/的默认副本构造函数时,似乎发生了这种情况:

/usr/include/c++/8/bits/fs_path.h

  /// Append one path to another
  inline path operator/(const path& __lhs, const path& __rhs)
  {
    path __result(__lhs);  // <-- fails here
    __result /= __rhs;
    return __result;
  }

此发现可以进一步简化测试用例:

#include <filesystem>

int main(void)
{
  const std::filesystem::path first = "/tmp";
  const std::filesystem::path second(first);

  return 0;
}

这清楚表明问题出在调用复制构造函数时。

vector中唯一的std::filesystem::path是此向量(可能是路径分量):

/usr/include/c++/8/bits/fs_path.h

    struct _Cmpt;
    using _List = _GLIBCXX_STD_C::vector<_Cmpt>;
    _List _M_cmpts; // empty unless _M_type == _Type::_Multi

根据堆栈跟踪,在复制此向量时,我们立即进入stl_vector.h

/usr/include/c++/8/bits/stl_vector.h

      vector(const vector& __x)
      : _Base(__x.size(),
        _Alloc_traits::_S_select_on_copy(__x._M_get_Tp_allocator()))
      {

但是如果我们在__n的构造函数中打印_Vector_base的值,

      _Vector_base(size_t __n, const allocator_type& __a)
      : _M_impl(__a)
      { _M_create_storage(__n); }

我们将得到一个非常大的数字,这使我认为不正确的向量__x是以某种方式传递给了复制构造函数。

现在,当将g ++-8与g ++-9的库结合使用时,为什么会发生这种情况,我暂时不知道,我想如果他们需要了解真正的原因,则应该更深入一点。

但是,我想,您对主要问题的答案是“问题是由您的编译器和库版本之间不兼容引起的”:)