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

[Loksiin12]

template <typename T, unsigned int I>
class TupleElement
{
public:
    T & get() 
    {
        return m_value;
    }
private:
    T m_value;
};

Почему эта функция должна быть ссылочной, можно ли дописать обычную для использования например в decltype?

[Алексей1153]

функция возвращает ссылку для возможности менять переменную по этой ссылке.

decltype пользовать при этом никто не запрещает

[Loksiin12]

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

для возможности менять переменную по этой ссылке

Своего рода указание компилятору о том что параметр находится на одном и том же месте но может изменяться. В decltype(tpl.get<0>()) тут что привести засунуть элемент кортежа не получиться, проверьте и пока 98ом стандарте решения кроме как засунуть такую запись в функцию и вернуть простое число от туда нет decltype(Funkz(tpl.get<0>()))тут что привести, но бывают ситуации когда элементами кортежа могут быть сложные элементы например классы или структуры и тут уже такое не прокатит, потому что каждая функция в отличает от обычной переменной заточена на свой такой объект (структуру или класс).

[Loksiin12]

Алексей1153, Объясните этот модуль

template <
    typename T1 = NullType, typename T2 = NullType, typename T3 = NullType,
    typename T4 = NullType, typename T5 = NullType    
>
class Tuple : public TupleImpl<typename MakeList<T1, T2, T3, T4, T5>::Result>
{
    typedef typename MakeList<T1, T2, T3, T4, T5>::Result ElementsList;
        
public:
    template <unsigned int Index>
    typename TypeAt<ElementsList, Index>::Result & get() 
    {
        TupleElement<typename TypeAt<ElementsList, Index>::Result, Index> & el = *this;
        return el.get();
    }
    enum 
    {
        Size = Length<ElementsList>::value
    };
    
};

[Алексей1153]

если честно, лень всё вспоминать и вникать.
Навскидку как-то так:

MakeList<T1, T2, T3, T4, T5>::Result (для него есть алиас ElementsList) - это тип, представляющий собой цепь из перечисленных типов

TupleImpl - из этой цепи типов создаёт экземпляр структуры, в которой есть все экземпляры перечисленных типов. Сама структура Tuple - потомок данного TupleImpl

Size - константа, равная количеству типов в ElementsList

get() - метод, возвращающий ссылку на экземпляр по нужному индексу из цепи TupleImpl

[Loksiin12]

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

и вникать

мне интересно для чего здесь так

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

, какую роль здесь выполняет *this

[Алексей1153]

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

акую роль здесь выполняет *this

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

[Loksiin12]

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

std::cout<< tpl.get<0>();
std::cout<< tpl.get<1>();
std::cout<< tpl.get<2>();

Если посмотреть на это дело оно работает как массив или 0 одна сущность 1 другая. Если это разные сущности а не один единый массив то это походит как на параллельные миры. Какая разница между массивом и списком?

[Алексей1153]

Loksiin12, массив - это цепь из элементов одного типа. Кортеж - цепь из элементов разного типа (хотя, могут быть и одинаковые в качестве частного случая)

[Loksiin12]

Алексей1153, Я провёл такой эксперимент

template <typename F>
static void run(Tuple & tpl, F f)
{char dd[I]={12};cout<<sizeof(dd)<<" "<<*dd<<en;
TupleForEach_<Tuple, (I - 1)>::run(tpl, f);
f(tpl.template get<(I - 1)>());
}

На каждой итерации и в правду объявляется массив который занимает разное количество байт с разницей в единицу. Минимальный размер 1 максимальный равен сумме всех рекурсий + 1ца. По сути чтобы объявить массив таким образом должна быть константа с периодом времени компиляции и I - 1 как раз и выполняет такую роль.
Возникает воопрос а можно ли инстанцировать один объект несколько раз. Пример нужно сделать несколько разных структур.

template <unsigned const int T>
struct Typelist{
typedef struct Typelist1{
char ii[T];
};};

Чтобы массив ii имел размер от 1го до 4ёх байт. Возможно ли написать такую рекурсию?