std::index_sequence 是用于在编译期生成连续整数序列（如 0,1,2）的类型工具，本身不存储值也不展开参数包，需配合 tuple 和折叠表达式等机制实现参数包的索引化展开。
std::index_sequence 是什么，为什么不能直接展开参数包
参数包（parameter pack）本身不能被直接“遍历”，C++ 没有原生的 for-each 语法作用于模板参数包。std::index_sequence 提供了一组编译期整数序列（如 0, 1, 2），用来把参数包“索引化”，再通过 std::get<i>(tuple)</i> 或下标访问等方式间接展开。
常见错误是试图写 func(args...) 并以为加个 std::index_sequence 就能自动展开——它只是个类型，不带任何运行时值，必须配合参数包转发和折叠表达式或结构化绑定等机制协同使用。
用 std::index_sequence 辅助 tuple 元素逐个处理
这是最典型、最稳妥的用法：把参数包存进 std::tuple，再用 std::index_sequence 生成索引序列去解包调用。
- 先用
std::make_tuple(std::forward<ts>(args)...)</ts>把参数包转成 tuple - 定义一个私有辅助函数，接受 tuple 和
std::index_sequence<i...></i...> - 在辅助函数里用
(func(std::get<i>(t)), ...)</i>展开每个元素（逗号折叠）
示例：
立即学习“C++免费学习笔记（深入）”；
template<typename... Ts, std::size_t... Is>
void apply_impl(const std::tuple<Ts...>& t, std::index_sequence<Is...>) {
(std::cout << std::get<Is>(t) << ' ', ...);
}
template<typename... Ts>
void apply(Ts&&... args) {
apply_impl(std::make_tuple(std::forward<Ts>(args)...),
std::index_sequence_for<Ts...>{});
}
std::index_sequence_for<Ts...> 和手动写 std::make_index_sequence<sizeof...(Ts)> 的区别
std::index_sequence_for<Ts...> 等价于 std::make_index_sequence<sizeof...(Ts)>，但前者更安全、更可读。
- 前者直接从参数包推导长度并生成
0, 1, ..., N-1序列，类型推导一步到位 - 后者需显式传入
sizeof...(Ts)，若参数包为空（sizeof...() == 0），std::make_index_sequence<0>是合法的，但容易漏掉特化处理 - 某些旧编译器对
std::make_index_sequence<0>支持不稳定，而std::index_sequence_for<>在 C++14 起就明确定义了空包行为
避免递归展开，优先用折叠表达式 + index_sequence 组合
有人习惯用模板递归“逐个弹出”参数包，但这会生成 O(N) 模板实例化深度，容易触发编译器限制（如 MSVC 的 500 层默认上限）。用 index_sequence 配合折叠表达式是线性实例化，更轻量。
- 递归方式需要两个模板参数（剩余包 + 已处理部分），逻辑分散、调试困难
- 折叠表达式要求所有操作具备相同签名，如果要调用不同重载函数，得靠
std::get<I>(t)显式提取后转发 - 注意：
(f(args), ...)是左到右求值，但(..., f(args))是右到左——顺序敏感时别写反
真正复杂的情况（比如需按索引做不同处理），往往得结合 if constexpr 和 std::get<I>，而不是硬塞进折叠里。
index_sequence 不是银弹，它解决的是“如何获得一组编译期连续整数”，至于怎么用这些整数去索引、转发、分发，得看具体场景的设计取舍。最容易被忽略的是：它本身不持有数据，也不改变参数包结构，只是提供一种可控的索引视角。
