调用退出函数,若 std::uncaught_exceptions() 的结果大于未捕捉异常计数(常在栈回溯时)且 scope_fail 活跃,然后销毁存储的 EF (若它为异常对象)与任何其他非静态数据成员。
scope_fail
EF
是否在栈回溯时调用析构函数可由比较 std::uncaught_exceptions() 的结果与 scope_fail 中的未捕捉异常计数器检测。