static全局变量在动态库卸载时不析构是POSIX/Windows确定性行为，因C++标准仅规定程序退出时析构，不承诺dlclose/FreeLibrary时触发；应改用显式init/shutdown+堆分配+宿主配对管理。
动态库卸载时，static 全局变量（含函数内局部静态变量）大概率不会析构——这不是 bug，而是 POSIX 和 Windows 的确定性行为。glibc 在 dlclose 中常跳过静态析构；Windows CRT 也不保证 DLL_PROCESS_DETACH 中执行 C++ 静态对象析构。直接依赖它，等于埋下悬垂指针、未关闭 fd、未 join 线程的定时炸弹。
为什么 static 全局变量在 .so/.dll 里不析构
根本原因在于：C++ 标准只规定程序退出时按逆序析构静态对象，**不承诺动态库卸载时触发任何析构逻辑**。操作系统加载器（如 ld-linux.so 或 Windows loader）在 dlclose/FreeLibrary 过程中，通常只卸载符号表和内存映射，跳过运行时析构注册表。
-
static Singleton instance;的内存还在，但~Singleton()永远不执行 →std::thread不join()、int fd不close()、自定义内存池不释放 - 若析构函数中调用
std::cout、日志宏、Config::getInstance()，这些符号可能已从地址空间 unmapped，直接SEGFAULT - 其他模块持有该单例裸指针（如插件传入的
Logger*），卸载后解引用即未定义行为
Linux 下用 __attribute__((destructor)) 只能作兜底检查
__attribute__((destructor)) 函数会在 dlclose 后执行，但它不是“安全析构入口”，而是极受限的钩子：此时 malloc、std::string、甚至 std::mutex 析构都可能失效。它不能做实际清理，只能轻量确认。
- 定义
static void __attribute__((destructor)) so_cleanup() { if (Singleton::instance != nullptr) abort(); }—— 若非空，说明宿主忘了调shutdown()，用abort()提醒，而非尝试delete - 禁止在该函数中调用任何 STL、日志、跨模块函数；连
write(2)都要慎用（需确保 libc 符号仍可用） - 它必须与单例实现在同一编译单元，否则链接时可能被 strip 掉
Windows 下 DllMain 的 DLL_PROCESS_DETACH 必须判空 lpReserved
这是 Windows 唯一可控的卸载时机，但关键在区分卸载来源：进程退出时不能清理（CRT 已开始销毁），仅当 FreeLibrary 主动触发才可执行销毁逻辑。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 在
DllMain的DLL_PROCESS_DETACH分支中写：if (lpReserved == nullptr) { Singleton::destroyInstance(); } -
destroyInstance()内部必须用std::atomic<bool> s_destroyed{false}</bool>幂等保护，防止重复delete - 销毁前显式
join()线程、close()fd、munmap()内存，不依赖成员变量析构 - 销毁后立即将静态指针置为
nullptr，并在getInstance()开头加检查：if (!instance) throw std::runtime_error("Singleton destroyed");
最可靠方案：显式 init/shutdown + 堆分配 + 宿主控制
放弃“自动析构”幻想，把生命周期完全交由宿主程序配对管理。这是唯一跨平台、可测试、可调试的路径。
- 头文件导出两个 C 风格函数：
extern "C" void init_singleton();和extern "C" void destroy_singleton(); -
init_singleton()内用std::call_once(flag, []{ instance = new Singleton(); });保证线程安全初始化 -
destroy_singleton()内先delete instance;，再置instance = nullptr;，且禁止调用任何外部 API（不碰std::cout、不访问其他单例、不抛异常） - 宿主侧必须严格配对：
dlopen→init_singleton→ 使用 →destroy_singleton→dlclose；漏掉任意一步都会泄漏或二次析构
真正容易被忽略的点是：即使你用了堆分配+显式 shutdown，析构函数本身仍可能在不安全上下文中执行——比如系统正在跑 atexit 回调、主线程已退出、或信号处理中。所以 ~Singleton() 里只做最原始的资源释放（如 close(fd)、free(ptr)），所有带依赖的操作（日志、网络、STL 容器操作）必须提前在 destroy_singleton() 中完成。
