goto 和析构函数兼容吗？

Question

此代码会导致未定义的行为：

void some_func() {
  goto undefined;
  {
    T x = T();
    undefined:
  }
}

不调用构造函数。

但是这段代码呢？ x 的析构函数会被调用吗？ 我想会的，但我想确定一下。 :)

void some_func() {
  {
    T x = T();
    goto out;
  }
  out:
}

Answer 1

是的，析构函数将按预期被调用，就像您由于异常而提前退出作用域一样。

标准 6.6/2（跳转语句）：

退出作用域时（无论完成情况如何），将为在该作用域中声明的所有具有自动存储持续时间的构造对象调用析构函数，按照其声明的相反顺序。