裸函数指针更适合mock外部c接口,因其零成本抽象、无堆分配和虚调用开销,保障实时性与确定性;而std::function的类型擦除会引入不可控开销。

为什么裸函数指针比 std::function 更适合 Mock 外部 C 接口
在嵌入式或实时性敏感的测试场景中(比如驱动层、协议栈、电机控制),std::function 的类型擦除机制会引入不可控的堆分配(即使启用小对象优化)和虚函数调用开销,导致行为不可预测、缓存抖动,甚至破坏时序约束。而裸函数指针是零成本抽象:编译期绑定地址、无间接跳转、内联友好,反汇编就是一条 call reg。Mock 外部 C 函数时,你真正需要的是确定性——不是灵活性。
如何用全局函数指针实现 C 接口的可插拔 Mock
核心思路是把外部 C 函数的调用路径“劫持”到一个可替换的函数指针上。这要求接口本身支持间接调用,且不能硬编码函数名。
- 定义一个函数指针类型,与目标 C 函数签名严格一致,例如:
typedef int (*db_connect_fn)(const char* url); - 声明全局指针变量(非 static,确保跨编译单元可见):
db_connect_fn g_db_connect = nullptr; - 在原始 C 接口包装器中,用该指针代替直接调用:
int wrapper_connect(const char* url) { return g_db_connect ? g_db_connect(url) : -1; } - 测试前注入 mock 实现:
g_db_connect = [](const char* url) -> int { return (std::string(url) == "test://ok") ? 0 : -1; };
注意:该方案不依赖虚函数或 RTTI,完全兼容 C ABI,也适用于 C++ 编译为 C 链接的接口。
Mock 类成员函数时,MOCK_METHOD 必须配合虚函数使用
Google Mock 只能模拟声明为 virtual 的成员函数。如果你要 Mock 的类没有虚函数,或者接口是 final 的,MOCK_METHOD 会编译失败——它本质是生成继承类并重写虚函数表项。
- 原始类必须有至少一个虚函数(通常是
virtual ~Interface() = default;),否则无法被继承 - 所有待 Mock 的方法必须声明为
virtual,并在派生 Mock 类中用MOCK_METHOD显式声明,例如:MOCK_METHOD(bool, Connect, (const std::string&), (override)); - 测试中必须通过指针或引用来调用(多态),直接以值方式传入对象会切片,Mock 行为失效
- 若原类无虚析构,不要试图强行 Mock;应重构为依赖抽象接口(如提取
DatabaseInterface),而非对具体类打桩
状态机类中切换 Mock 行为时,避免修改 current_state 的生命周期
在带状态机的被测类中做 Mock,常见错误是把 current_state 声明为局部静态变量,导致其生命周期与测试用例不一致,上一个 TEST_F 的状态污染下一个。
-
current_state必须是类成员变量(推荐)或全局变量,不能是函数内static状态指针 - 每个测试用例执行前,需显式重置状态指针,例如在
SetUp()中:current_state = &idle_state; - 不要在状态函数内部递归调用自身或其它状态函数(如
current_state(event, ctx)再次触发相同状态),这会绕过状态机单步语义,使 Mock 验证失效 - 如果状态函数里调用了外部 C 接口(如
log_event()),确保该接口已通过前述函数指针方式 Mock,否则测试仍会触达真实实现
最易被忽略的一点:Mock 的有效性高度依赖调用路径是否真的经过你替换的那个指针或虚函数入口。任何直接函数调用、内联展开、或模板特化都可能绕过 Mock 层——务必检查实际调用栈或生成的汇编。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











