当你构建和销毁一个对象的时候，构造函数与析构函数通常是成对出现的，如果调用构造函数的次数多于析构函数，那么多半有内存（或其它资源）泄漏了。

struct Resource
{Resource() { puts("create"); } //构造函数~Resource() { puts("destroy"); }  //析构函数
};

C++11 支持匿名对象

struct Test
{int a;int b;
};int main()
{Test { 10, 20 }; //生成一个匿名对象， a = 10, b = 20
}

我们构造一个 Resource 的结构体，然后用这个结构体构造匿名对象

struct User
{Resource r1;Resource r2;
};

构造两个函数，一个正常创建一个 Resource 对象，一个在创建过程中抛出一个异常

Resource make_1() { return Resource(); }
Resource make_2() { throw std::runtime_error("failed"); }

现在测试，在匿名对象中抛出一个异常，检测 create 与 destroy 是否成对出现

//prog.cc#include <cstdio>
#include <stdexcept>struct Resource
{Resource() { puts("create"); }~Resource() { puts("destroy"); }
};//正常创建对象
Resource make_1() { return Resource(); }
//抛出异常
Resource make_2() { throw std::runtime_error("failed"); }struct User
{Resource r1;Resource r2;
};int main()
{try { User {make_1(), make_2()}; }catch (...) {}
}//command: g++ -std=c++11 prog.cc -o obj
//output:  create

可见，发生了内存泄漏。如果把 main 函数换成下列代码，则能不会发生内存泄漏

int main()
{try { User u{make_1(), make_2()}; }//非匿名对象，使用集合初始化器初始化catch (...) {}
}

分析原因：

非匿名对象情况下的 异常处理代码：

L18:movl    36(%esp), %eaxmovl    %eax, 24(%esp)leal    94(%esp), %eaxmovl    %eax, %ecxcall    __ZN8ResourceD1Ev //注意这里，调用了一次 Resource 的析构函数movl    24(%esp), %eaxmovl    %eax, (%esp)call    ___cxa_begin_catch //异常捕获开始movl    $-1, 32(%esp)call    ___cxa_end_catch  //异常捕获结束jmp     L17

匿名对象的 异常处理代码：

L18:movl    36(%esp), %eaxmovl    %eax, (%esp)call    ___cxa_begin_catch  //异常处理开始movl    $-1, 32(%esp)call    ___cxa_end_catch    //异常处理结束jmp     L17

通过对比可以发现，GCC不会在异常处理机制中调用匿名对象的析构函数，而对于具名对象，通过静态检查，查看 throw 前有多少个对象，则在异常处理部分加上对应个数的析构函数，比如:

struct Test
{Object a;Object b;Object c;Object d;
}try{Test t { new Test(), new Test(), bug here, new Test() };
}catch(...){}

此时，异常处理部分中会添加 a, b 两个对象的析构函数。

Author： tiger Bin · L

Reference: https://akrzemi1.wordpress.com/2017/04/27/a-serious-bug-in-gcc/