| #include <metal.hpp> |
|
|
| #include "example.hpp" |
|
|
| #include <forward_list> |
| #include <list> |
| #include <utility> |
| #include <vector> |
|
|
| |
| template<class Container, class Type, class Size> |
| struct test_case { |
| metal::invoke<Container, Type, std::allocator<Type>> sequence; |
|
|
| test_case() : sequence(Size{}) { } |
| ~test_case() { } |
|
|
| void operator ()() { } |
| }; |
| |
|
|
| struct A {}; |
| struct Z {}; |
|
|
| constexpr std::size_t MIN_SIZE = 0; |
| constexpr std::size_t MAX_SIZE = 1; |
|
|
| |
| template<class... Cases> |
| struct test_cases : Cases... { |
| void operator()() { |
| |
| void(std::initializer_list<int>{(static_cast<Cases*>(this)->operator()(), 0)...}); |
| } |
| }; |
|
|
| template<class Containers, class Types, class Sizes> |
| auto generate_test_cases() |
| -> metal::apply< |
| metal::lambda<test_cases>, |
| metal::transform< |
| metal::partial<metal::lambda<metal::apply>, metal::lambda<test_case>>, |
| metal::cartesian<Containers, Types, Sizes> |
| > |
| > { |
| return {}; |
| } |
|
|
| using containers = metal::list< |
| metal::lambda<std::forward_list>, |
| metal::lambda<std::list>, |
| metal::lambda<std::vector> |
| >; |
|
|
| using types = metal::list<A, Z>; |
| using sizes = metal::numbers<0, MAX_SIZE>; |
|
|
|
|
| void test() { |
| auto cases = generate_test_cases<containers, types, sizes>(); |
| cases(); |
| } |
| |
|
|
| |
| IS_SAME( |
| decltype(generate_test_cases<containers, types, sizes>()), |
| test_cases< |
| test_case<metal::lambda<std::forward_list>, A, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::forward_list>, A, metal::number<MAX_SIZE>>, |
| |
| test_case<metal::lambda<std::forward_list>, Z, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::forward_list>, Z, metal::number<MAX_SIZE>>, |
|
|
| test_case<metal::lambda<std::list>, A, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::list>, A, metal::number<MAX_SIZE>>, |
| |
| test_case<metal::lambda<std::list>, Z, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::list>, Z, metal::number<MAX_SIZE>>, |
|
|
| test_case<metal::lambda<std::vector>, A, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::vector>, A, metal::number<MAX_SIZE>>, |
| |
| test_case<metal::lambda<std::vector>, Z, metal::number<MIN_SIZE>>, |
| |
| test_case<metal::lambda<std::vector>, Z, metal::number<MAX_SIZE>> |
| > |
| ); |
| |
|
|
