std::index_sequence 是编译期整数序列类型，用于模板参数包展开；不能直接写{0,1,2,3}因其非运行时容器，必须通过std::make_index_sequence生成并配合template<size_t... Is>接收和Is...展开。
std::index_sequence 是什么，为什么不能直接写 {0,1,2,3}
它不是数组或容器，而是一个编译期类型——用于在模板展开时把整数序列“塞进”参数包。你无法用 std::index_sequence 直接构造运行时值，它只在模板推导和展开中起作用。常见误用是试图用它做循环或索引数组，结果编译失败。
它的核心价值在于配合 std::make_index_sequence<n></n> 和参数包展开（...），把 N 展开成 0,1,...,N-1 这组编译期常量。
如何用 std::make_index_sequence 生成并传递索引
最典型场景：把一个 std::tuple 的每个元素按序调用某个函数。你需要索引去解包，但 tuple 没有迭代器，只能靠模板递归或 index_sequence 展开。
-
std::make_index_sequence<n></n>生成类型std::index_sequence - 必须用
template<size_t... Is>接收，再用Is...展开参数包 - 不能在函数体内“生成”它——必须作为模板参数传入，否则无法触发展开
template <typename Tuple, size_t... Is>
void print_tuple_impl(const Tuple& t, std::index_sequence<Is...>) {
((std::cout << std::get<Is>(t) << " "), ...); // C++17 折叠表达式
}
template <typename... Ts>
void print_tuple(const std::tuple<Ts...>& t) {
print_tuple_impl(t, std::make_index_sequence<sizeof...(Ts)>{});
}
常见错误：忘记模板参数推导或写错展开位置
以下写法都会编译失败：
立即学习“C++免费学习笔记（深入）”；
- 在普通函数里写
auto idxs = std::make_index_sequence<3>{};—— 类型未被模板参数捕获，后续无法展开 - 写成
template <size_t N> void f() { std::index_sequence<N>{}; }—— 这只是单个数，不是序列，且没展开 - 把
Is...放在 lambda 内部或非模板上下文中 —— 展开必须发生在模板参数包能被识别的位置
正确姿势永远是：定义一个接受 size_t... 参数包的辅助模板函数，并由 std::make_index_sequence 触发实例化。
替代方案对比：std::integer_sequence 和自定义索引
std::index_sequence 是 std::integer_sequence<size_t, ...> 的别名，所以你可以直接用后者生成任意整数序列（比如从 1 开始）：
using my_seq = std::integer_sequence<int, 1, 2, 3>; // 不限于从 0 起、不限于 size_t
但注意：std::make_index_sequence 只支持从 0 开始；如需偏移，得自己写 make_offset_index_sequence 或用 std::integer_sequence 手动列出。
实际项目中，95% 的需求用 std::make_index_sequence<sizeof...(Args)> 就够了。过度封装“通用索引生成器”反而增加理解和维护成本。
