Не получается разобраться с кодом инстанцирования кортежа

[Loksiin12]

Так что сравнивать простые переменные и такие штуки 2 огромные разницы что даже не понимашь толком что это такое.

[Loksiin12]

Сообщение от Алексей1153

typedef Typelist<T1, typename MakeList<T2>::Result/*Tail*/> Result;

Если я правильно понял инструкцию то это читается так мы находим объект Result с помощью оператора области видимости :: в MakeList<T2> но возникает вопрос а где создан Result, я смотрю вы упростили немного конструкцию и записали по другому, вы создали ещё один Result

Typelist<T1, typename MakeList<T2>::Result>Result;

[Алексей1153]

Loksiin12,

template <typename H, typename T>
struct Typelist
{
    typedef H head; 
    typedef T Tail;
};

эта структура этот шаблон класса используется для имитации кортежа:
тип H - голова списка типов
тип T - список всех лежащих далее типов

class NullType{ };

- это класс - пустой тип (маркер отстутствия типа, метапрограммный аналог void)

например, объявляем переменных-кортежей без использования нашего основного шаблона, а только про помощи Typelist:

    Typelist<NullType,NullType> types_list__null_null;
    
    Typelist<char,NullType> types_list__char_null;
    
    Typelist<char,int> types_list__char_int;
    
    Typelist<NullType,Typelist<NullType,NullType>> types_list__null_null_null;
    
    Typelist<float,Typelist<NullType,NullType>> types_list__float_null_null;
    
    Typelist<float,Typelist<char,int>> types_list__float_char_int;

таким образом получаем возможность создать тип, который содержит в себе цепочку полей с перечисленными типами

[Алексей1153]

а чтобы было удобно записывать типы просто через запятую, используется шаблон MakeList, в котором можно указать до 5 типов (в новых стандартах C++ есть возможность задать заранее неизвестное количество типов, то есть больше 5)

[Loksiin12]

Сообщение от Алексей1153

тип H - голова списка типов
тип T - список всех лежащих далее типов

Ну в классе MakeList это и видно, что выступает как начало и конец. Я так и писал в посте 10 https://programmersforum.ru/showpost...7&postcount=10 в принципе вы натолкнули меня на мысли.

[Loksiin12]

class MakeList
{
    typedef typename MakeList< T2, T3, T4, T5 >::Result Tail;
 
public:
    typedef Typelist<T1/*начало*/, Tail/*конец список остальных элемен*/> Result;
};

[Loksiin12]

Хорошо а зачем писать так

template <>
class MakeList<>
{
public:
    typedef NullType Result;
};

Что мы здесь делаем? Зымакаем завершаем схлопываем, что здесь происходит?

[Алексей1153]

вот шаблон MakeList рекурсивно и выстраивает вот такое чудовище

Typelist<float,Typelist<char,int>> types_list__float_char_int;

но ему нужно понять, где остановить рекурсию. А рекурсивно там вызывается он же сам (MakeList), но постепенно откусывается самый первый тип из цепи. И когда будет попытка инстанцировать MakeList с пустым списком типов, компилятор возьмёт специализацию без параметров, которая просто поставит пустую затычку. Рекурсия прервётся

template <>
class MakeList<>
{
public:
    typedef NullType Result;
};

[Loksiin12]

Сообщение от Алексей1153

стандартах C++ есть возможность задать заранее неизвестное количество типов

Ну там да можно использовать шаблон с неограниченным списком а не как здесь пишется статический список, но я не нашёл Визуал студию с 11ым стандатом или выше , то не работает то не устанавливает да и честно говоря для понимания мне кажется можно и со списком разобраться.

[Алексей1153]

Loksiin12, не обязательно нужно именно студию. Поставь QtCreator, с ним идёт компилятор, который поддерживает C++17
А если просто попробовать погонять код, то есть онлайн компиляторы (легко ищутся)