递归解包必须有终止函数，否则参数包为空时因无匹配重载而编译失败；终止函数需显式定义、与递归函数同作用域，且零参数版本优先被重载解析选中。
递归解包必须有终止重载函数
没有终止函数的变参模板递归会编译失败，因为当参数包为空时，print(args) 无法匹配任何函数签名。编译器不会自动“停在空包”，它只做精确重载匹配。
常见错误现象：error: no matching function for call to 'print()' 或 candidate template ignored，本质是缺少零参数版本。
- 终止函数必须显式定义，不能靠默认参数或可选参数替代
- 终止函数和递归函数需在同一作用域，且不能被
static或匿名命名空间隔离 - 如果同时存在
template<typename... ts> void print(Ts...)</typename...>和void print()，后者一定被优先选中——这是重载解析的特化优先原则
参数包展开只能靠“首+余”拆分
C++11 不支持直接索引或遍历参数包，sizeof...(args) 只能返回个数，不能用于下标访问。唯一标准解法是把参数包视为“第一个参数 + 剩余参数包”，靠类型推导自动切分。
典型写法：template<typename t typename... types> void func(T first, Types... rest)</typename>。注意三点：
立即学习“C++免费学习笔记（深入）”；
-
Types...必须放在参数列表末尾，否则语法错误 -
rest是函数参数包，不是类型包；它的类型由调用时实参决定，每次递归都可能不同 - 递归调用必须传
rest...（带省略号），否则编译器会把它当作单个参数（如元组）而非展开
递归调用时容易漏掉省略号
写 func(rest) 是错的，正确写法是 func(rest...)。前者试图把整个参数包当做一个值传入，后者才真正展开为独立实参。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
错误示例：
template<typename T, typename... Types>
void print(T first, Types... rest) {
std::cout << first << " ";
print(rest); // ❌ 编译失败：rest 是 pack，不是可调用对象
}
正确示例：
template<typename T, typename... Types>
void print(T first, Types... rest) {
std::cout << first << " ";
print(rest...); // ✅ 展开后变成 print(arg2, arg3, ...)
}
- 漏掉
...是新手最高频错误，报错信息往往指向“no matching overload”，而非语法提示 - 如果参数包里有引用、const 或右值，
rest...会展开保留其值类别，无需额外std::forward（除非要转发给其他函数）
参数包个数为 0 时 sizeof... 返回 0，但不能据此分支处理
sizeof...(args) 是编译期常量，可用于 if constexpr（C++17 起），但在 C++11 中它只是个整型字面量，不能参与运行时 if 判断，更不能用作数组维度（除非配合 std::array 等模板）。
所以 C++11 下不能写：
if (sizeof...(args) == 0) return; // ❌ 运行时判断，毫无意义
必须依赖函数重载机制来区分空包与非空包。
复杂点在于：一旦引入 SFINAE、enable_if 或模板偏特化，终止逻辑就可能被绕过或冲突。最稳妥的做法始终是提供一个非模板的、无参的重载函数作为兜底。
