使用空结构体做gtest参数化测试Valgrind报未初始化值错误

问题根因 #

你遇到的Valgrind报错本质是GTest的打印逻辑触发的：

• 当GTest处理参数化测试的参数类型时，如果没有找到对应类型的PrintTo重载，会触发 fallback 逻辑：直接读取对象的所有内存字节逐段打印
• C++标准要求空类/空结构体的大小至少为1（保证不同实例有唯一内存地址），你的自定义结构体s的大小就是1字节，但这1字节属于编译器填充的占位内存，没有被初始化
• GTest读取这部分未初始化的内存做打印时，就触发了Valgrind的未初始化值访问告警
• 你添加空默认构造函数不生效的原因是：空构造函数不会主动初始化这部分填充的占位字节，内存还是未初始化状态
• 标准类型比如std::string不会有问题是因为GTest内置了这些类型的PrintTo重载，不会走逐字节打印的逻辑。

修复方案 #

方案1（最推荐）：为自定义类型实现PrintTo重载 #

给你的结构体s实现GTest要求的PrintTo函数，让GTest使用你指定的逻辑打印对象，不会再逐字节读内存：

#include "gtest/gtest.h"
#include <ostream>

struct s {};

// 必须和结构体s定义在同一个命名空间下，GTest才能找到该重载
void PrintTo(const s& /*obj*/, std::ostream* os) {
    *os << "s{}"; // 可自定义打印内容
}

class FooTest : public testing::TestWithParam<s> {};

TEST_P(FooTest, DoesBlah) {}

INSTANTIATE_TEST_SUITE_P(MeenyMinyMoe, FooTest, testing::Values(s()));

方案2：主动初始化结构体的占位内存 #

如果你不需要自定义打印逻辑，也可以显式初始化结构体的占位内存，避免出现未初始化字节：

struct s {
    // 主动加一个1字节的成员并初始化，代替原来的编译器填充字节
    char dummy = 0;
};

两种方案任意选择一种，重新编译后运行Valgrind就不会再上报该类错误。

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