Создание пакета параметров параметров шаблона - PullRequest
Новая
       8

Создание пакета параметров параметров шаблона

0 голосов
/ 03 июля 2018

Я хотел бы создать шаблон, который будет принимать пакет шаблонов и создавать их экземпляры с тем же пакетом аргументов.

К сожалению, я не могу понять, как расширить пакет параметров внутри пакета параметров шаблонов.

Как я могу сделать эту компиляцию? 

#include<type_traits>
#include <tuple>

template <template <typename...> typename... Args>
struct TupleTupleMaker
{
    template <typename... InstantiateWith>
    using NewTupleTuple = typename std::tuple<Args<InstantiateWith...>...>;
};

template<typename a, typename b>
using tuple1 = std::tuple<int,a,b>;

template<typename a, typename b>
using tuple2 = std::tuple<a,b,b>;

using expected = std::tuple<
    std::tuple<int,int,double>,
    std::tuple<int,double,double>>;

using actual = TupleTupleMaker<tuple1,tuple2>::NewTupleTuple<int,double>;

static_assert(std::is_same_v<actual,expected>, "Should be same");

1 Ответ

0 голосов
/ 03 июля 2018

В направлении основной выпуск 1430 , вы не можете упаковать расширение в шаблон псевдонима с фиксированным списком параметров. Обходной путь - переписать tuple1 и tuple2, направив их через шаблон класса: 

template<class a, class b>
struct tuple1_impl { using type = std::tuple<int,a,b>; };

template<typename... a>
using tuple1 = typename tuple1_impl<a...>::type;

template<class a, class b>
struct tuple2_impl { using type = std::tuple<a,b, b>; };

template<typename... a>
using tuple2 = typename tuple2_impl<a...>::type;
...