[Happy Coding] delete p;而不是delete [] p; 真的会导致内存泄漏吗?

本文探讨了C++中delete与delete[]操作符的区别,特别是对于数组对象的释放及析构函数调用的不同之处。指出仅使用delete可能不会导致大部分内存泄漏,但会忽略对数组元素析构函数的调用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

给定下面的C++代码片段:

class A {    
public:
    int m_data[10];
};

A* pA = new A[20];
delete pA;

我们知道这里应该用delete [] pA;,但是delete pA;真的会导致内存泄漏吗?

要回答这个问题,我们得从delete pA;和delete [] pA;之间的区别说起。

delete 和delete []是2个C++操作符,这是标准规定的。当编译器比如GCC编译这2个操作符时,编译后步骤如下:

delete操作符:1) 首先调用pA所指向对象的析构函数(这个析构函数有可能是动态决定的,如果发现A实现了虚析构函数)。2) 调用operator delete(void*)全局函数来释放堆空间。而delete []操作符,先循环调用pA指向的数组空间中的每个数组元素A的析构函数,同样有可能是动态决定的虚析构函数,之后调用operator delete [](void*)全局函数来释放整个堆空间。

以下是operator delete(void*) 和operator delete[](void*)的一种实现:

__attribute__((__weak__, __visibility__("default")))
void
operator delete(void* ptr) _NOEXCEPT
{
    if (ptr)
        ::free(ptr);
}

__attribute__((__weak__, __visibility__("default")))
void
operator delete(void* ptr, const std::nothrow_t&) _NOEXCEPT
{
    ::operator delete(ptr);
}

__attribute__((__weak__, __visibility__("default")))
void
operator delete[] (void* ptr) _NOEXCEPT
{
    ::operator delete (ptr);
}

__attribute__((__weak__, __visibility__("default")))
void
operator delete[] (void* ptr, const std::nothrow_t&) _NOEXCEPT
{
    ::operator delete[](ptr);
}

从上面可以看出,传给operator delete(void*)和operator delete [](void*)函数的参数都是相同的。也就是说,那20个A对象空间其实都会被free掉,不管是调用delete还是delete []。所以大部分C++书中讲到的delete pA;仅仅只是释放pA[0]的内存空间,并没有释放pA[1]...pA[19]的内存空间,是不太准确的。但是pA[1]...pA[19]的对象并没有调用它们的析构函数,因而可能导致内存泄漏,这倒是存在的事实,特别是在A的析构函数需要额外释放资源时。



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值