#include<iostream>
using namespace std;
class A{ /**/ };
class B{ /**/ };
void fun(A *a, B *b)
{
/**/
}
auto main(int argc, char *argv[]) -> int
{
try
{
fun(new A(), new B()); // ? 可不可能存在内存泄漏
}
catch (std::exception& e)
{
/**/
}
return 0;
}
上面 过程可能存在内存泄漏的情况,我们首先要知道一个对象在构造的过程中发生了什么?
1. new一个对象有两个过程:
A.向系统申请内存空间
B.在申请的内存空间上执行构造函数,初始化对象。
2.内部对象构造先于对象本身。
3.对象在构造函数抛出异常后,系统会负责清理构造对象时申请的内存,但不会调用对象析构函数。
然而上面的fun()函数调用的过程中,我们给它传参是new出来的, 那么到底是A对象先构造出来,还是B对象构造出来呢? 这个是ub问题, 这种情况下是未定义的, 有可能经过编译器的优化,在分配内存的时候直接先把A的内存和B的内存先分配好了, 然后调用A的构造函数, 但是在A的构造函数过程中抛出了异常, 此时A构造函数申请的内存会被系统回收,但是对于B的那部分内存,由于B还没进行构造函数,但是已经分配了内存,故这里就存在了分配了内存但没有释放,造成了内存泄漏的情况。故正确的写法应该如下:
auto f1 = new A();
auto f2 = new B();
try
{
fun(f1, f2); // ? 可不可能存在内存泄漏
}
catch (std::exception& e)
{
/**/
}
return 0;