std::unique_ptr 在虚拟析构函数上重置 SIGABRT

阿里纳克

我花了一些时间试图追踪这个问题,但我在这里有一个小例子显示了我看到的错误。如果我省略带有重置的行,它就可以正常工作。

#include <memory>
#include <unordered_map>
#include <iostream>

class Base {
    public:
        virtual ~Base() = 0;
};

Base::~Base(){}

class D1 : public Base {
    public:
        ~D1(){}
};

class D2 : public Base {
    public:
        ~D2(){}
};

struct Foo {
    using MyMap = std::unordered_map<std::size_t, std::unique_ptr<Base>>;

    MyMap _test;
};



int main(){
    Foo f;
    /** Works fine **/
    f._test[12] = std::make_unique<D2>();
    f._test[1] = std::make_unique<D1>();

    D2 newD2;
    f._test[12].reset(&newD2);

    /** Execution reaches here **/
    std::cout<<"Foo!"<<std::endl;

    /** Sigabrt on cleanup **/
    return 0;
}

该程序编译良好

Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-linux-gnu/6.3.1/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --disable-multilib --disable-werror --enable-checking=release
Thread model: posix
gcc version 6.3.1 20170306 (GCC) 

没有警告或错误。但是当程序运行并退出时,它似乎在清理时 sigbart。Valgrind有以下几点要说

==24694== Memcheck, a memory error detector
==24694== Copyright (C) 2002-2015, and GNU GPL'd, by Julian Seward et al.
==24694== Using Valgrind-3.12.0 and LibVEX; rerun with -h for copyright info
==24694== Command: ./test
==24694== 
Foo!
pure virtual method called
terminate called without an active exception
==24694== 
==24694== Process terminating with default action of signal 6 (SIGABRT): dumping core
==24694==    at 0x427E502: raise (in /usr/lib/libc-2.25.so)
==24694==    by 0x427FCD6: abort (in /usr/lib/libc-2.25.so)
==24694==    by 0x40CC6CE: __gnu_cxx::__verbose_terminate_handler() (vterminate.cc:95)
==24694==    by 0x40CA063: __cxxabiv1::__terminate(void (*)()) (eh_terminate.cc:47)
==24694==    by 0x40CA0DC: std::terminate() (eh_terminate.cc:57)
==24694==    by 0x40CAED3: __cxa_pure_virtual (pure.cc:50)
==24694==    by 0x8049A29: std::default_delete<Base>::operator()(Base*) const (in /home/aryan/Desktop/Gists/test)
==24694==    by 0x804A946: std::unique_ptr<Base, std::default_delete<Base> >::~unique_ptr() (in /home/aryan/Desktop/Gists/test)
==24694==    by 0x804A74C: std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > >::~pair() (in /home/aryan/Desktop/Gists/test)
==24694==    by 0x804A764: void __gnu_cxx::new_allocator<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > > >::destroy<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > > >(std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > >*) (in /home/aryan/Desktop/Gists/test)
==24694==    by 0x804A3D6: void std::allocator_traits<std::allocator<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > > > >::destroy<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > > >(std::allocator<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > > >&, std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > >*) (in /home/aryan/Desktop/Gists/test)
==24694==    by 0x8049F65: std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > >, false> > >::_M_deallocate_node(std::__detail::_Hash_node<std::pair<unsigned int const, std::unique_ptr<Base, std::default_delete<Base> > >, false>*) (in /home/aryan/Desktop/Gists/test)
==24694== 
==24694== HEAP SUMMARY:
==24694==     in use at exit: 32 bytes in 2 blocks
==24694==   total heap usage: 8 allocs, 6 frees, 20,028 bytes allocated
==24694== 
==24694== LEAK SUMMARY:
==24694==    definitely lost: 0 bytes in 0 blocks
==24694==    indirectly lost: 0 bytes in 0 blocks
==24694==      possibly lost: 0 bytes in 0 blocks
==24694==    still reachable: 32 bytes in 2 blocks
==24694==         suppressed: 0 bytes in 0 blocks
==24694== Rerun with --leak-check=full to see details of leaked memory
==24694== 
==24694== For counts of detected and suppressed errors, rerun with: -v
==24694== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
Aborted (core dumped)

至于问题,我是否遗漏了一些明显的东西,或者这是一个错误?我现在手头没有其他编译器可以测试..

戴帽子的公鸡
D2 newD2;
f._test[12].reset(&newD2);

您将unique_ptr指针指向具有自动生命周期的变量。那是不,不。

unique_ptr超出范围时,它尝试执行delete ptr;ptr从未分配过,new因此您delete失败了,您会得到一个不错的 SIGABRT。newD2将被自己销毁,因为它无论如何都有自动生命周期。

这是带有或不带有虚拟的未定义行为,虚拟可能只是 SIGABRT 的触发器。

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

std :: unique_ptr析构函数构造函数顺序

std :: unique_ptr constexpr构造函数

std :: unique_ptr构造函数的行为

std :: unique_ptr是否在其析构函数中将其基础指针设置为nullptr?

thread_local std :: unique_ptr版本未调用析构函数

如果A有析构函数,std :: unique_ptr <A>什么时候需要特殊的删除器?

std :: unique_ptr和std :: shared_ptr作为虚拟函数的参数

unique_ptr析构函数的优势

使用std :: map时,包含unique_ptr的结构中的默认析构函数会导致编译错误

如何允许 std::unique_ptr 访问类的私有析构函数或使用私有析构函数实现 C++ 工厂类?

C ++ std :: unique_ptr从函数返回并测试null

结合 std::unique_ptr 和命名构造函数

如何将std :: unique_ptr传递给函数

std :: unique_ptr会干扰某些sf :: RenderWindow函数?

具有std :: unique_ptr的容器的访问器函数

std :: unique_ptr尝试引用已删除的函数

奇怪的错误:当未真正创建指针时,使用删除的函数'std :: unique_ptr <_Tp,_Dp> :: unique_ptr

具有显式析构函数和std :: unique_ptr <>成员的类不能在std :: vector <>中使用吗?

为什么要为具有非平凡析构函数的类声明constrexpr构造函数(例如unique_ptr,std :: variant)

从工厂函数返回std :: unique_ptr <T>,创建纯虚拟接口的完全隐藏的实现

std :: unique_ptr的自定义删除程序是否是手动调用析构函数的有效位置?

unique_ptr :: release()是否调用析构函数?

使用unique_ptr保护的析构函数

unique_ptr 两次调用析构函数

将std :: list <std :: unique_ptr>移至向量尝试引用已删除的函数

std :: list <std :: unique_ptr>:空的初始化列表与默认构造函数

C ++ std :: unique_ptr存储在std :: map内部,使用删除的函数会形成不良

是否可以使用fill构造函数创建std :: vector <std :: unique_ptr <Bar >>?

如何将包含 std::unique_ptr 的 std::optional 结构传递给函数?