std::integer_sequence本身不循环，仅提供编译期整数序列，真正的“遍历”需配合参数包展开或折叠表达式；常见错误是未解包直接传递导致重载匹配失败，必须用std::index_sequence（别名）配合sizeof...或(expr, ...)实现编译期索引访问。
std::integer_sequence 怎么触发编译期“循环”？
它本身不循环，只是提供一组编译期整数，让模板偏特化或参数包展开能“按序访问”——真正的“展开”靠的是函数模板参数包解包或折叠表达式。
常见错误现象：std::integer_sequence<int></int> 直接丢进函数调用却没解包，结果编译失败，报错类似 no matching function for call to 'foo'，因为没写接收它的重载或模板形参。
- 必须搭配参数包（
Idxs...）和sizeof...(Idxs)或折叠表达式（(expr, ...)）才能“遍历” - 典型入口是
make_integer_sequence<t n></t>，生成0到N-1的序列，不是1到N - 类型
T必须是整型（int、size_t等），混用会编译失败，比如用unsigned却传make_integer_sequence<int></int>
怎么用它展开数组索引并访问成员？
这是最常用场景：已知结构体字段数固定，想在编译期对每个字段调用操作（如序列化、打印、校验）。
示例目标：对 struct S { int a; double b; char c; }; 的每个成员执行 print_field(i)。
立即学习“C++免费学习笔记（深入）”；
template<typename T, size_t... I>
void print_all_impl(const T& t, std::index_sequence<I...>) {
(print_field(std::get<I>(std::tie(t.a, t.b, t.c))), ...);
}
template<typename T>
void print_all(const T& t) {
print_all_impl(t, std::make_index_sequence<3>{});
}
注意：这里 std::tie 构造的元组类型必须与 I... 索引范围严格匹配，否则 std::get<i></i> 编译失败；字段顺序不能错，也不能漏。
-
std::index_sequence是std::integer_sequence<size_t ...></size_t>的别名，更语义清晰，优先用它 - 如果字段数变化，硬编码
3会出错；应改用std::tuple_size_v<decltype></decltype>或反射方案（C++20 起可考虑std::tuple_element_t配合 SFINAE 推导） - 折叠表达式
(..., expr)和(expr, ...)执行顺序不同（左到右 vs 右到左），影响副作用逻辑，比如带 ++ 的计数器
为什么不能直接用 for 循环替代？
因为 for 是运行时控制流，而 std::integer_sequence 解决的是“编译期已知长度”的展开需求——比如模板参数个数、数组维度、字段数量。两者根本不在一个层面。
常见错误现象：写了个 for (int i = 0; i 放在 constexpr 函数里，以为能“编译期展开”，结果发现 N 是模板参数时仍无法避免运行时分支，且无法触发模板实例化分发。
- 只有模板实例化 + 参数包解包才能真正生成 N 份独立代码（如 N 个内联函数调用）
-
constexpr for（C++20）看起来像循环，但底层仍是基于std::integer_sequence或类似机制实现的语法糖 - 性能上：展开后无循环开销、可全内联；而运行时
for即便constexpr，也可能残留跳转或未充分优化
兼容性与替代写法要注意什么？
C++14 引入 std::integer_sequence，C++17 加入折叠表达式，所以低于 C++14 的标准（如 C++11）需手写递归模板模拟；高于 C++17 可用 std::apply 简化元组操作。
容易被忽略的点：MSVC 2015 对 std::make_index_sequence 的支持有 bug，遇到 error C2976 时要升级或加 #include <utility> 显式包含。
- Clang/GCC 通常没问题，但旧版 Clang（如 3.9）对空参数包折叠（
()...）处理异常，建议至少用 Clang 5.0+ - 若目标平台要求 C++11，可用递归变参模板 + 偏特化代替，但代码膨胀明显，且易栈溢出（深度 > 数百时）
-
std::index_sequence_for<t...></t...>比make_index_sequence<sizeof...></sizeof...>更安全，自动适配参数包长度，少写错
