c++ - 按值捕获异常的参数时，调用析构函数的顺序是什么？

Question

在下面的代码中，b、q和e的析构函数的调用顺序是什么，哪个被调用了在处理异常之前。(“cout...”部分是原始问题的剩余部分)

#include <iostream> 
using namespace std; 

class A { 
public: 
  A(int arg) : m(arg) { 
    cout << "A::A(int) " << m << endl; 
    m = 2*arg; 
  } 
  virtual void f() { 
    cout << "A::f() " << m << endl; 
  } 
  void g() { 
    cout << "A::g(A) " << m << endl; 
  } 

  int m; 
}; 

class B : public A { 
public: 
  B(int arg) : A(arg) { 
    cout << "B::B(int) " << m << endl; 
    m = 3*arg; 
  } 
  ~B() {
    cout << "B::~B()" << endl;
  } 
  void f() {
    cout << "B::f(A&) " << m << endl; 
  } 
  virtual void g() { 
    B q(*this);
    throw q; 
    cout << "B::g(A) " << m << endl; 
  } 
}; 

int main() { 
  try { 
    B b(1);
    b.g(); 
  } catch (A e) { 
    cout << "Error: "; 
    e.f(); 
  } 
  return 0; 
} 

如果可能的话，你能解释一下原因吗？谢谢。

Answer 1

q 的析构函数首先被调用，因为它作为堆栈展开的第一部分被销毁(最内部作用域中的本地对象首先被销毁)，然后是 b的析构函数被调用，也是堆栈展开的一部分。两者甚至在进入 catch block 之前就被销毁了。堆栈展开发生在异常处理程序执行之前。

不过请记住，异常对象是在 B::g() 中复制的 q 的拷贝(异常对象)，它是b 被创建并且它的生命周期延伸到 catch block 的末尾。它用于初始化(切片!)e。

异常对象本身的析构函数(q 的拷贝)在 e 被销毁后立即执行(因为处理程序不会通过 退出)扔;)。此顺序在标准中指定。