如何使用Googletest断言验证函数为无返回值(void)类型

函数返回值类型属于C++静态类型系统的特性，校验逻辑可以在编译期完成，也可以结合Googletest的断言能力整合到测试用例中统一管理，以下是具体实现方案：

方案1：编译期静态断言（推荐） #

编译期判断可以在构建阶段就发现问题，不需要等到测试运行，你可以直接用C++标准库的类型萃取配合静态断言实现：

#include <type_traits>

// 校验无参函数MyFunction返回值为void
static_assert(std::is_same_v<decltype(MyFunction()), void>, "MyFunction must return void");

如果你要把校验逻辑放到Googletest测试套中统一管理，可以用Googletest 1.10及以上版本提供的GTEST_STATIC_ASSERT宏：

#include <gtest/gtest.h>
#include <type_traits>

TEST(FunctionReturnTypeTest, MyFunctionReturnVoid) {
  GTEST_STATIC_ASSERT(std::is_same_v<decltype(MyFunction()), void>);
}

注意：

• 如果MyFunction需要传参，只需要在decltype的括号里传入对应类型的占位值即可，比如decltype(MyFunction(1, "test"))，不会实际执行函数调用。
• 如果要校验非静态成员函数的返回类型，写法调整为decltype(std::declval<MyClass>().MyFunction())，std::declval会模拟生成类实例用于类型推导，不需要实际构造对象。
• 存在函数重载的场景参考下文的特殊处理方案。

方案2：运行期类型断言 #

如果你需要用类似EXPECT_EQ的运行时断言写法，和其他运行时测试逻辑保持一致，可以通过std::is_same的常量值实现：

#include <gtest/gtest.h>
#include <type_traits>

TEST(FunctionReturnTypeTest, MyFunctionReturnVoid) {
  EXPECT_TRUE((std::is_same<decltype(MyFunction()), void>::value)) << "MyFunction's return type is not void";
}

类型不匹配时测试运行会直接报错，输出自定义的错误提示。

重载函数的特殊处理 #

如果函数存在多个重载版本，可以通过指定函数签名的方式萃取对应版本的返回类型，避免歧义：

// 假设MyFunction有两个重载：void MyFunction(int) 和 int MyFunction(std::string)
// 校验入参为int的重载返回void
using TargetFuncType = void(*)(int);
static_assert(std::is_same_v<TargetFuncType, decltype(static_cast<TargetFuncType>(&MyFunction))>);

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