std::integer_sequence本身不展开参数包，仅提供编译期索引序列；它通过模板非类型参数包（如std::index_sequence<0,1,2>）以类型方式携带整数序列，需配合参数包展开语法Is...和折叠表达式或递归偏特化才能驱动解包。
std::integer_sequence 本身不展开参数包，它只提供编译期索引序列；真正展开靠的是函数模板参数包解包 + 折叠表达式或递归偏特化。
std::integer_sequence 怎么生成索引序列？
它不是运行时构造的值，而是编译期类型——std::index_sequence 这种类型本身就“携带”了整数序列。你不能对它调用 .size() 或下标访问，但可以用 sizeof...(Is) 拿到长度，用参数包展开语法 Is... 把每个索引“炸开”。
常用别名和生成器：
-
std::index_sequence<is...></is...>是std::integer_sequence<:size_t is...></:size_t>的别名，推荐用于元组/数组索引 -
std::make_index_sequence<n></n>生成std::index_sequence类型（注意：是类型，不是对象） - 错误写法：
std::make_index_sequence{}—— 构造空对象没意义；正确用法是作为模板实参或函数形参类型传入
为什么直接传 std::index_sequence 会编译失败？
常见报错：error: parameter pack 'Is' was not expanded 或 no matching function for call。根本原因是：你声明了接受 std::index_sequence<is...></is...> 的函数模板，但在函数体内没用 Is... 做任何展开，编译器就“卡住”了——它不知道你想拿这些索引干什么。
立即学习“C++免费学习笔记（深入）”；
必须满足两个条件才真正起作用：
- 函数形参类型是
std::index_sequence<is...></is...>（让编译器推导出Is...） - 函数体中出现
Is...的展开点，比如：std::get<is>(t)...</is>、(expr<is>, ...)</is>、f<is>()...</is>
漏掉任意一个 ...，就是未展开，编译失败。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
怎么用它解包 std::tuple 并调用函数？
这是最典型场景：把 std::tuple<int double std::string></int> 的元素作为独立参数传给 func(int, double, std::string)。核心是“入口函数 + 实现函数”两层结构：
template<typename Func, typename Tuple, std::size_t... Is>
decltype(auto) invoke_impl(Func&& f, Tuple&& t, std::index_sequence<Is...>) {
return std::forward<Func>(f)(std::get<Is>(std::forward<Tuple>(t))...);
}
template<typename Func, typename Tuple>
decltype(auto) invoke_with_tuple(Func&& f, Tuple&& t) {
constexpr std::size_t N = std::tuple_size_v<std::remove_reference_t<Tuple>>;
return invoke_impl(std::forward<Func>(f), std::forward<Tuple>(t),
std::make_index_sequence<N>{});
}
关键点：
-
std::get<Is>(t)...中的...是参数包展开，不是省略号——它把std::get(t), std::get(t), ..., std::get<n-1>(t)</n-1>一次性生成 -
std::make_index_sequence<N>{}是类型推导的“触发器”，让invoke_impl的Is...被正确推导 - 不要试图在
invoke_impl外部写std::get<Is>(t)——Is只在模板形参里存在，外部不可见
折叠表达式里 (expr, ...) 和 (..., expr) 有什么区别？
顺序不同，副作用行为不同。比如你要按索引顺序打印数组元素并计数：
int i = 0; (std::cout << arr[Is] << " ", ...); // 左到右：arr[0], arr[1], arr[2] (..., std::cout << arr[Is] << " "); // 右到左：arr[2], arr[1], arr[0]
更危险的是带自增：
-
(std::cout << i++ << " ", ...)→ 输出0 1 2 -
(..., std::cout << i++ << " ")→ 输出2 1 0（因为右结合，先算最右的i++）
绝大多数场景用左折叠 (expr, ...) 更符合直觉；C++17 标准规定其求值顺序为严格从左到右。
最容易被忽略的一点：报错信息几乎从不提 integer_sequence —— 它只是个“配角”。真正崩的地方往往是参数包展开失败、std::get 类型不匹配、或折叠表达式里用了未定义行为（比如对同一变量多次修改）。盯住 parameter pack 'Is' was not expanded 这类提示，立刻检查是否漏了 ...，而不是去翻 integer_sequence 的文档。
