C++: delete与内存泄露

最新推荐文章于 2023-08-08 00:06:43 发布

原创最新推荐文章于 2023-08-08 00:06:43 发布 · 1k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#C++ #delete #内存泄露

C++ 专栏收录该内容

26 篇文章

订阅专栏

本文探讨了C++中new和delete运算符的基本用法及其潜在问题，特别是在继承类中使用指针删除对象时可能导致的内存泄漏。通过示例说明了如何利用虚析构函数确保正确调用派生类的析构函数。

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

在C++中可以方便地通过运算符new和delete来动态分配内存，其中new的默认语义是分配内存并调用构造函数，而delete的默认语义是调用析构函数并释放内存，需要注意的是这两个运算符都和指针打交道，而涉及到指针事情就有点复杂了，来看一个例子：

class A {
	public:
	~A() { cout<<"destructor of A"<<endl; }
};

class B : public A {
	public:
	~B() { cout<<"destructor of B"<<endl; }
};

int main(){
	
	A *p = new B();
	delete p;

	return 0;
}

在这个例子中，B继承于A，所以A的指针可以指向B，在main()中我们动态创建了一个B的对象，并用一个A的指针来指向它，当我们不需要这个对象时，理应调用B的析构函数并释放掉相应的内存，所以直接就 delete p 了，那么输出结果呢？

destructor of A;

只有A的析构函数被调用了，所以如果我们在B的析构函数中有一些释放内存的操作，那么这些释放内存的操作不会被执行，从而引发内存泄露，导致这个问题的原因在于编译器认为delete后面跟的是静态指针，所以它会根据p的类型来在编译期确定哪个析构函数被调用，在此例中，p是A类型的指针，所以A的析构函数被调用。避免这个问题的方法是使用虚析构函数，如下：

#include <iostream>
using namespace std;

class A {
	public:
	virtual ~A() { cout<<"destructor of A"<<endl; }
};

class B : public A {
	public:
	~B() { cout<<"destructor of B"<<endl; }
};

int main(){
	
	A *p = new B();
	delete p;

	return 0;
}

在此例中，A的析构函数用virtual来修饰，意味着所以派生于A的类及A都拥有虚析构函数，虚析构函数也是虚函数，所以会用到C++的动态绑定机制，这样当delete p的时候，编译器发现p虽然是A类型的，但是A拥有虚析构函数，所以它就按照虚函数的调用机制来安插代码从而在执行期调用p真正指向的对象的析构函数，所以最终可以在执行期找到B的析构函数，执行结果也如我们所料：先调用B的析构函数，再调用基类A的析构函数

destructor of B;
destructor of A;