olm/lib/doctest/examples/all_features/templated_test_cases.cpp

73 lines
2.4 KiB
C++
Raw Normal View History

#include <doctest/doctest.h>
DOCTEST_MAKE_STD_HEADERS_CLEAN_FROM_WARNINGS_ON_WALL_BEGIN
#include <vector>
DOCTEST_MAKE_STD_HEADERS_CLEAN_FROM_WARNINGS_ON_WALL_END
// =================================================================================================
// NORMAL TEMPLATED TEST CASES
// =================================================================================================
TEST_CASE_TEMPLATE("signed integers stuff", T, signed char, short, int) {
T var = T();
--var;
CHECK(var == -1);
}
// teach the library how to stringify this type - otherwise <> will be used
TYPE_TO_STRING(std::vector<int>);
TEST_CASE_TEMPLATE("vector stuff", T, std::vector<int>) {
T vec(10);
CHECK(vec.size() == 20); // will fail
}
// =================================================================================================
// NAMED TEMPLATED TEST CASES WITH DEFERRED INSTANTIATION
// =================================================================================================
TEST_CASE_TEMPLATE_DEFINE("default construction", T, test_id) {
T var = T();
CHECK(doctest::Approx(var) == T());
}
TEST_CASE_TEMPLATE_INVOKE(test_id, signed char, short, int);
TEST_CASE_TEMPLATE_INVOKE(test_id, double, double); // note that types won't be filtered for uniqueness
TEST_CASE_TEMPLATE_APPLY(test_id, std::tuple<unsigned char, char>);
// =================================================================================================
// MULTIPLE TYPES AS PARAMETERS
// =================================================================================================
template <typename first, typename second>
struct TypePair
{
typedef first A;
typedef second B;
};
TEST_CASE_TEMPLATE("multiple types", T, TypePair<int, char>, TypePair<char, int>, TypePair<bool, int>) {
typedef typename T::A T1;
typedef typename T::B T2;
T1 t1 = T1();
T2 t2 = T2();
// use T1 and T2 types
CHECK(t1 == T1());
CHECK(t2 != T2());
}
// currently the string result will be "int_pair" instead of "TypePair<int, int>" because of the way the type stringification works
typedef TypePair<int, int> int_pair;
TYPE_TO_STRING(int_pair);
TEST_CASE_TEMPLATE("bad stringification of type pair", T, int_pair) {
typedef typename T::A T1;
typedef typename T::B T2;
T1 t1 = T1();
T2 t2 = T2();
// use T1 and T2 types
CHECK(t1 == T1());
CHECK(t2 != T2());
}