Функция возвращающая тип в качестве аргумента шаблона/Передать функцию в шаблон

[Loksiin12]

Есть такой код.

template <int a>
struct __char{char arr_[a];};
template <int Z =0,template <int> class K=__char >
class pass{
 
public: typedef typename std::conditional<(Z==1),decltype(tpl.set<Z>()),K<Z+1>>::type alt;
typename alt Det(){alt el=this;
ret el;
 
}};
 
template<int C,int Z,/*функция*/>
class lass{
 
typedef typename lass<C-1,Z + 1,/*вызов функции*/>::Result Tail;
 
public:
    typedef Typelist</*вызов функции*/,Tail> Result;
};
 
template <int Z,/*функция*/>
class lass<0,Z,/*вызов функции*/>
{
public:
    typedef NullType Result;
};

Объект tpl построен на коде https://programmersforum.ru/showthread.php?t=337101 .Идея состоит в том чтобы запустить схему в рекурсию, и в момент сборки метофункции, функция будет возвращать нужный тип, возможно ли такое?

[waleri]

Функция не может возвращать тип - она должна вернуть значение этого типа, а из этого можно вычислить сам тип с помощью decltype.

decltype(GetSomeIntegerValue()) int_variable = 123;

Функция при этом НЕ вызывается.

[Loksiin12]

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

Функция не может возвращать тип

this возвращает тип(не совсем чистый правда), если его поместить в typeid то можно получить тип. Можно взять к примеру вот этот код.

    template <unsigned int Index>
    typename TypeAt<ElementsList, Index>::Result & get() 
    {
        TupleElement<typename TypeAt<ElementsList, Index>::Result, Index>  el = this;
        return el;
    }

Но честно говоря такое себе. Это действительно сложная задача раз никто не знает.

[Valick]

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

Это действительно сложная задача раз никто не знает.

Вы слышали душетрепещущую историю про Неуловимого Джо?

[Loksiin12]

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

Вы слышали душетрепещущую историю про Неуловимого Джо?

Тут не до историй хочеться реализовать задумку, но видимо всему своё место.

[waleri]

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

this возвращает тип

this != тип.
У вас в голове каша.

[p51x]

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

Можно взять к примеру вот этот код.

Берем:

TupleElement<typename TypeAt<ElementsList, Index>::Result, Index>  el = this;

Где здесь this вернул тип? el что такое? С таким подходом и 2+2 возвращает тип.

[Loksiin12]

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

У вас в голове каша

Да каша много захотел.