为何MSVC未检测到静态对象析构顺序引发的内存错误？

问题本质 #

你的代码触发了全局静态对象析构顺序导致的堆内存后使用（heap-use-after-free）：

• 全局静态对象my_object先于array构造，根据C++标准，析构顺序与构造顺序相反，因此array会先被销毁
• my_object的析构函数调用array.push_back(4)时，array的内部堆内存已经被释放，属于非法访问

GCC/Clang的ASan能检测到该问题，但MSVC默认配置下未触发，可通过以下步骤解决：

解决步骤 #

1. 使用最新版MSVC并添加完整编译选项 #

MSVC的AddressSanitizer对程序退出阶段（静态对象析构）的检测需要特定配置，确保使用VS 2022 17.0及以上版本，并添加以下编译/链接选项：

• 编译选项：/fsanitize=address /EHa /Od /Zi
  • /EHa：启用异步异常处理，确保ASan能捕获所有场景下的内存错误
  • /Od：禁用优化，避免编译器优化掉触发问题的代码路径
  • /Zi：生成调试信息，方便定位问题位置
• 链接选项：/INCREMENTAL:NO（禁用增量链接，避免干扰ASan的内存检测）

2. 手动触发ASan内存检查（可选） #

如果上述选项仍未触发检测，可以在MyStruct的析构函数中添加ASan的手动检查函数，强制检测当前内存状态：

MyStruct::~MyStruct() {
    __asan_check_memory_usage(); // 触发ASan全面内存检查
    array.push_back(4);
}

__asan_check_memory_usage()是AddressSanitizer提供的接口，会主动扫描所有已分配内存的合法性，能有效捕捉静态析构阶段的非法访问。

3. 验证配置 #

完成上述设置后，运行程序，MSVC的ASan应该会输出类似以下的错误信息：

ERROR: AddressSanitizer: heap-use-after-free on address ...
READ of size 4 at ...

为什么MSVC默认未检测到？ #

MSVC的AddressSanitizer默认对程序退出阶段的静态对象析构检测力度较低，原因包括：

• 静态析构阶段的内存管理逻辑特殊，ASan默认可能跳过部分检测以避免误报
• 编译器优化可能掩盖了非法访问的触发路径
• 旧版本MSVC的ASan对全局静态对象场景的支持不完善

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