std::tuple_size 是编译期类模板特化而非函数，用于获取元组等固定大小类型的元素个数；正确用法为 std::tuple_size_v<T> 或 std::tuple_size<T>::value，支持 std::tuple、std::pair、std::array 和 C 风格数组。
std::tuple_size 是个编译期常量，不是函数
很多人第一次见 std::tuple_size 会以为它是像 size() 那样的可调用对象，其实它是个类模板特化，专门用来在编译期获取元组类型（或兼容类型）的元素个数。它不接受运行时变量，只接受类型——比如 decltype(t) 或直接写 std::tuple<int char></int>。
常见错误是写成 std::tuple_size(t) 或 std::tuple_size<decltype>()</decltype>，这会编译失败：前者参数类型错，后者多加了括号，把它当成了函数调用。
- 正确写法是
std::tuple_size_v<decltype></decltype>（C++17 起推荐） - 或者
std::tuple_size<decltype>::value</decltype>（C++11/14） - 不能对非元组类型（如
std::array、std::vector）直接使用，除非该类型显式特化了tuple_size
支持哪些类型？不只是 std::tuple
std::tuple_size 的标准特化包括：std::tuple、std::pair、std::array，以及 C 风格数组（如 int[5]）。这些类型都满足“固定大小、编译期可知”的前提。
注意：std::vector、std::string、自定义类默认不支持——即便你加了 size() 成员也不行。想让它支持，得手动为你的类型特化 std::tuple_size，并提供 ::value。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::tuple_size_v<:pair double>></:pair>→ 2 -
std::tuple_size_v<int></int>→ 10 -
std::tuple_size_v<:vector>></:vector>→ 编译错误（未定义特化） - 特化自定义类型需在
std命名空间内声明（且仅限针对用户定义类型）
和 std::tuple_element 一起用才真正实用
单独知道元组大小意义有限；通常你要配合 std::tuple_element_t 拿某个位置的类型，或用 std::get<i>(t)</i> 取值。三者组合才能做泛型遍历或类型推导。
比如写一个打印元组所有元素的函数模板，就得靠 std::tuple_size_v<t></t> 控制递归/循环深度，再用 std::tuple_element_t<i t></i> 约束每轮迭代的类型。
- 下标
I必须是编译期常量，所以不能用运行时变量做std::get<i></i> - 如果
I >= std::tuple_size_v<t></t>，std::get<i>(t)</i>是未定义行为（编译器可能不报错，但运行时崩溃） - 用
if constexpr (I )可安全展开递归（C++17）
constexpr 场景下必须用 _v 后缀
在需要常量表达式的地方——比如数组长度、模板非类型参数、static_assert 条件——必须用 std::tuple_size_v。用 ::value 在 C++17 前可行，但 C++17 起 _v 版本更简洁、更明确表示“这是值”，且避免某些 ADL 或重载歧义。
例如：static_assert(std::tuple_size_v<decltype> == 3);</decltype> 是合法的；而 static_assert(std::tuple_size<decltype>::value == 3);</decltype> 虽然也行，但多打字、易漏 ::value。
-
std::tuple_size_v是constexpr变量模板，保证能用于常量上下文 - 老代码里混用
::value和_v可能导致模板实例化不一致（尤其跨库时） - 别在头文件里重复定义
tuple_size特化，否则 ODR 违规
最常被忽略的一点：std::tuple_size 对引用类型的处理。传入 decltype(t&) 会失败，因为 tuple_size 没有为引用类型特化。得先 std::remove_reference_t——这点在泛型函数里特别容易漏。
