静态对象与全局对象的析构顺序是怎样的？Meyer单例析构问题如何解决？

首先明确：你遇到的单例先于全局对象析构的行为是C++标准明确定义的，不属于编译器自定义行为，所有符合标准的编译器都会遵循如下规则：

• 所有静态存储期对象（包含全局对象、函数内静态对象、类静态成员对象）的析构顺序，与它们构造完成的顺序严格逆序。
• 同一编译单元内的全局对象按定义顺序依次构造，析构按定义逆序执行。
• 不同编译单元的全局对象构造顺序未定义，因此析构顺序也未定义。
• Meyer单例本质是函数内的静态局部对象，构造时机为第一次执行到该静态变量的定义语句时，属于延迟构造。

你遇到的段错误完全符合标准规则：

当调用方对象是全局作用域对象时，如果全局对象的构造完成时间早于Meyer单例的构造完成时间，按照逆序析构规则，单例会先于全局对象析构。此时全局对象的析构函数再访问单例时，就会访问已经被销毁的对象，触发段错误。
而当调用方对象是函数作用域内的局部对象时，它的构造时机晚于Meyer单例的构造时机，析构时局部对象先于单例销毁，因此运行正常。

你可以根据业务场景选择如下几种修改方式：

• 强制保证单例先完成构造
  在全局调用方对象的构造函数开头，先主动调用一次单例的get()方法，强制触发单例的构造，确保单例的构造完成时间早于全局对象的构造完成时间。这样析构时全局对象会先于单例销毁，不会出现访问失效问题。
  示例代码：

  class GlobalCaller {
  public:
      GlobalCaller() {
          // 构造函数开头先触发单例构造
          Singleton::get();
          // 剩余构造逻辑
      }
      ~GlobalCaller() {
          Singleton::get()->do_something();
      }
  };
  // 全局调用方对象
  GlobalCaller g_caller;
  

• 使用无销毁单例实现
  如果你的单例不需要在程序退出时执行特殊析构逻辑（比如没有需要手动释放的系统资源、文件句柄等），可以将单例改为堆分配永不析构，彻底规避生命周期依赖问题：

  Singleton& Singleton::get() {
      static Singleton* ins = new Singleton();
      return *ins;
  }
  

  该实现下单例对象不会被自动析构，程序退出时操作系统会自动回收其占用的内存，不存在访问已销毁对象的问题。
• 使用Phoenix单例模式
  如果你的单例必须执行析构逻辑，又需要支持在程序退出的析构阶段被其他静态对象调用，可以使用Phoenix单例实现：当检测到单例已经被析构时，重新在静态存储区构造一个新的单例对象，程序退出时操作系统会处理最终的资源回收。

内容的提问来源于stack exchange，提问作者yashC