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

[Loksiin12]

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

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

Мне нравится Студия тем что там подсветка строк скобок есть а я свои коды пишу плотно ну типа меньше текста и больше пользы, чтобы посмотреть и увидеть что действительно что-то делает. Значит MakeList отвечает за комплектацию типов но полноценной сборки наверное ещё нет.

template <class TList> struct Length;

template <>
struct Length< NullType >
{
    enum { value = 0 };//
};

здесь наверное объявляется value он хранит размер

template <class T, class U>
struct Length< Typelist<T, U> >
{
    enum { value = 1 + Length<U>::value };
};

Typelist<Tвыступает как начало списка, Uпроходит его>. Просто удивительно что программа на такое способна.

[Алексей1153]

Loksiin12, подсветка сейчас везде есть. А плотно писать не нужно, писать нужно читаемо. Чтобы даже без всякой подсветки читалось

объявление шаблона Length (тела шаблона ещё нет)

template <class TList> struct Length;

специализация шаблона Length для случая, когда параметр является типом NullType

template <>
struct Length< NullType >
{
    enum { value = 0 };//это не переменная, это константа
};

специализация шаблона Length для случая, когда параметр является типом Typelist<T, U> (где T и U - заранее неизвестные типы)

template <class T, class U>
struct Length< Typelist<T, U> >
{
    enum { value = 1 + Length<U>::value };//константа формируется как сумма всех констант из рекурсивно инстанцированных шаблонов Length
};

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

Просто удивительно что программа на такое способна.

это всё выполняется на этапе компилирования - выведение констант, типов и инстанцирование шаблонов

после всех подстановок получается вполне себе обычный код на C++, который компилятор дальше собирает "как обычно"

[Loksiin12]

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

Length

Эта структура узнаёт про список ниже, потому что если я правильно вижу код структура ещё не знает сколько там элементов и какие они?

[Loksiin12]

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

enum { value = 0 };//это не переменная, это константа

она имеет тип enum список перечисления.

[Алексей1153]

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

Эта структура узнаёт

это ШАБЛОН , он заранее не знает, какой тип подставят в параметры. Это становится известно тогда, когда шаблон используют (инстанцируют)

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

она имеет тип enum список перечисления.

это константа. В данном случае - константа типа int

[Loksiin12]

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

Length

Эта структура узнаёт про список ниже?

[Алексей1153]

если попытаться вот так использовать шаблон

Length<Typelist<int,char>> /*var*/;

то произойдёт объявление таких структур

struct Length<char>;//нет тела структуры - ошибка компиляции

struct Length< Typelist<int, char> >
{
enum { value = 1 + Length<char>::value };//ошибка компиляции
};

понятно, почему так?

[Loksiin12]

извиняюсь не так написал

[Loksiin12]

а извинясь есть

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

enum { value = 1 + Length<U>::value };

Почему здесь крутится U а не Т?

[Алексей1153]

Loksiin12, здесь ничего не крутится. Здесь T - головной тип, U - хвост (все последующие типы из списка. Но этот список - он не явно задан, а имитируется при помощи Typelist)