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

[Loksiin12]

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

typedef Typelist<T1, Tail> Result;

2 параметра T1, Tail получается тоже замыкание на верхнюю строку.

[petya11]

Поэтому вам и посоветовал, прочесть туториал, книги. Зачем вы пытаетесь сами "чудить". Не нужно рассказывать своими словами то, у чего есть конкретные названия. Есть аргументы и параметры, есть передача по значению и ссылке.

Изучите информацию, используйте подходящие термины и вам самим станет все куда яснее. Не будет "китайского объяснения" и в мыслях все будет по полочкам, а не своими словами.

[Loksiin12]

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

Изучите информацию, используйте подходящие термины и вам самим станет все куда яснее. Не будет "китайского объяснения" и в мыслях все будет по полочкам, а не своими словами.

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

[Алексей1153]

Loksiin12,

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

Разберись, например, что происходит тут.Расскажи, что понял

template<typename T>
class MyClass
{
     T arr[10];
};

int main()
{
    MyClass<int> a1;
    MyClass<double> a2;
}

[Loksiin12]

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

class MyClass
{
     T arr[10];
};

int main()
{
    MyClass<int> a1;
    MyClass<double> a2;
}

Объявлен класс с именем MyClass, к нему применён шаблон, что в свою очередь позволит формировать все его методы переменные и параметры любого нужного типа. Тоже самое можно делать и внутри функции. Далее создано 2 объекта a1 и a2. 1ый объект будет типа int 2ой double. Но опять же у меня примеры по сложнее.

[Алексей1153]

Loksiin12, нет, неправильно

template<typename T> class MyClass - это не класс, это шаблон класса. Никакого класса ещё не существует, так как этим шаблоном ещё не воспользовались (не инстанцировали - явно или неявно)

MyClass<int> a1;

тут одновременно два события:
1) инстанцирование шаблона MyClass с параметром int. Теперь существует класс MyClass<int>, внутри которого есть массив int arr[10]
2) объявление объекта типа MyClass<int>.

[Loksiin12]

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

template<typename T> class MyClass - это не класс, это шаблон класса. Никакого класса ещё не существует, так как этим шаблоном ещё не воспользовались (не инстанцировали - явно или неявно)

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

[Алексей1153]

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

typedef - это всего лишь псевдоним для класса

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

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

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


int main()
{
    MakeList<char,int>::Result tpl;
}

[Loksiin12]

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

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

В mql4 такое даже не компилируется но если вместо класс подставить typename то работает. Ну в целом по одной структуре сказать что-то нельзя. Даже не понятно почему с неё всё и начинается. Может структуру можно было бы написать с обычными переменными, мне кажется тут нужно смотреть несколько шире.

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

class NullType{ };
 
template <typename T1 = NullType, typename T2 = NullType>

Я читал Александреску и кучу других материалов то пустые классы используются или чтобы рекурсию схлопнуть закрыть или чтобы работать с любым типом. В общем грубо говоря мне уже тут не понятно ничего. Я же и пишу что только интуитивно понимаю как это работает но вникнуть в детали и собрать такое я уже не смогу.

[Loksiin12]

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

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

Мне объяснили что этот класс используется чтобы завершить инстанцию этого класса

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

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

но зачем это надо мне не понятно.