如何用模板折叠表达式替代函数模板的递归实例化？以及如何借助std::index_sequence与模板折叠表达式实现对可变参数包元素及其索引的函数调用？

当然可以！这两个问题的答案都是肯定的，C++17引入的折叠表达式配合现代标准库工具，能让我们写出更简洁、易读的代码，彻底替代递归模板实例化的繁琐实现。下面分别给出具体方案：

1. 用模板折叠表达式替代递归实例化 #

完全可以直接用折叠表达式实现，不需要递归模板。我们可以借助一个递增的索引变量，配合逗号折叠表达式来逐个处理参数包中的元素，同时输出对应的索引：

#include <iostream>

template<typename... Ts>
void bar(Ts... ts) {
    size_t idx = 0;
    // 逗号折叠表达式：依次展开每个元素的输出逻辑
    ( (std::cout << "item " << idx++ << "=" << ts << '\n'), ... );
}

int main() {
    bar(5, 3.14, "hello world", 'c');
    return 0;
}

这段代码运行后会输出和原递归版本完全一致的结果。折叠表达式会把参数包中的每个元素展开成独立的输出语句，idx变量在每次展开时递增，从而实现带索引的输出。

2. 借助std::index_sequence与折叠表达式实现 #

如果希望更“正统”地获取编译期索引（而非运行期递增的变量），可以结合std::index_sequence和折叠表达式来实现，这种方式的索引是编译期确定的，更符合模板元编程的风格：

方案一：直接传递参数包与索引序列 #

#include <iostream>
#include <utility>

// 辅助函数：接收参数包和对应的索引序列
template<typename... Ts, std::size_t... Is>
void bar_impl(const Ts&... ts, std::index_sequence<Is...>) {
    // 折叠表达式：将每个索引Is与对应的参数ts配对输出
    ( (std::cout << "item " << Is << "=" << ts << '\n'), ... );
}

template<typename... Ts>
void bar(Ts... ts) {
    // 生成与参数包长度匹配的索引序列
    bar_impl(ts..., std::index_sequence_for<Ts...>{});
}

int main() {
    bar(5, 3.14, "hello world", 'c');
    return 0;
}

方案二：结合std::tuple与索引序列 #

如果你更倾向于保留原代码中使用tuple的方式，也可以用std::make_index_sequence生成索引，再通过std::get<Is>获取tuple中对应位置的元素：

#include <iostream>
#include <tuple>
#include <utility>

template<typename... Ts, std::size_t... Is>
void foo(const std::tuple<Ts...>& t, std::index_sequence<Is...>) {
    ( (std::cout << "item " << Is << "=" << std::get<Is>(t) << '\n'), ... );
}

template<typename... Ts>
void bar(Ts... ts) {
    foo(std::tuple(ts...), std::make_index_sequence<sizeof...(Ts)>{});
}

int main() {
    bar(5, 3.14, "hello world", 'c');
    return 0;
}

这两种方案都能在编译期确定每个元素的索引，避免了递归模板的层层实例化，代码结构也更清晰。

内容的提问来源于stack exchange，提问作者Steve Lorimer