无测试用例时Valgrind检测到Boost测试框架内存泄漏

我在Ubuntu 18.04.6系统中使用apt安装的最新包：

• Boost 1.65.1
• valgrind-3.13.0

编写了一个不含测试用例的测试文件temp.cpp：

// temp.cpp
#define BOOST_TEST_MODULE some_name_here
#include <boost/test/included/unit_test.hpp>

使用以下命令编译链接（来自CMake输出）：

/usr/bin/clang++-12    -O3 -DNDEBUG   -Wall -Wextra -O0 -g -std=gnu++17 -o temp.o -c temp.cpp
/usr/bin/clang++-12  -O3 -DNDEBUG   temp.o  -o temp /usr/lib/x86_64-linux-gnu/libboost_unit_test_framework.so

执行Valgrind命令：

valgrind --leak-check=full          --show-leak-kinds=all          --track-origins=yes          --verbose          --log-file=valgrind-out.txt ./temp

检测到无效内存释放及总计102字节的确定内存泄漏错误。将链接的动态库libboost_unit_test_framework.so替换为静态库libboost_unit_test_framework.a后，该泄漏问题消失。请问为何会出现这种差异？

这种差异核心在于动态库与静态库在内存管理和生命周期处理上的机制不同，结合Boost.Test 1.65.1的版本特性，具体原因如下：

1. 动态库全局对象的销毁时机问题
   动态库中的全局/静态对象，其销毁是由系统动态加载器在主程序main函数退出后、进程彻底终止前处理的。Valgrind的内存泄漏检测逻辑以主程序执行流程为核心，会将主程序退出后才进行的内存释放判定为未被监控到的操作，进而误报为内存泄漏。
   同时，动态库版本的Boost.Test可能存在全局资源销毁顺序错误的问题：某个资源被提前释放，后续的销毁逻辑又尝试访问该已释放的内存，触发Valgrind的无效内存释放告警。

2. 静态库的代码合并与生命周期合规性
   链接静态库时，Boost.Test的代码会被直接嵌入到可执行文件中，其全局对象的生命周期完全遵循C++标准规则：在main函数退出后，按构造的逆序逐一销毁所有全局对象。Valgrind能完整监控到这一整套销毁流程，因此不会误报泄漏，也能避免动态库中可能出现的销毁顺序冲突。

3. 老版本Boost.Test的实现缺陷
   你使用的Boost 1.65.1是一个较早的版本，其动态库版本的单元测试框架存在未修复的内存管理bug。而静态库版本的代码路径、初始化/销毁逻辑与动态库不同，恰好避开了这些缺陷。后续的Boost版本已经修复了这类与动态库生命周期相关的内存问题。

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