Как правильно объявить элемент в шаблоне?

[Loksiin12]

Есть ребята такой код.
https://programmersforum.ru/showthread.php?t=337101
На основании этого кода был создан объект Tuple<char,short,int,long long>tpl;.
Я хочу сделать класс, который будет принимать этот шаблон.

template <int a>
struct __char{char arr_[a];};
template <  template<char,short,int,Dt> K, int C= sizeof(int), template <int> class T=__char, int Z = 1>
class MakeList_{

    //typedef typename MakeList_<K,C-1, T, Z + 1>::Result Tail;это пока макет
public:
    //typedef Typelist<K,T<Z>, Tail> Result;это пока макет
};
template <typename template<char,short,int,Dt> K=tpl,template <int> class T, int Z>
class MakeList_<K,0, T, Z>
{
public:
    typedef NullType Result;
};

Класс здесь пока построен не правильно это макет. Внутри шаблона этого класса есть элемент/переменная K, на месте этой переменной должен быть объект Tuple<char,short,int,long long>tpl;. Как правильно передать такой тип в шаблон. Ещё ребята если вы посмотрите код по ссылке то там тип объекта такой.

template <
    typename T1 = NullType, typename T2 = NullType, typename T3 = NullType,
    typename T4 = NullType 
>
class Tuple

. Вполне возможно это несколько усложняет задачу.

[waleri]

template <typename type_t>
class MakeList
{
};

MakeList<Tuple<int, int int>> list_of_tuples;

Либо так:

template <typename t1, typename t2, typename t3>
class MakeList
{
  Tuple<t1, t2, t3> tuple_var;
};

[Loksiin12]

Сообщение от waleri

MakeList<Tuple<int, int int>> list_of_tuples;

вы создали объект такого типа а мне нужно передать его в шаблон. Вот сюда на позицию K.

template <  template<char,short,int,long long> K, int C= sizeof(int), template <int> class T=__char, int Z = 1>

. Вопрос как поместить объект например ваш Tuple<t1, t2, t3> tuple_var; или мой в <char,short,int,Dt> K чтобы этот шаблон можно было применить к классу MakeList_. Обратите внимание изначально он имел тип template <
typename T1 = NullType, typename T2 = NullType, typename T3 = NullType,
typename T4 = NullType
> а позже стал таким Tuple<char,short,int,long long>tpl;. ССылку откуда взят алгоритм я оставил в 1ом посте.

[waleri]

template <typename t1, typename t2, typename t3>
class Tuple;

template <typename t1, typename t2>
class MakeList;

MakeList<Tuple<int, int, int>, Tuple<char, char, char>> list;

[Loksiin12]

Сообщение от waleri

MakeList<Tuple<int, int, int>, Tuple<char, char, char>> list;

Да работает я затупил тут простой тип.

template<typename T1 = Tuple<char,short,int,Dt>>
class MakeList1{typedef T1 Tail;};

А как тут будет?

template <int a>
struct __char{char arr_[a];};//template<char,short,int,Dt>
template <int C= sizeof(Dt),int Z =0,template <int> class K=__char >//const static int Z =0
class pass{

public: typedef typename conditional<(Z+1==1),decltype(tpl.set<Z+1>()),K<Z+1>>::type alt;

};

template<typename pass<>,int C= sizeof(Dt),int Z =0>
class lass:public pass<C,Z>{//pass::alt

typedef typename lass<pass::alt,C-1,Z + 1>::Result Tail;

public:
    typedef Typelist<pass::alt, Tail> Result;
};

template <int Z>
class lass<pass::alt,Z>
{
public:
    typedef NullType Result;
};

Здесь передаётся template <int> class K=__char, здесь есть вложенный template и оно не берёт такое объявление. Тут честно говоря и код не совсем правильный но я пытаюсь разобраться.