1

在构造对象时，我在异常情况下发现了一些有趣的行为：

class bookentry
{
public:
    bookentry(){
      t1.reset(new test1);       //0 
      test1 *t11 = new test1;    //1
      test2 *t22 = new test2;    //2
      throw 1;                   //3
    }
protected:
private:
  auto_ptr<test1> t1;
  auto_ptr<test2> t2;
};

根据我的测试：

如果我们从test2 的构造函数 (#2)中抛出异常，那么

  1. t1：将被完全销毁，即调用 t1 的析构函数，并释放内存。
  2. t11：永远不会被销毁（既不调用 t11 的析构函数也不释放内存）。
  3. t22：这很有趣，t22 的析构函数不会被调用，这是对的，但是t22 的内存会被释放！

如果我们从bookentry 的构造函数中抛出异常（#3） ，这一次，情况会有些不同：t22永远不会被销毁（既不调用 t22 的析构函数也不释放内存），t11 同上

我只是对 #2 的句子感到困惑

测试2 *t22 = 新测试2；//2

似乎当我们从类构造函数中抛出异常时，new 表达式将确保调用相应的 delete，但是在该异常之前通过 new 表达式完全创建的任何对象都将被泄漏（t11，或者如果我们抛出一个 t11 和 t22 #3 例外）。

所以，如果我们编写如下代码并且第 5 个对象构造失败：

test2 *t2s = 新的 test2[10];

那么，它似乎更安全一点：

  1. 已经构建的对象将被销毁，
  2. 内存将被释放。

我的问题，这是标准的 C++ 行为吗？我只是测试了 msvc 2012 和 gcc 4.4.6，两者看起来都实现了这种机制。

编辑 使我的问题更清楚：

在某些情况下，您需要在其他正常功能中编写类似 t1.reset(new test1)[see #1 in my codes] 的代码。在这种情况下，如果构造函数抛出异常。我如何推断程序状态？有内存泄漏吗？

我的测试确保在这种情况下没有内存泄漏，但它是标准的 C++ 行为吗？

4

1 回答 1

3

规则很简单：
在该范围内完全创建的所有对象都将被销毁
上述规则不适用于指向在动态存储上分配的对象的原始指针（用 分配new）。他们需要明确地deleted。当您使用时，new您明确拥有资源管理，调用delete释放资源是您的工作，编译器不会为您执行此操作。

好读：

构造函数失败 - Herb Sutter

请注意，在 C++ 中管理资源的最佳方式是使用 RAII 和智能指针。在构造函数中更是如此。无需使用任何原始指针，只需将它们包装在智能指针中，它们会在出现此类异常时自动为您的对象进行资源管理。当您auto_ptr在代码示例中使用而不是原始指针时，您刚刚体验到了这种能力。

于 2013-05-08T05:53:11.263 回答