std::tuple_size 是编译期常量，用于获取类型结构化解包的元素个数，仅对 std::tuple、std::array、std::pair（C++17起）、std::optional（C++17）及裸数组等固定大小类型有效；自定义类型需在 std 命名空间中显式特化；不适用于 std::vector 等运行时尺寸容器。
std::tuple_size 是个编译期常量，不是函数
它本质是模板变量（C++14 起）或特化类型（C++11），用来回答「这个类型在结构上能被解包成几个元素」。别把它当函数调用——std::tuple_size<t>::value</t> 不是运行时计算，而是编译器查特化表直接给出的整数字面量。
常见错误现象：std::tuple_size<:vector>>::value</:vector> 编译失败，因为 std::vector 没有为 std::tuple_size 提供特化；同理，自定义结构体默认也不支持，除非你手动加特化。
- 只对明确支持的类型有效：
std::tuple、std::array、std::pair（C++17 起）、某些标准库适配器如std::optional（C++17） - 对裸数组也有效：
std::tuple_size<int>::value</int>是5，但注意这不是类型推导，必须写明完整数组类型 - C++20 起支持
std::tuple_size_v<t></t>简写，更安全，避免手误写成::type
怎么让自己的 struct 支持 std::tuple_size
如果你写了个类似 tuple 的聚合体（比如 struct Point { int x, y; };），想让它能被 std::tuple_size 识别，就得显式特化 std::tuple_size 模板。
关键点在于：特化必须在命名空间 std 内，且仅允许对用户定义类型做偏特化（不能全特化标准类型）。容易踩的坑是忘记加 namespace std { }，或者把特化写在类定义之后但没提前声明。
立即学习“C++免费学习笔记（深入）”；
- 必须在全局作用域或
std命名空间内完成特化 - 推荐用
constexpr静态成员变量方式（C++14+）：namespace std { template<> struct tuple_size<Point> : integral_constant<size_t, 2> {}; } - 如果结构体字段数可能变化（比如模板参数决定），就用
std::tuple_size_v<decltype>().as_tuple())></decltype>这类间接方式，而不是硬编码数字
和 std::tuple_element、std::get 的配合使用场景
单纯知道维度没用，真正价值在于和 std::tuple_element、std::get 一起做泛型解包。比如写一个通用打印函数，需要循环访问每个字段——这时 std::tuple_size_v<t></t> 就是循环上界。
注意：std::tuple_size 只管“有多少”，不管“能不能按索引取”。比如 std::array 支持，但 std::pair 在 C++17 前不支持 std::get<i></i> 按索引（只支持按类型），所以即使 std::tuple_size_v<:pair float>> == 2</:pair>，std::get(p) 在旧标准下可能报错。
- 搭配
std::make_index_sequence实现参数包展开是最典型用法 -
std::tuple_size_v返回的是size_t，但std::get索引要求是编译期常量整型字面量，不能直接用变量（哪怕 constexpr）作为索引，得靠模板参数推导 - 对
std::variant，std::tuple_size不适用——它不是 tuple-like，要用std::variant_size_v
为什么 std::vector 不支持 tuple_size？
因为 std::vector 的长度是运行时决定的，而 std::tuple_size 的设计目标就是编译期已知结构信息。强行给它加特化不仅违反语义，还会破坏 SFINAE 判断逻辑。
如果你看到有人用 std::tuple_size_v<decltype></decltype> 并期望得到 vector 大小，那一定是误解了用途——这时候该用 v.size()，或者如果真要编译期尺寸，请换用 std::array。
- 容器是否支持
std::tuple_size，取决于其是否满足「异构、固定大小、可结构化绑定」这几个隐含契约 - 自定义容器若想支持，必须保证所有字段类型、数量完全由模板参数确定，且无运行时可变状态
- 编译器不会帮你检查语义一致性：就算你给
std::vector特化了tuple_size，std::get 依然无法工作，而且可能引发 ODR 违规
最易被忽略的一点：很多模板元编程库（比如 Boost.PFR）会自动为 POD 结构提供 tuple_size 支持，但它们的实现依赖于 ADL 或内部宏，和标准 std::tuple_size 并非同一机制——混用时要注意命名空间和求值时机。
