std::index_sequence 是C++中用于编译期生成整数序列的工具，常配合 std::make_index_sequence 和 std::index_sequence_for 在模板编程中展开参数包或遍历 tuple。通过将循环逻辑转换为递归展开，它支持构造函数转发、元组操作等场景，提升模板代码灵活性与效率。
在C++模板编程中，std::index_sequence 是一个非常有用的工具，它能帮助我们在编译期生成一串连续的整数索引，常用于展开参数包、构造函数转发、元组操作等场景。配合 std::make_index_sequence 使用，可以极大简化模板代码的编写。
什么是 std::index_sequence？
std::index_sequence
std::index_sequence 表示一个包含三个索引的序列。
它本身不包含运行时数据，只在编译期用于类型推导和模板展开。
立即学习“C++免费学习笔记（深入）”；
如何生成 index_sequence？
通常使用 std::make_index_sequence 来生成指定长度的索引序列：
-
std::make_index_sequence<n></n>生成从 0 到 N-1 的索引序列。 -
std::index_sequence_for<args...></args...>根据参数包长度生成对应索引。
例如：
std::make_index_sequence 等价于 std::index_sequence
std::index_sequence_for<int double char></int> 也等价于 std::index_sequence
实际应用场景：参数包展开
常见需求是将一个 tuple 的所有元素传递给一个函数。由于不能直接遍历 tuple，我们可以借助 index_sequence 在编译期“模拟”循环。
示例：把 tuple 的元素作为参数调用函数
template <typename F, typename Tuple, std::size_t... Is>
constexpr void apply_impl(F&& f, Tuple&& t, std::index_sequence<Is...>) {
(f(std::get<Is>(t)), ...); // C++17 折叠表达式
}
<p>template <typename F, typename Tuple>
constexpr void apply(F&& f, Tuple&& t) {
apply_impl(std::forward<F>(f), std::forward<Tuple>(t),
std::make_index_sequence<std::tuple_size_v<std::decay_t<Tuple>>>{});
}
调用示例：
auto t = std::make_tuple(1, 2.5, 'a');
apply([](auto x){ std::cout << x << ' '; }, t);
// 输出: 1 2.5 a
构造函数中转发参数包
有时我们需要把初始化列表中的值按顺序赋给多个成员变量。可以用 index_sequence 实现结构化绑定或批量初始化。
比如一个持有多个 std::array 的类，想用一个 initializer_list 构造：
template <typename T, std::size_t N, std::size_t M>
struct MultiArray {
std::array<std::array<T, M>, N> data;
<pre class="brush:php;toolbar:false;">template <std::size_t... Is>
MultiArray(const std::initializer_list<T>& init, std::index_sequence<Is...>)
: data{{
std::array<T, M>{std::next(init.begin(), Is * M), std::next(init.begin(), (Is+1)*M)}...
}}
{}
MultiArray(const std::initializer_list<T>& init)
: MultiArray(init, std::make_index_sequence<N>{})
{}};
这样就可以写：MultiArray<int> ma{1,2,3,4,5,6};</int>
小技巧：避免重复计算
频繁使用 std::make_index_sequence 可能导致编译器重复实例化。可以结合别名模板优化：
template <std::size_t N> using IndexSequence = std::make_index_sequence<N>;
或者用变量模板（C++14起）：
template <std::size_t N>
inline constexpr auto make_idx_seq = std::make_index_sequence<N>{};
基本上就这些。掌握 index_sequence 的核心在于理解它如何将“循环”转化为“递归展开”，从而在编译期完成复杂的数据结构操作。
