在 C++ 中使用 goto 语句销毁变量是如何发生的？

#include <iostream>
using namespace std;
int main() {
    if (true) {
        int b = 3;
    label_one:
        cout << b << endl;
        int j = 10;
        goto label_one;
    }
}

上面代码中goto跳转到label_one，使得变量j在每个循环中被销毁和重构。但是b变量会发生什么？它是被摧毁和重建还是从未被摧毁？根据 C++ ISO：

移出循环、移出块或返回具有自动存储持续时间的已初始化变量涉及销毁具有自动存储持续时间的对象，这些对象在转移点的范围内，但不在转移到的点的范围内。

我的解释是if范围内的所有变量都应该被销毁，但如果是这样，它们什么时候重新初始化（b我的代码中的变量）？