Есть задачка:
Напишите метафункцию Zip (аналог std::transform), которая принимает два списка целых чисел одинаковой длины, а так же бинарную метафункцию, и возвращает список, получившийся в результате поэлементного применения метафункции к соответствующим элементам исходных списков. Пример:
template<int a, int b>
struct Plus
{
static int const value = a + b;
};
// два списка одной длины
using L1 = IntList<1,2,3,4,5>;
using L2 = IntList<1,3,7,7,2>;
// результат применения — список с поэлементными суммами
using L3 = Zip<L1, L2, Plus>::type; // IntList<2, 5, 10, 11, 7>
Даны IntList и InCons (IntCons позволяет увеличить список на один элемент — он добавляется в начало списка):
struct IntList;
template <int h, int... I>
struct IntList<h, I...>
{
static const int Head = h;
using Tail = IntList<I...>;
};
template<>
struct IntList<> {};
template <int value, class IL>
struct IntCons {};
template <int value, int... primes>
struct IntCons<value, IntList<primes...>>
{
using type = IntList<value, primes...>;
};
Моё приблизительное решение:
template<int... L1, int... L2, template <int, int> class Op>
struct Zip;
template<int... val, int... val2, template <int, int> class Op >
struct Zip<IntList<val...>, IntList<val2...>, Op>
{
using value = typename Op<IntList<val...>::Head, IntList<val2...>::Head>::value;
using type = typename IntCons<value, Zip<IntList<val...>::Tail, IntList<val2...>::Tail, Op>>::type;
};
Естественно, не рабочее. Соответственно вопрос - каким образом можно передать два IntList'а в функцию Zip? Два набора аргументов передать невозможно. Что-то в духе template<template<int... Values> class F1, template<int... Vals2> class F2, template <int, int> class Op> struct Zip; тоже не работает. Помогите пожалуйста понять синтаксис, который день к задаче возвращаюсь.
UPD: Задачка конечно же решалась крайне просто:
template<typename L1, typename L2, template<int, int> class Op>
struct Zip {
using Next1 = typename L1::Tail;
using Next2 = typename L2::Tail;
using type = typename IntCons< Func<L1::Head, L2::Head>::value, typename Zip<Next1, Next2, Op>::type >::type;
};
template<template<int, int> class Op>
struct Zip<IntList<>, IntList<>, Op>{
using type = IntList<>;
};