在GTest中检测辅助方法内的断言失败问题

我希望在测试中编写一个辅助方法来覆盖一些常用检查，示例如下：

void checkAsserts(int a, int b, int c) {
  EXPECT_EQ(a, b);
  EXPECT_GT(b, c);
  EXPECT_TRUE(isPrime(c));
}

但后续调用该方法时：

checkAsserts(firstVal, secondVal, thirdVal);
checkAsserts(X, Y, Z);

若断言失败，无法确定是哪一次辅助方法调用出的问题。理想情况下我希望这样调用：

ASSERT_TRUE(checkAsserts(firstVal, secondVal, thirdVal));
ASSERT_TRUE(checkAsserts(X, Y, Z));

但目前实现这一点的唯一方式是在辅助方法中重复每个断言的判断逻辑，这很繁琐：

bool checkAsserts(int a, int b, int c) {
  bool passed = true;
  EXPECT_EQ(a, b);
  passed = passed && a == b;
  EXPECT_GT(b, c);
  passed = passed && b > c;
  EXPECT_TRUE(isPrime(c));
  passed = passed && isPrime(c);
  return passed;
}

我理想的实现方式如下：

bool checkAsserts(int a, int b, int c) {
  AssertSentinel sentinel;
  EXPECT_EQ(a, b);
  EXPECT_GT(b, c);
  EXPECT_TRUE(isPrime(c));
  return sentinel.failures().empty();
}

请问GTest是否提供了这类机制？或者有没有其他方法可以实现我的需求？

方法一：用SCOPED_TRACE标记调用上下文 #

GTest没有直接提供你设想的AssertSentinel，但可以通过SCOPED_TRACE宏给每组断言添加上下文标记，断言失败时会自动带上该标记，直接定位到调用位置，无需重复判断逻辑。

修改辅助方法：

void checkAsserts(int a, int b, int c, const char* context) {
  SCOPED_TRACE(context); // 给当前作用域的断言添加上下文
  EXPECT_EQ(a, b);
  EXPECT_GT(b, c);
  EXPECT_TRUE(isPrime(c));
}

调用时传入明确的上下文：

checkAsserts(firstVal, secondVal, thirdVal, "第一次调用checkAsserts");
checkAsserts(X, Y, Z, "第二次调用checkAsserts");

当某个断言失败时，错误日志会包含你传入的上下文信息，一眼就能看出是哪一次调用出的问题。

方法二：自定义简单版AssertSentinel #

如果一定要让辅助方法返回布尔值，可自行实现一个基于GTest全局失败状态的收集器：

class AssertSentinel {
public:
  AssertSentinel() : initial_failed_(testing::Test::HasFailure()) {}
  
  bool has_no_failures() const {
    // 对比初始状态和当前状态，判断是否有新的断言失败
    return testing::Test::HasFailure() == initial_failed_;
  }

private:
  bool initial_failed_;
};

然后修改辅助方法：

bool checkAsserts(int a, int b, int c) {
  AssertSentinel sentinel;
  EXPECT_EQ(a, b);
  EXPECT_GT(b, c);
  EXPECT_TRUE(isPrime(c));
  return sentinel.has_no_failures();
}

这个实现的核心是记录进入方法时的断言失败状态，方法结束后检查是否新增了失败。注意：该方式依赖GTest的全局失败状态，单线程测试下完全可靠，多线程场景可能存在冲突。

方法三：封装自定义断言宏（适合单一检查） #

如果你的常用检查是单一逻辑，也可以封装成自定义断言宏，宏会自动带上调用的文件名和行号，比如：

#define EXPECT_PRIME(val) EXPECT_TRUE(isPrime(val)) << #val "不是质数"

但这种方式更适合单一断言，不适合批量组合检查的场景。

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