std::integer_sequence 怎么把模板参数包变成索引序列
它本身不直接解包，而是生成一个编译期整数序列（比如 0, 1, 2），用来“驱动”对参数包的逐项访问。核心思路是：参数包 Ts... 无法直接 for 循环，但有了 std::index_sequence，就能用参数包展开 + 折叠表达式或递归偏特化来按序取值。
- 必须配合参数包展开使用，单独声明
std::integer_sequence没实际作用 - 常用推导方式是
std::make_index_sequence<sizeof...></sizeof...>，别手写长度，容易错 - 索引序列类型是
std::index_sequence<i...></i...>，其中I...是包，不是单个值，不能直接用I[0]
怎么用 index_sequence 实现参数包的顺序访问（比如打印）
典型模式是写一个带索引包的辅助函数，再用 std::index_sequence 把索引“注入”进去。折叠表达式最简洁，但要注意求值顺序和副作用。
template<typename... Ts, std::size_t... Is>
void print_impl(const std::tuple<Ts...>& 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_impl(t, std::make_index_sequence<sizeof...(Ts)>{});
}
- 不能在函数体里直接写
std::get<is...>(t)</is...>——Is...是包，不是可变模板参数名 - 如果需要修改参数（比如转发给其他函数），用
std::get<is>(t)...</is>展开，而不是std::get<is...>(t)</is...> - 用
std::tuple中转参数包是常见做法，但不是必须；也可以直接从函数模板参数推导出Ts...后构造序列
为什么不用递归模板偏特化而选 integer_sequence
递归偏特化也能解包，但会产生 O(N) 层模板实例化，编译慢、栈深、错误信息难读。而 std::integer_sequence 配合折叠表达式或 constexpr 循环（C++20）是扁平化展开，实例化次数少，更可控。
- MSVC 和早期 GCC 对深度递归偏特化的支持不稳定，容易触发
template instantiation depth exceeds -
std::integer_sequence本身是空基类，零开销；但滥用嵌套展开（比如在 constexpr if 里反复生成不同长度序列）会拖慢编译 - C++20 起可用
for...in风格的 constexpr for，但目前主流项目仍以 C++17 为主，integer_sequence更通用
常见编译错误和坑点
报错往往不提 integer_sequence，而是卡在展开失败或类型推导崩了。
立即学习“C++免费学习笔记（深入）”；
-
error: no matching function for call to 'make_index_sequence'→ 检查sizeof...(Ts)是否为非类型模板参数合法值（不能是负数、不能依赖未定义行为） -
error: parameter pack 'Is' was not expanded→ 忘了在函数调用或表达式里用Is...，只写了Is - 把
std::index_sequence当作运行时数组用（比如想取seq[1]）→ 它只是类型，没有数据成员，所有信息都在模板参数里 - 在非模板上下文中硬塞
std::make_index_sequence<n></n>，而N不是常量表达式 → 编译失败，且错误提示非常晦涩
最易忽略的是：索引序列的长度必须严格等于你要访问的参数个数，多一个少一个都会导致 std::get 越界（编译期错误），但错误位置可能离你写的那行很远。
