Как создавать новые типы, расширяя пакет параметров вместе с другим списком типов? ⇐ C++

[Anonymous]

У меня есть следующая функция пакета параметров:

Код: Выделить всё

template
void foo(const Args&... args)
{
bar( SomeClass { args }... );
}

Без части ?? выше, это обычное расширение пакета параметров.
Однако мне бы хотелось ?? быть типом из typedef std::tuple typeLists;, с той же последовательностью, что и пакет параметров.
Т.е. для первого типа в пакете параметров ?? должен быть первым типом в typeLists и т. д.
Гарантируется, что количество типов в typeLists совпадает с размером пакета параметров. p>
Есть ли способ это реализовать? Я читал несколько похожих вопросов, но ни один из них не был точно таким же. Я думаю, что, вероятно, потребуется использовать index_sequence, но я не знаю, как это сделать.
Большое спасибо.

Подробнее здесь: https://stackoverflow.com/questions/782 ... er-list-of