如果在初始化静态局部变量之前发生异常会发生什么？

Question

什么时候初始化静态局部变量？ 如果在构造函数中抛出异常，该对象是否被认为是构造的？会调用析构函数吗？

考虑闲置代码：

#include <iostream>
#include <exception>

int x = 0;

class A {
public:
  A() {
    std::cout << 'a';
    if (x++ == 0) {
      throw std::exception();
    }
  }
  ~A() { std::cout << 'A'; }
};

class B {
public:
  B() { std::cout << 'b'; }
  ~B() { std::cout << 'B'; }
  A a;
};

void foo() { static B b; }

int main() {
  try {
    foo();
  }
  catch (std::exception &) {
    std::cout << 'c';
    foo();
  }
}

输出：acabBA

第一次调用 foo() 时，尝试初始化 b。它的构造函数被调用，它首先构造所有的成员变量。这意味着 A::A() 被调用，打印 a。 A::A() 然后抛出一个异常，构造函数被中止，b 和 B::a 都没有被认为是实际构造的。

为什么第一次没有初始化b？

Answer 1

每次控制越过变量定义时，都会尝试初始化具有静态存储持续时间的块范围变量，直到成功为止。

来自 [stmt.dcl]/4：

具有静态存储持续时间 (3.7.1) 或线程存储的块范围变量的动态初始化 持续时间（3.7.2）在控制第一次通过其声明时执行；考虑这样一个变量 在其初始化完成时进行初始化。 如果初始化因抛出异常而退出，则 初始化未完成，下次控件进入声明时会再次尝试。

如果任何成员的构造抛出异常，B 类型对象的构造当然不能完成。