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

[Loksiin12]

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

TupleForEach_<Tuple, (I - 1)>::run(tpl, f);

А почему здесь меняется I мы же его не декрементируем и не инкрементируем, программа что считает рекурсии и присваивает значение в I?

[Алексей1153]

Loksiin12, I - константа, она не может меняться

она и не меняется

порождается новый инстанс экземпляра шаблонного класса с типом TupleForEach_<Tuple, (I - 1)>

если всё началось с I==3 , то последовательно появятся определения классов с типами
TupleForEach_<Tuple, 2>
TupleForEach_<Tuple, 1>
TupleForEach_<Tuple, 0>

-----------
тебе же на двух форумах пишут - начни с основ. С C++ без шаблонов. То, что ты не пользуешься классами - твой минус. На самом деле ими невозможно не пользоваться, и ты ими всё же пользуется, просто тело класса размазано у тебя по всему коду и его сложно увидеть, отлаживать и модифицировать.
Подойди к написанию кода правильно - научись работать с классами.

Или не удивляйся, что тебе перестают отвечать на вопросы

[Loksiin12]

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

если всё началось с I==3 , то последовательно появятся определения классов с типами

И всё же происходит имитация декремент или инкремент, значит всё же оно автоматически себя считает. Тут видите дело даже не в классах логика мне вся не до конца ясна, видимо через лет 10 15 пока не поймёшь все детали не разберёшься. Классы я изучал но тут идёт объёмность тем, например мне не понятно когда можно использовать typedef почему он ниже или выше, в каком поле находить объект, Logh_cl<int>::*Logih, как рекурсию остановить запустить какими грамотными условиями. А ещё пользователи приводят примеры разные и фактически идёт сначала одна специализация а потом другая. Я вообще придумал как работать без типов, пока не реализовал, я хочу использовать только 3 типа: 1ый char 2ой long long (вещественные числа у меня одного типа на приводятся к double) и 3ий в качестве указателя int или есть универсальный тип указателей in_ptr я его не тестировал поэтому не знаю будет ли он равен размеру указателя или тоже не надёжный. Я за 5 лет не видел ни одного достойного объекта класса кроме инстанцирования шаблонов, а создавать объект класса а потом ставить точку добираться к методу или к подобъекту приводит к увеличению кода, к сложности и трудноотлаживаемости поэтому я как их понял сразу перестал использовать, все вещи собираю на обычных переменных, инстанцирование даст мне небольшие модификации но оно мне пока не даётся.

[FrosyaZZ]

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

И всё же происходит имитация декремент или инкремент, значит всё же оно автоматически себя считает.

Нет, происходит банальная рекурсия:

void func(int a)
{
  ...
  func(a-1);
}

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

мне не понятно когда можно использовать typedef

Когда надо объявить псевдоним типа.

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

почему он ниже или выше

Потому что там уже тип определен или потому что так надо по логике.

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

в каком поле находить объект

Может наоборот?

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

как рекурсию остановить запустить какими грамотными условиями

Ну это к математике и алгоритмам вопрос. Начните с трацдиционных рекурсивных задач - факториал, фиббоначи, ...

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

А ещё пользователи приводят примеры разные и фактически идёт сначала одна специализация а потом другая.

Ну как бы для это шаблоны, частичные специализации и т.д. и нужны. Или вы о чем?

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

или есть универсальный тип указателей

void*

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

Я за 5 лет не видел ни одного достойного объекта класса кроме инстанцирования шаблонов

Чего? Инстанцированный шаблон функции стал объектом? Или вы пропустили главу класы?

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

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

Не всегда. А 10 инстанцированных функций на каждый тип параметра не раздувает код?

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

к сложности и трудноотлаживаемости поэтому я как их понял сразу перестал использовать

Сразу видно - вы их не поняли.

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

инстанцирование даст мне небольшие модификации

Чего?

[Loksiin12]

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

факториал, фиббоначи

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

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

Не всегда. А 10 инстанцированных функций на каждый тип параметра не раздувает код?

В Сообщении выше я указал что вообще от них избавился и у меня только 2 типа на 1 и 8 байт (ну и тип указателя потому что без них программы не работают), ну и промежуточные все 8ем но там не используются эти int short и прочая лабуда, я просто читаю нужное количество байт например 3 или 5ть, правда не реализовал ещё слишком зацикливался на этом инстанцировании. Но в любом случае я без классов могу написать что угодно кроме перегрузки операторов.

[Loksiin12]

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

у класса нет "нижней" или "верхней" части.

Т.е. всё что внутри него срабатывает одновременно?

template < 
    typename T1 = NullType, typename T2 = NullType, typename T3 = NullType,
    typename T4 = NullType, typename T5 = NullType
>
class MakeList
{
    typedef typename MakeList< T2, T3, T4, T5 >::Result Tail;
 
public:
    typedef Typelist<T1, Tail> Result;
};

Почему typedef typename MakeList< T2, T3, T4, T5 >::Result Tail; не находится в public:?

[Алексей1153]

Loksiin12, видимо, разработчик класса не хотел светить алиас наружу. Других причин не бывает

[Loksiin12]

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

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

Такой вопрос. Значит вот допустим код из темы.

template < 
    typename T1 = NullType, typename T2 = NullType, typename T3 = NullType,
    typename T4 = NullType, typename T5 = NullType
>
class MakeList
{
    typedef typename MakeList< T2, T3, T4, T5 >::Result Tail;
 
public:
    typedef Typelist<T1, Tail> Result;
};

Можно ли в строке typedef Typelist<T1, Tail> Result; узнать сколько байт занимает Tail и с учётом этой переменной учсложнить вырожение?

[Алексей1153]

Loksiin12, sizeof(Tail)

[Loksiin12]

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

sizeof(Tail)

Мне пользователь объяснил что размер можно снимать так:int+char(это 5 байт), далее int+char+double(это 13), 1ая итерация Т1 уже учтена(4байта). Получается на последней итерации 13 байт будет отдавать если фиксировать куда-то потому что сама схема его не фиксирует этого нет в коде.