c++ - 引用一个可能被破坏的静态对象

Question

假设我有以下代码

Something.hpp

#pragma once

class Something {
public:
    static Something& get();
private: 
    Something();
};

Something.cpp

#include "Something.hpp"
#include <iostream>
using namespace std;

Something& Something::get() {
    static Something something;
    return something;
}
Something::Something() {
    cout << "Something()" << endl;
}

main.cpp

#include <iostream>
using namespace std;

struct SomethingElse {
    ~SomethingElse() {
        Something::get();
        cout << "~SomethingElse" << endl; 
    }
};

void func() {
    static SomethingElse something_else;
    // do something with something_else
}

int main() {
    func();
    return 0;
}

是否可以创建多个 Something 对象实例？该标准是否说明了有关序列化静态对象的销毁的内容？

注意 我知道跨不同翻译单元时文件级静态变量的破坏是未定义的，我想知道在函数范围静态变量(which have the double-checked locking pattern built into the C++ runtime)的情况下会发生什么具有文件级静态变量的相同翻译单元情况，编译器很容易根据变量在代码中的布局方式(静态)确保通过构造和销毁进行序列化，但是当变量是动态延迟创建时会发生什么调用函数？

注意 对于原始变量呢？我们可以期望它们在程序结束之前包含它们的值吗？因为它们不需要被销毁。

---

编辑

在 cppreference.com ( http://en.cppreference.com/w/cpp/utility/program/exit ) 上找到这个

If the completion of the constructor or dynamic initialization for thread-local or static object A was sequenced-before thread-local or static object B, the completion of the destruction of B is sequenced-before the start of the destruction of A

如果这是真的，那么每个静态对象的销毁都被序列化了？但是我也发现了这个

https://isocpp.org/wiki/faq/ctors#construct-on-first-use-v2这与标准相矛盾

Answer 1

静态(和全局非静态)对象的构造和销毁顺序在 C++ 规范中有明确定义，单个 translation unit !

如果您有多个翻译单元(多个源文件)，则未定义 TU 之间的构建/销毁顺序。

因此您显示的代码可以有未定义的行为。