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

[Loksiin12]

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

sizeof(Tail)

А можно ли элементы из этого списка

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;
};

по 1ому прочитать? Результат можно сохранять в константу выводить её никуда не нужно хочу просто понять как это делается.

[Loksiin12]

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

инстанс экземпляра шаблонного класса

Ещё такой вопрос внутри MakeList объявлена закрытая переменная Tail она построена на базе/типе MakeList< T2, T3, T4, T5 >, я так понимаю Tail может иметь какой угодно тип чтобы рекурсия запустилась(если конечно логика построена правильно, шаблон же можно как угодно использовать)?

[Loksiin12]

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

Шаблоны

Всё что находится в <>проходится неразрывно, например MakeList< T2, T3, T4, T5 >, или неизвестно как это происходит?

[Loksiin12]

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

вот, пробуй тут https://godbolt.org/

как отключить оптимизатор чтобы все коды там переводились на Ассэмблер?

[Loksiin12]

На хабре https://habr.com/ru/post/339962/ человек написал что можно использовать в комментариях -O0 .

[Алексей1153]

Loksiin12, да, есть такой момент. Только это не комментарии, а параметры компилятора

-O0 - без оптимизации
-O2 - с некой оптимизацией
-O3 - с хорошей оптимизацией
-O4 - если не ошибаюсь, это максимальная оптимизация. Если ошибаюсь, тогда максимальная это -O3

[Loksiin12]

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

да, есть такой момент.

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

[Loksiin12]

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

Шаблоны - это метапрограммирование,

скажите а передача функции operator, которая находится внутри структуры CoutPrinter по примеру

TupleForEeach(tpl, CoutPrinter());

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

[Алексей1153]

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

TupleForEeach(tpl, CoutPrinter());

это создание экземпляра класса CoutPrinter, используется конструктор по умолчанию. Созданный экземпляр передаётся в функцию (передаётся его копия).

[Loksiin12]

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

это создание экземпляра класса CoutPrinter

тем самым и происходит вызов можно сказать анонимной функции f? А как применить шаблон к функции f, у меня работает только такая запись.

#define TuplFor tpl1.template set<I-1>()
template<class P,unsigned char E,typename F>//функция для работы с 1им объектом
static P run_t(Types&tpl1,F f,const unsigned char i1,char*point){
ret i1==I-1?
f.operator()<P,I-1,decltype(TuplFor)>(TuplFor,I-1,point):
TupleFor__1<Types,Structes,I-1>::run_t<P,I-1>(tpl1,f,i1,point);
}//ret 0;
};

Писали что с помощью Тэга можно но у меня не работает.

template <typename T> struct Tag {};
 
//..........
 
cout << "f " << f(tpl.template get<(I)>(), Tag<int>()) << endl;
 
//.............
 
struct CoutPrinter {
    template <class P, typename T>
    P operator()(T const & v, Tag<P>) const
    {
        std::cout << sizeof(v) << ' ';
        return sizeof(v);
    }
};