本文共 856 字，大约阅读时间需要 2 分钟。

#include
   
    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.向系统申请内存空间

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;

转载地址：http://vmyxz.baihongyu.com/