当前标准是否保证在初始化完整对象引发异常时调用子对象的析构函数

分段 except.ctor 规则规定:

1. 当控件从抛出异常的点传递到处理程序时 自动存储持续时间 由本子条款中指定的称为堆栈展开的过程销毁。
2. [...]
3. 如果通过委托构造函数以外的方式终止对对象的初始化或销毁,则会为该对象的每个直接子对象调用析构函数,对于完整的对象,会为其初始化已完成([dcl.init])且其析构函数尚未开始执行的虚拟基类子对象调用析构函数,除了在销毁的情况下,类联合的变体成员不会被销毁。[注意:如果这样一个对象的引用成员延长了临时对象的生存期,那么引用成员的生存期就结束了,因此临时对象的生存期实际上不会延长。结束注意]子对象的销毁顺序与其构造完成顺序相反。在进入构造函数或析构函数(如果有的话)的函数try块的处理程序之前,会对这种销毁进行排序。

根据bullet 3,这些状态也可以被视为堆栈展开过程的一部分。因为第一条规则听起来像是堆栈展开的调用只针对具有 自动存储持续时间 .该堆栈展开不会调用具有动态存储持续时间或其他持续时间的对象吗?

#include <iostream>
struct A{
  ~A(){
    std::cout<<"invoke\n";
  }
};
struct B{
 B(){
   throw 0;
 }
  A a;
};
int main(){
   try{  
      auto ptr = new B{};
    }catch(int){
   }
}

显然,子对象 a 占用具有 动态存储持续时间 在我看来,A的析构函数应该被调用,因为它是在B的初始化过程中完全构造的。GCC和Clang都同意这一点 that .它是这些编译器的扩展吗?如何解读?