局部静态物体的静态破坏

Question

帮我理解这个...参见粗体。从标准3.6.3终止（2）

如果一个函数包含一个静态或线程存储持续时间的块作用域对象，该对象已经被破坏，并且该函数在一个静态或线程存储持续时间的对象被破坏期间被调用，如果控制的信息通过了先前被破坏的blockscope对象的识别，则该程序具有未被修改的行为。同样，如果块作用域对象在销毁后被间接使用（即通过指针），则该行为将被忽略。

Manager& GetManager()
{
    static Manager localMan;
    return localMan;
}

{
   static User localUser;
   localUser.DoSomething(); //localUser calls GetManager and uses the reference returned.
}

User::~User()
{
   GetManager().DoSomethingOneLastTime();
}

//Now lets say Main exits and static destruction begins.
//Somehow localMan is destructed before User.
//Then user calls the GetManager() function in it's destructor.
//What case is this defined, and what case makes this undefined?

有人对此有明确的见解吗？

Answer 1

我相信这里的关键短语是

是否创建新静态

如果这种情况发生在静态对象的销毁过程中，并且会导致一些已经销毁的静态对象的重新创建，那么它们将在何时被销毁？如果导致循环怎么办？系统应该如何跟踪这一切？可能的好处值得麻烦吗？

可能不会，因为语言标准明确决定不对此进行定义。