Расширение пакета с функцией, требующей упорядочивания/индексации ⇐ C++

[Anonymous]

мне нужно вызвать функцию bar из foo с расширением пакета аргументов шаблона
bar нужен индекс, он не сохраняет состояние, но мне нужен индекс аргумента шаблона

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

#include 
#include 
#include 
#include

template 
static auto foo(int idx) {
// do something with idx
if constexpr (std::is_integral_v) {
return static_cast(idx);
} else if constexpr (std::is_same_v) {
return std::to_string(idx);
} else {
static_assert(false, "Not implemented");
}
}

template 
std::tuple bar() {
int idx = sizeof...(ReadArgs);
auto ret = std::make_tuple(foo(--idx)...);
return ret;
}

int main() {
auto ret = bar();
std::println("{}", ret);
return 0;
}

Печать

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

(0, "1")

но на основе https://en.cppreference.com/w/cpp/langu ... order.html
то, что я здесь делаю, неправильно, поскольку порядок не указан, но это работает. (не уверен, зависит ли это от компиляции)
Есть ли лучший способ сделать это?

Подробнее здесь: https://stackoverflow.com/questions/798 ... ring-index