省略号在Python中是Ellipsis内置常量，主要用作占位符、NumPy多维切片及类型提示；其语法糖为…，不可加空格或括号，否则报错。
包内展开：省略号必须紧贴被展开的参数名
所谓“包内展开”，是指 ... 出现在参数包变量或类型名**右侧且无空格分隔**的位置，表示对该包进行解包。这是唯一合法的展开写法，编译器只认这种形态。
常见错误是误加括号或空格，比如写成 (args)... 或 args ...，这会导致编译失败，报错类似 expected '...' before ')' token 或 parameter pack 'args' was referenced but not expanded。
std::cout 是非法的——<code>args未展开，不能直接参与表达式(std::cout 是合法的包内展开（C++17 折叠表达式）-
func(args)...是合法的——...紧贴args，触发函数调用逐个展开 -
MyClass<types>...</types>合法，用于模板参数列表展开
包外展开：根本不存在，是误解来源
“包外展开”不是标准术语，也**没有语法支持**。有人把递归调用中“在另一层模板实例里展开参数包”误称为“包外展开”，但本质仍是包内展开——只是发生在不同实例化层级。
例如递归版本的 print：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename T, typename... Ts>
void print(T first, Ts... rest) {
std::cout << first << " ";
print(rest...); // ← 这里 rest... 是包内展开，不是“包外”
}
rest... 中的 ... 仍紧贴 rest，属于同一层语法展开；所谓“递归到下一层”，只是模板推导生成新实例，并不改变展开位置规则。
- 所有展开都必须满足“
...紧邻参数包名”的物理位置要求 - 试图在 return、if 条件、using 声明等非展开上下文中“间接展开”，都会报错
parameter pack not expanded - 所谓“包外”，常是混淆了“展开发生的位置”和“展开发生的上下文”
展开上下文决定能否写 ...，而非“内外”之分
真正影响展开是否合法的，是它所处的**上下文类型**，不是位置远近。C++ 标准只允许在特定上下文中使用 ... 展开参数包。
- ✅ 允许：函数调用实参列表（
f(args...)））、初始化列表（{args...}）、基类列表（: Base<ts>...</ts>）、模板实参列表（tuple<ts...></ts...>） - ❌ 不允许：return 表达式单独出现（
return args...;错）、using 别名（using X = Ts...;错）、sizeof...(args)以外的 sizeof 表达式 - ⚠️ 特殊：折叠表达式（如
(args + ...)）本身就是一种受限制的展开上下文，不可嵌套或拆分
很多编译错误看起来像“位置不对”，实际是上下文不合法。比如在 lambda 捕获列表里写 [args...]{} 会直接报错，不是因为 ... 放错了地方，而是捕获列表根本不在允许展开的上下文中。
最容易忽略的细节：空参数包时的折叠表达式行为
当参数包为空时，(std::cout 这类无初始化器的右折叠会编译失败，因为没有操作数。而 <code>(0 + ... + args) 这种带初始化器的左折叠可以安全处理空包。
- 右折叠
(expr ...)：要求至少一个参数，否则报错fold of empty expansion - 左折叠
(... expr)：同样要求至少一个参数 - 带初始化器的折叠（如
(init + ... + args)）：空包时结果就是init，最稳妥 - 初始化列表展开（
int dummy[] = { (f(args), 0)... };）天然支持空包，生成长度为 0 的数组
这个点不常被注意到，但一旦模板被实例化为空参数包（比如 print()），就会突然崩掉——不是语法写错，而是折叠语义没覆盖边界情况。
