GoogleTest中EXPECT_DEATH无法捕获double free错误的问题咨询

问题根因 #

你的测试失败和Google Test本身无关，核心是两个底层原因：

1. double free本身是未定义行为，默认不会必然触发崩溃
   主流libc（比如glibc的ptmalloc实现）默认不会开启严格的内存错误检测，对于刚释放的小内存块执行重复free操作，很多时候只会破坏堆的管理结构，不会当场触发程序终止，只有后续分配内存触发堆结构校验失败时才会崩溃，甚至部分场景下libc会直接忽略无效的free操作。
   你直接运行程序会崩溃，大概率是本地环境默认开启了内存检测（比如编译时加了ASAN、环境变量MALLOC_CHECK_被设为非0值），而Google Test运行测试时会重置部分环境变量，或者继承的环境没有开启对应检测，所以不会触发崩溃。
2. 你的测试逻辑本身缺乏可靠性
   靠"二次free崩溃"来间接验证内存已经被释放的思路本质不可靠，崩溃是未定义行为的偶发表现，不是必然结果，无法作为测试断言的依据。

可行解决方案 #

方案1：使用地址消毒器(ASAN)（最推荐） #

编译测试程序时加入ASAN编译选项，ASAN会严格检测所有内存操作错误，double free会100%触发程序终止，此时死亡测试可以稳定捕获到该现象：

# 编译参数加入
g++ your_test.cpp -o test -lgtest -lgtest_main -pthread -fsanitize=address -g

此时你原来的测试用例可以直接运行通过。

方案2：显式开启glibc堆检测 #

如果不想引入ASAN，可以在测试开头手动设置glibc的内存检测级别，MALLOC_CHECK_=2时只要检测到内存操作错误就会直接触发abort()：

TEST(DEATHTEST, InvalidFree)
{
    // 开启严格堆检测，检测到错误直接abort
    setenv("MALLOC_CHECK_", "2", 1);
    ::testing::FLAGS_gtest_death_test_style = "threadsafe";

    int *data = (int *)malloc(sizeof(int));
    free(data);

    EXPECT_EXIT(free(data), ::testing::KilledBySignal(SIGABRT), ".*");
}

方案3：更换更可靠的测试逻辑 #

如果不想依赖崩溃行为做断言，可以用malloc统计接口验证内存是否被释放，不需要依赖死亡测试：

TEST(MEMTEST, VerifyFree)
{
    // 分配前统计堆占用
    struct mallinfo pre_alloc = mallinfo();
    int *data = (int *)malloc(sizeof(int));
    struct mallinfo post_alloc = mallinfo();
    // 调用你的待测试释放函数
    your_free_function(data);
    struct mallinfo post_free = mallinfo();

    // 验证分配后堆占用增加，释放后回到分配前水平
    ASSERT_GT(post_alloc.uordblks, pre_alloc.uordblks);
    ASSERT_EQ(post_free.uordblks, pre_alloc.uordblks);
}

这个方案完全不需要依赖未定义行为，测试稳定性更高。

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