全局无析构函数的布尔变量在全局销毁阶段是否可靠？

你问的是：如果把布尔标志这类没有析构函数的简单数据类型设为全局变量，在全局对象销毁阶段（程序退出时）这个变量是否仍然可靠？这种可靠性有没有标准层面的保障？比如你给出的代码运行结果是否是明确定义的？

核心结论 #

对于像bool这种**平凡类型（trivial type）**的全局变量，在全局销毁阶段访问它是完全可靠且有C++标准明确保障的，你给出的代码运行结果是确定的——最终会输出Flag value: 1（部分编译器可能输出true，但逻辑上都是表示true的状态）。

1. C++标准对全局变量生命周期的规定 #

咱们先从标准规则说起：

• 全局变量的初始化发生在main函数执行之前，对于bool这种平凡类型，属于零初始化+常量初始化，在程序启动的最早阶段就完成了，默认值是false。
• 全局对象的销毁顺序遵循与初始化顺序相反的原则，但对于没有析构函数的平凡类型全局变量，标准明确规定它们的“销毁”不会执行任何操作——简单说就是，这些变量的内存直到程序完全终止前都是有效的，不会被提前释放或篡改，它们的值会保持最后一次被设置的状态。

2. 你的示例代码具体分析 #

拆解你的代码来看：

• g_flag是匿名命名空间里的全局bool变量，属于平凡类型，初始化后默认是false，然后在main函数里被SetFlagState(true)设置为true。
• g_FlagChecker是全局的FlagChecker对象，它的析构函数会在main函数返回后、程序退出前被调用。此时访问g_flag完全合法：
  • g_flag没有析构函数，它的内存不会在g_FlagChecker析构前被回收；
  • 按照标准，平凡类型全局变量的销毁不做任何操作，所以它的值会保持main函数里设置的true状态。

3. 需要注意的风险场景 #

当然，如果你的全局变量是非平凡类型（比如带有自定义析构函数的类对象），那就要小心销毁顺序的问题了：如果FlagChecker的析构函数访问的是另一个有析构函数的全局对象，而那个对象的销毁顺序在FlagChecker之前，那访问它就会导致未定义行为。但你的例子里是bool这种平凡类型，完全不存在这个风险。

你的示例代码 #

Flag.h

void SetFlagState(bool flag);
bool GetFlagState();

Flag.cpp

#include <Flag.h>

namespace {
// local declarations
bool g_flag;
}

void SetFlagState(bool flag) {
    g_flag = flag;
}

bool GetFlagState() {
    return g_flag;
}

Main.cpp

#include <iostream>
#include <Flag.h>

class FlagChecker {
public:
    ~FlagChecker() {
        std::cout << "Flag value: " << GetFlagState() << std::endl;
    }
};

FlagChecker g_FlagChecker; // global instance; dtor will be called on exit

int main() {
    SetFlagState(true);
}

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