Как правильно построить этот код, для запуска рекурсии?

[Loksiin12]

На базе этого кода https://programmersforum.ru/showthread.php?t=337101 был создан объект Tuple<char,short,int,long long> tpl;, Далее я хочу построить такой код который сможет смотреть 2 списка и по условию формировать конечный тип чтобы построить нужный список типов.

template <int a>
struct __char{char arr_[a];};//template<char,short,int,long long>
template <int C= sizeof(long long),int Z =0,template <int> class K=__char >
class pass{
//условие ниже макет
public: typedef typename conditional<(Z+1==1),decltype(tpl.set<Z+1>()),K<Z+1>>::type alt;
 
};
 
template<typename pass<>,int C= sizeof(long long),int Z =0>
class lass:public pass<C,Z>{//pass::alt
 
typedef typename lass<pass::alt,C-1,Z + 1>::Result Tail;
 
public:
    typedef Typelist<pass::alt, Tail> Result;
};
 
template <int Z>
class lass<pass::alt,Z>
{
public:
    typedef NullType Result;
};

Данный код представляет макет. У меня возникает проблема в построении класса lass. Я не знаю как правильно оформить элемент pass, там есть параметр template <int> class K и не понятно как правильно работать с аргументом pass, если у нас здесь двойной шаблон. Что касаемо объекта tpl то он довольно легко передаётся.

template<typename T1 = Tuple<char,short,int,Dt>>
class MakeList1{typedef T1 Tail;};

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

[waleri]

Забаньте уже тролля.

[Loksiin12]

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

Забаньте уже тролля.

лучше подскажи как решать задачу и правильно прописать параметры.

[Loksiin12]

Так пробую тоже не получается

template <int a>
struct __char{char arr_[a];};
template <int Z =0,template <int> class K=__char >
class pass{

public: typedef typename conditional<(Z+1==1),decltype(tpl.set<Z+1>()),K<Z+1>>::type alt;

};

template<class pass<>*S,int C= sizeof(Dt),int Z =0>
class lass:public pass<Z>{

typedef typename lass<typename lass::alt,C-1,Z + 1>::Result Tail;

public:
    typedef Typelist<typename lass::alt, Tail> Result;
};

[Пётр Седов]

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

Забаньте уже тролля.

Да не тролль он, его просто укусил Александреску, и теперь он пишет 10-этажные шаблоны, вместо того чтобы писать нормальный код. В качестве лечения можно почитать исходники Doom 3, ну и конечно окропляться святой водой 3 раза в день до еды. Так можно изгнать беса.

[Loksiin12]

Сообщение от Пётр Седов

укусил Александреску

укусил понравилось, классная технология но слабо развита. Всё. Работаем с тем что есть.

[Алексей1153]

waleri, он не тролль, просто программирование - это не его )) На двух форумах человек уже больше года изобретает то ли std::tuple, то ли std::variant

но использует компилятор старого стандарта (до 11), потому что (я уже не помню, почему).

ему один человек накидал пример шаблона с рекурсией, где без стакана сложно разобраться. Вот ТС до сих пор разбирается. Я ему намекал, что разбираться нужно с самых азов. Так ведь, нет, пытается сразу со сложным. Дорога в никуда

[Loksiin12]

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

ему один человек накидал пример шаблона с рекурсией, где без стакана сложно разобраться. Вот ТС до сих пор разбирается. Я ему намекал, что разбираться нужно с самых азов. Так ведь, нет, пытается сразу со сложным. Дорога в никуда

Я тогда остыл к этой теме а теперь взялся. Ну а так да как увидел эти штуки спрашивал. Ваши объяснения пересматривал много раз. Интересно эксперементирую, что они умеют а что нет. Есть задумки которые буду реализовывать в ближайшее время.

[Loksiin12]

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

но использует компилятор старого стандарта (до 11), потому что (я уже не помню, почему).

На форумах мне чётко ответили что то что я хочу провернуть меняющийся тип не возможно, так что какой компилятор значения не имеет, если оно никак не работает и нельзя проверить и вернуть строго указанный по условию тип. Мне дали 14ый стандарт установил система легла. На каком-то американско канале человек показал как новые компиляторы через командную строку скачивать. Я не разобрался. Там ещё не дай Бог лицензия нужна. А у меня к сожалению дополнительных почек нет, можно было бы продать если бы были.

[Алексей1153]

Loksiin12, осознай такую простую вещь: невозможно вернуть из функции ТИП. И невозможно ТИП передать в функцию. Тип задаётся в программе жёстко и навсегда.

Передавать и возвращать в/из функции можно экземпляры объектов.

в параметрах шаблонов указываются типы или константы времени компиляции. Алиасы (typedef) внутри и снаружи классов - это тоже типы.

В программе можно предусмотреть список определённых типов (и этот набор невозможно поменять в рантайме). В рантайме можно каким-то образом манипулировать индексом из этого списка. То есть, не тип меняется в рантайме, а индекс. По индексу мы узнаём, какой именно тип из списка сейчас активен. Так работает std::variant