c++ - 函数，在对象销毁期间调用

Question

您能否提供反射(reflect)以下规则的代码示例:

N3797 c++14，第 3.6.3/2 节:

If a function contains a block-scope object of static or thread storage duration that has been destroyed and the function is called during the destruction of an object with static or thread storage duration, the program has undefined behavior if the flow of control passes through the definition of the previously destroyed block-scope object.

Answer 1

给你:

void theFunction()
{
  static std::unique_ptr<int> foo { new int(42) };
}

struct Creator
{
  Creator() { theFunction(); }
};


struct Destroyer
{
  ~Destroyer() { theFunction(); }
};

Destroyer d;
Creator c;

int main()
{}

d 首先被创建，但它的构造函数什么也不做。然后，c 被创建，作为其初始化的一部分，theFunction() 被调用，这导致 block 作用域 static-storage-duration 变量 foo 被初始化。

然后，在程序退出时，静态存储对象以相反的构造顺序销毁。所以foo被销毁，然后是c。最后，d 被销毁，但是它的析构函数调用了 theFunction()，这导致控制流再次到达 foo 的定义，在它被销毁之后已经销毁了。

您显示的标准引述将未定义的行为归因于此。