std::integer_sequence本身不循环，仅提供编译期整数序列，需配合参数包展开（…）或折叠表达式触发模板实例化；真正实现“循环”效果的是模板递归或展开机制。
std::integer_sequence 怎么触发编译期“循环”？
它本身不循环，只是提供一串编译期整数，让模板展开能“按索引取值”。真正干活的是参数包展开（...）配合递归或折叠表达式。
常见错误是以为写了 std::integer_sequence<int></int> 就自动执行三次逻辑——其实它只是个类型，必须被解包才能触发实例化。
- 典型用法：把
std::integer_sequence作为函数模板的非类型模板参数，再用auto... I展开参数包 - 别直接对
std::integer_sequence调用成员函数——它没成员函数，只有::value_type和::size()这类静态信息 - 注意：c++14 引入，C++17 后常配合
if constexpr避免无用分支实例化
如何把 run-time 数组转成 compile-time 序列？
不能直接“转换”，因为运行时长度在编译期不可知。你只能对已知长度的数组（比如 std::Array 或 C 风格数组）推导出长度，再生成对应序列。
常见错误是试图写 make_integer_sequence<decltype></decltype>——arr.size() 是运行时调用，得换成 decltype(arr)::size() 这种编译期常量表达式。
立即学习“C++免费学习笔记（深入）”；
- 正确姿势：
std::make_index_sequence<n>{}</n>，其中N必须是字面量或constexpr表达式 - 对
std::array<int></int>，可用std::make_index_sequence<:size>{}</:size> - 对 C 风格数组
int a[7]，用std::make_index_sequence<sizeof>{}</sizeof>
展开时访问 tuple 元素容易踩哪些坑？
用 std::get<i>(t)</i> 在展开中访问 tuple 是最常见场景，但下标 I 必须是编译期常量，且类型要匹配——否则 SFINAE 失败或编译报错。
错误现象包括：Error: no matching function for call to 'get'（类型不匹配）、Static assertion failed: index is out of bounds（越界），或更隐蔽的：某些编译器在未启用 -std=c++17 时拒绝 std::get<i>(t)</i> 中的非字面量 I。
- 确保 tuple 类型和索引序列长度一致，比如
tuple<int char double></int>配index_sequence - 避免在
std::get<i>(t)</i>外套一层普通函数调用——这会让I退化为运行时值；所有操作得在模板参数层面完成 - 如果 tuple 元素类型不同，别用统一返回类型接收，改用
auto或分别处理
为什么 std::apply 里还要手动传 integer_sequence？
std::apply 内部已经做了这事，你不需要手动传。但如果你自己实现类似逻辑（比如把参数包转发给可调用对象），就必须显式构造并展开 integer_sequence。
容易混淆的点：看到别人代码里写 foo(std::get<i>(args)...)</i> 就以为这是标准做法——其实这是手动模拟 std::apply 的行为，而标准库版本已封装好。
- 用
std::apply(f, t)是最简方案，不用碰integer_sequence - 需要定制展开逻辑（比如只取偶数索引、加日志、做条件跳过）时，才自己写带
integer_sequence的模板 - 性能上没差别：所有展开都在编译期完成，生成的汇编和手写循环一样干净
真正难的不是写出来，而是判断什么时候该用它——多数时候 std::apply 或结构化绑定就够了；只有当索引本身参与逻辑（比如生成字段名、偏移计算、反射式遍历）时，才值得手动推 integer_sequence。