c++ - 如何将TYPED_TEST中的一些测试用例标记为预期失败？

Question

我正在一个C++学习项目中，其双重目的是学习如何编写模板代码以及学习如何使用GoogleTest。我的项目目标是实现一个有效的四元数类以及使用GoogleTest编写的功能测试。
到目前为止，我的类(class)还算不错，但是我想将一些GoogleTest测试用例标记为“预期失败”。
这是四元数的相关构造函数的签名-

template <typename T>
class quaternion {
  template <typename U, typename V, typename W, typename X>
  quaternion(U u, V v, W w, X x);
};

我正在使用GoogleTest编写一些TYPED_TEST测试用例，其中尝试创建带有给定类型的给定类型 T 的四元数，例如未签名的char，char等。
这是我的类型列表

using MyTypes = ::testing::Types<char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, long long, unsigned long long, float, double, long double>;

这是测试夹具-

TYPED_TEST(QuaternionTests, DirectInitialization00) {
  unsigned int i = 5, j = 235, k = 67, l = 82;
  this->SetUp(i, j, k, l);
  EXPECT_EQ(this->q.a, 5);
  EXPECT_EQ(this->q.b, 235);
  EXPECT_EQ(this->q.c, 67);
  EXPECT_EQ(this->q.d, 82);
}

其中SetUp仅调用 四元数构造函数。
自然，当四元数的类型为 char 时，此测试将失败，因为 四元数不能为成员 b 保留值235( unsigned int )。
我的问题是-是否可以在TYPED_TEST宏范围内将 T == char 和 unsigned int 的特定组合标记为“预期失败”？还是我必须切换到常规的TEST宏？

Answer 1

您可以修改测试的主体以处理这种情况。据我所知，没有办法将类型参数标记为预期失败。
[例如，在Python的pytest框架中，可以通过pytest.param(int, marks=pytest.mark.xfail)实现。]
当然可以自检类型参数，并跳过测试主体的测试。我怀疑可以从Google Test 1.10.0中获得Google Test now has a GTEST_SKIP() macro。
如果该宏不可用，则可以使用less explicit SUCCEED() macro，然后使用return语句:

TYPED_TEST(QuaternionTests, DirectInitialization00) { 
  // Could also check `std::numeric_limits<T>::max()` 
  // or `sizeof(T)`.
  using T = typename QuaternionTests::TypeParam;
  if constexpr (std::is_same_v<T, char>) {
    // with gtest version 1.10.0 and later (?):
    GTEST_SKIP() << "Test is not valid with T equal to `char`.";

    // or with older versions gtest:
    SUCCEED() << "Test is not valid with T equal to `char`.";
    return; 
  }

  unsigned int i = 5, j = 235, k = 67, l = 82;
  this->SetUp(i, j, k, l);

  EXPECT_EQ(this->q.a, 5);  
  EXPECT_EQ(this->q.b, 235);
  EXPECT_EQ(this->q.c, 67);
  EXPECT_EQ(this->q.d, 82);
}

另一个选择是引入一个更具信息量的类型参数，该参数包含标量类型以及有关是否期望成功的信息。例如:

template <typename T, bool ExpectSuccess = true>
struct QTestParam {
  using type = T;
  using expect_success = std::bool_constant<ExpectSuccess>;
};

using MyTypes = ::testing::Types<
   QTestParam<char, /*ExpectSuccess*/ false>,
   QTestParam<short int>,
   QTestParam<int>,
   QTestParam<long int>,
   QTestParam<float>,
   QTestParam<double>,
>;

然后，您可以定义一个这样的测试类模板，该模板以一种很好的方式提供对 bool(boolean) 指示符的访问:

template <typename Param>
struct QuaternionTests : public ::testing::Test {
  using T = Param::type;  // scalar type such as int.

  constexpr static bool ExpectSuccess() {
    return Param::expect_success{};
  }
  constexpr static bool ExpectFailure() {
    return !ExpectSuccess();
  }
};

不幸的是，我认为各个测试都需要实现“跳过”逻辑，如第一个代码片段所示:

TYPED_TEST(QuaternionTests, DirectInitialization00) {
  constexpr if (ExpectFailure()) {
    GTEST_SKIP();
  }
  // [...]
};