std::tuple_size 是编译期模板结构体，非运行时函数，其 ::value 或 std::tuple_size_v 为常量；仅对 tuple、array 和原生数组等固定大小类型有效，需用 std::decay_t 处理 cv/ref 修饰以避免特化失效。
std::tuple_size 是编译期常量，不是运行时函数
std::tuple_size 是一个模板结构体（C++11 起），它不接受参数、不调用、不执行——它的 ::value 成员是编译期整型常量。误以为它是函数或需要传参调用，是初学者最常见误解。
它只对 std::tuple、std::array 和 C 风格数组等满足 TupleLike 要求的类型有效；对普通结构体、自定义类或 std::vector 直接使用会触发编译错误。
- 正确写法：
std::tuple_size_v<:tuple char double>></:tuple>（C++17 起推荐） - 等价写法：
std::tuple_size<:tuple char>>::value</:tuple>（C++11/14） - 错误写法：
std::tuple_size(my_tuple)（语法错误） - 错误写法：
std::tuple_size<:vector>></:vector>（无特化，编译失败）
如何在模板中安全提取元组长度并用于 SFINAE 或约束
当你写泛型函数，想“只接受至少含 2 个元素的 tuple”，就得结合 std::tuple_size 和 std::enable_if_t 或 C++20 requires。
template<typename T>
auto process_tuple(T&& t) -> std::enable_if_t<
std::tuple_size_v<std::decay_t<T>> >= 2,
void
> {
// 只有 tuple 元素数 ≥ 2 才能进入此函数
}
注意：必须用 std::decay_t<t></t> 去除引用/const 修饰，否则 std::tuple_size 可能找不到特化（例如 const std::tuple<int>&</int> 不直接匹配 std::tuple 特化）。
立即学习“C++免费学习笔记（深入）”；
- 不加
std::decay_t→ 对左值引用或 const 引用可能编译失败 - 用
std::tuple_size_v（C++17）比写::value更简洁且不易出错 - C++20 可改用
requires std::tuple_size_v<:decay_t>> >= 2</:decay_t>，语义更清晰
std::tuple_size 对 std::array 和原生数组也有效
很多人不知道 std::tuple_size 并非 tuple 专用——它是为所有“可解构为固定数量元素”的类型设计的。这使得它和 std::get、结构化绑定形成统一契约。
static_assert(std::tuple_size_v<std::array<float, 5>> == 5); static_assert(std::tuple_size_v<int[8]> == 8); static_assert(std::tuple_size_v<const char[12]> == 12);
但要注意：对指针无效（int* 没有 tuple_size 特化），对 std::vector 或 std::string 同样无效——它们大小不固定，无法在编译期确定。
- 原生数组类型（如
int[10]）可直接用，无需模板推导 -
std::array的特化在<array></array>中定义，记得包含头文件 - 若自定义类型想支持
std::tuple_size，需显式提供std::tuple_size<yourtype>::value</yourtype>特化
容易被忽略的陷阱：cv-qualifier 和引用导致特化失效
这是实战中最隐蔽的坑：把 const std::tuple<int int>&</int> 传给依赖 std::tuple_size 的模板，编译器找不到匹配特化，报错类似 "no type named 'value' in 'std::tuple_size<const std::tuple int>&>'"</const>。
根本原因：标准只为 std::tuple<...></...> 提供特化，没为 const std::tuple<...>&</...> 单独写。解决方法统一用 std::decay_t 或 std::remove_cvref_t（C++20）剥离修饰：
-
std::tuple_size_v<:remove_cvref_t>></:remove_cvref_t>（推荐，C++20） -
std::tuple_size_v<:decay_t>></:decay_t>（兼容 C++11 起） - 手动写
typename std::tuple_size<typename std::remove_reference>::type>::value</typename>（冗长，不建议）
不处理 cv/ref 修饰，模板在面对函数参数、完美转发场景时极易崩掉——这点在写通用容器适配器或序列化工具时尤其关键。
