Catch2:测试两种类型列表的所有排列

Question

我需要用Catch2编写一些单元测试，每个测试用例都应该针对两个类型列表的每一个可能的排列来执行。我喜欢这样的东西

// Some types defined in my project
class A;
class B;

PERMUTATION_TEST_CASE ("Foo", (A, B), (float, double))
{
   TestTypeX x;
   TestTypeY y;
}

其中，测试用例将执行4次

TestTypeX = A, TestTypeY = float
TestTypeX = A, TestTypeY = double
TestTypeX = B, TestTypeY = float
TestTypeX = B, TestTypeY = double

或者，类似这样的事情也是可能的。

constexpr A a;
constexpr B b;

TEMPLATE_TEST_CASE ("Foo", float, double)
{
   auto x = GENERATE (a, b); // does not work because a and b have different types
   TestType y; 
}

据我所知，在catch2中没有这样的东西。在参数化测试用例中，TEMPLATE_TEST_CASE解决了单个类型列表的问题，但不能解决两个列表的每个排列问题，还有TEMPLATE_PRODUCT_TEST_CASE解决了第一类是模板的情况下的问题，然后用第二个列表的每种类型实例化--这也不是我在这里需要的。

对于我目前正在忽略的内容，是否有合适的catch2机制？我使用的是Catch2版本3.1.0。

与这个2x2示例相比，我在现实世界中的需求要大得多，所以手动指定所有排列并不是我最喜欢的选择。

Answer 1

您可以创建类型表的笛卡儿积，然后：

using MyTypes = cross_product<type_list<A, B>, type_list<float, double>>::type;
// using MyTypes = type_list<std::pair<A, float>, std::pair<A, double>,
//                           std::pair<B, float>, std::pair<B, double>>;
TEMPLATE_LIST_TEST_CASE("some_name", "[xxx]", MyTypes)
{
    using TestTypeX = typename TestType::first_type;  // A or B
    using TestTypeY = typename TestType::second_type; // float or double
    // ...
}

同样，TEMPLATE_PRODUCT_TEST_CASE可以与包装器类型一起使用(Ab)：

template <typename T>
struct A_with
{
    using first_type = A;
    using second_type = T;
};
template <typename T>
struct B_with
{
    using first_type = B;
    using second_type = T;
};

TEMPLATE_PRODUCT_TEST_CASE("some name", "[xxx]", (A_with, B_with), (float, double))
{
    using TestTypeX = typename TestType::first_type;  // A or B
    using TestTypeY = typename TestType::second_type; // float or double
    // ...
}