在堆中创建数组时崩溃,并在有/没有shared_ptr的情况下将其删除

Crash in creating an array in the heap and delete it with/without shared_ptr

本文关键字:ptr shared 情况下 删除 没有 创建 数组 崩溃      更新时间:2023-10-16

我完全知道,如果我想创建一个指向数组的智能指针,最好的方法是使用

     boost::shared_array<T>( new T[20] );

我不明白的是,当这种类型的共享指针超出范围时,我会遇到崩溃。

     boost::shared_ptr<T>( new T[20] );

我一直认为上面的代码会产生泄漏,因为它通过不触及其他元素来调用数组的第一个元素的 delete,但事实并非如此,我有一个分段错误。

你能帮我理解为什么吗?如果我不使用共享指针而是使用普通的普通指针,我的行为最糟糕

       CMyClass *p = new CMyCLass[10];
       ///....do stuff
       delete p;
       *** glibc detected *** ./test: munmap_chunk(): invalid pointer: 0x088eb00c ***

你能帮我理解为什么吗?如果我不使用共享指针而是使用普通的普通指针,我的行为最糟糕

因为您的代码具有未定义的行为

CMyClass *p = new CMyCLass[10];
///....do stuff
delete []p;
      ^^^^ <-------------that is Missing!

您需要使用delete [] .

  1. 如果使用new分配,则必须使用 delete
  2. 如果使用new []分配,则必须使用delete []

否则会导致未定义的行为。一个是未定义的行为,那么你的程序可能会显示任何行为。它可能会崩溃或工作或其他什么(字面意思),所以所有安全赌注都关闭了。

如何将自定义释放与shared_ptr一起使用?

对于shared_ptr,您应该使用自己的自定义删除器函数来适当地解除分配。在使用 new [] 进行数组分配的情况下,需要使用 delete [] 。像这样:

template
class CustomDeleter
{
public:
    void operator () (T* d) const
    {
        delete [] d;
    }
};
int main ()
{
    std::shared_ptr array(new Myclass[256], CustomDeleter());
    return 0;
}

如果一个元素new ed,则需要delete d。 如果是new[] ed,则需要delete[] d。

我怀疑当shared_ptr尝试delete而不是delete[]元素时会出现您的问题。

如果使用new T[N]()分配数组,则必须调用delete []才能释放它,但是shared_ptr调用delete会导致错误。最简单的方法是使用 boost::shared_array<T> 将数组存储在 ref 计数指针中。

为什么不使用一组智能指针?