c++ - 初始化列表时如何释放资源引发异常？

Question

在下面的代码中，我没有看到 A 或 C 的析构函数被调用。我知道我可以使用智能指针等，但一般来说，当初始化列表抛出时，我们应该如何处理已经分配的资源？

#include <iostream>

using namespace std;

class C
{
public:
  ~C ()
  {
    cout << "destructing C" << endl;
  }
};

class A
{
public:
  A ()
  {
    throw bad_alloc ();
  }
   ~A ()
  {
    cout << "destructing A";
  }
};

class B
{
public:
  B () try:pc (new C ()), pa (new A ())
  {
  }
  catch (...)
  {
    cout << "bad thing happened" << endl;
    throw;
  }


  A *pa;
  C *pc;
};

int
main ()
{
  try
  {
    B b;
  } catch ( ...)
  {
    cout << "i'm catching this bad here" << endl;
  }
  cout << "Hello World" << endl;

  return 0;
}

是否保证有泄漏？如果是这样，最好在构造函数主体中分配，然后在异常处理程序中删除？

Answer 1

最佳做法是按照您在问题中的建议使用智能指针。例如：std::unique_ptr 和 std::make_unique。

class B {
 public:
  B() : pc(std::make_unique<C>()), pa(std::make_unique<A>()) {}

  std::unique_ptr<C> pc;
  std::unique_ptr<A> pa;
};

在这段代码中，如果pa 抛出，pc 的析构函数仍会被调用。