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

[Loksiin12]

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

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

Значит также как и выше объясняли, понятно теперь

[Алексей1153]

поставь себя на место компилятора и попробуй инстанцировать шаблон

во время любой подстановки (в том числе и рекурсивной) компилятор выбирает наиболее подходящую специализацию, затем создаёт класс по шаблону, причём определение этого класса размещает ДО места инстанцирования (оно и понятно - чтобы при компилировании потом возможно было этот класс использовать)

[Алексей1153]

получается этакий лес классов. Причём мы их не вручную расписываем, а их создаст сам компилятор - в этом и заключается МЕТАпрограммирование. В метапрограммировании переменными являются КОНСТАНТЫ и ТИПЫ - всё это вычисляется и известно на этапе компиляции

[Loksiin12]

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

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

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

Я так раньше писал экспериментировал struct Length<char>; Обычная ошибка, даже не понятно должно ли оно так работать, какаета неизвестность и не определённость, что логично.
а почему так не будет работать не знаю value = 1 + Length<char>::value, может эти элементы должны быть определены сами на основании схемы выше же и список составлен и направление шаблона задано.

[Алексей1153]

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

поставь себя на место компилятора

пользователь пишет
Length<char>

компилятор ищет подходящую специализацию - подходит вот эта (тут один параметр неизвестного типа TList)
template <class TList> struct Length;

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

это просто объявление класса Length<char>. Тела класса нет - использовать такой класс не получится (кроме как для объявления указателя или ссылки)

[Loksiin12]

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

во время любой подстановки (в том числе и рекурсивной) компилятор выбирает наиболее подходящую специализацию, затем создаёт класс по шаблону, причём определение этого класса размещает ДО места инстанцирования (оно и понятно - чтобы при компилировании потом возможно было этот класс использовать)

Меня интересовал вопрос если к примеру число маленькое и подходит shor а потом оно растёт и нужен int т.е. замена одной переменной на другую, единственный вариант решающий эту проблему пока кортежи, но это трохи накладно, если бы его в корне можно было бы заменить золотыми бы программы были.

[Алексей1153]

уточню, что Length<char> является именно именем класса, можно его так воспринимать.
Хотя вручную так объявить имя класса не получится. Компилятор внутри использует имена, условно говоря, такие

Length_char_

[Алексей1153]

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

если к примеру число маленькое и подходит shor а потом оно растёт и нужен int

шаблоны тут ни при чём, просто возьми наибольший по размеру тип

[Loksiin12]

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

Length<char>

Ну вектора тоже так объявляются, но я то векторами не занимаюсь.
А этот кортёж он строится как стек, создаётся каждый отдельный уровень на который отдельно затрачивается память и когда нужно программа обращается в этот слой?

[Алексей1153]

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

кортёж

кортеж (читается кортЭж)

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

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

сам шаблон ничего и нигде не занимает. Но при инстанцировании компилятор порождает классы и функции. А сам экземпляр такого кортежа <char,int,float,double> в озу будет занимать ровно столько же места, как подобная ему структура

struct
{
    char;
    int;
    float;
    double;
}var;