sizeof...是C++11专为参数包设计的编译期运算符，必须写为sizeof...(args)，用于获取未展开参数包的元素个数，不可省略三点或误写为sizeof(args)；配合if constexpr可安全实现零参数分支。
用 sizeof... 操作符直接获取参数包长度
这是最常用也最可靠的方式。C++11 起引入的 sizeof...（注意三个点）专为参数包设计，它在编译期计算参数个数，不产生运行时开销。
常见错误是写成 sizeof(args) 或 sizeof(args...) —— 前者非法，后者语法错误；必须是 sizeof...(args)，且 args 必须是未展开的参数包名。
示例：
template<typename... args>
constexpr size_t count() {
return sizeof...(Args); // 类型参数个数
}
<p>template<typename... args>
constexpr size_t count_args(Args&&...) {
return sizeof...(Args); // 也可以用于函数参数包
}
</typename...></p></typename...>
注意：sizeof...(Args) 和 sizeof...(args) 数值相同，但语义不同：前者是模板类型参数个数，后者是函数形参包个数（通常一致，但若含非转发引用如 T args... 则可能不同）。
在可变参数模板函数中动态判断参数个数是否为 0
实际使用中常需分支处理“无参数”和“有参数”两种情况，不能只依赖 sizeof... 返回值做 if 判断（因为它是编译期常量，if 分支无法被编译器自动剪枝）。
正确做法是结合 SFINAE 或 constexpr if（C++17 起）做编译期分发：
- 用
if constexpr (sizeof...(Args) == 0)可安全写出零参数分支，编译器会丢弃未命中的分支 - 用
std::enable_if_t<sizeof...>* = nullptr</sizeof...>也可实现重载分离，但更啰嗦 - 避免写
if (sizeof...(Args) == 0)—— 这会导致未实例化的模板代码（比如调用了args[0]）仍被检查，触发编译错误
为什么不能用 std::tuple_size 或 std::array 替代
有人试图把参数包转成 std::tuple<args...></args...> 再用 std::tuple_size_v<decltype></decltype>，这可行但绕远路，且引入不必要的类型构造开销（哪怕不实例化对象，元编程深度也增加）。
更隐蔽的坑是误用 std::array：
template<typename... args>
void bad(Args... args) {
auto a = std::array{args...}; // 错！类型推导失败（若 args 类型不同）
// 即使类型相同，也要额外构造，且 sizeof...(Args) 已足够
}
</typename...>
sizeof... 是唯一专为此场景设计的原生机制，无类型约束、无构造成本、无兼容性问题（C++11 起全支持）。
参数个数为 0 时的典型陷阱
零参数模板实例化看似简单，但容易在递归展开或索引访问中出错：
- 用
std::get(std::make_tuple(args...))在sizeof...(Args)==0时直接编译失败 - 用参数包展开语法
(std::cout 在零参数时合法（C++17 折叠表达式），但若写成 <code>(func(args), ...)且func无默认重载，零参数也会失败 - 某些编译器（如旧版 MSVC）对
sizeof...(Args)在模板默认参数中支持不稳，建议避免写template<typename... args size_t n="sizeof...(Args)"></typename...>
真正需要“个数”时，99% 场景只需一个 sizeof...；想据此做逻辑分支，就老实用 if constexpr —— 其他绕行方案要么多余，要么埋雷。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
