std::tuple_size 是仅对 std::tuple、std::pair、std::array 等标准元组语义类型及显式特化的自定义类型有效的编译期常量，其 ::value 或 C++17 起的 std::tuple_size_v 可在编译期获取元素个数，但不适用于普通数组、结构体或未特化类型。
std::tuple_size 是编译期常量，但不能直接对任意类型用
std::tuple_size 是一个类模板，它的 ::value 成员是 constexpr size_t，可用于获取元组类型在编译期的长度。但它**只对标准库定义的元组类型（如 std::tuple、std::pair）以及显式特化的类型有效**；对普通数组、结构体、std::array 或自定义类型默认不适用。
常见错误是写 std::tuple_size<decltype>::value</decltype>，结果编译失败——因为没特化，主模板被定义为 deleted（C++17 起）或未定义（更早版本）。
-
std::tuple_size<:tuple char double>>::value</:tuple>→ 正确，值为3 -
std::tuple_size<:pair std::string>>::value</:pair>→ 正确，值为2 -
std::tuple_size<int>::value</int>→ 错误（除非你手动特化，标准未提供） -
std::tuple_size<:array>>::value</:array>→ ✅ 正确，std::array显式特化了tuple_size
std::tuple_size_v 是 C++17 起推荐的简写形式
比起写 std::tuple_size<t>::value</t>，直接用 std::tuple_size_v<t></t> 更简洁安全，它是标准提供的变量模板别名，本质仍是编译期常量。
static_assert(std::tuple_size_v<std::tuple<void*, long long>> == 2); static_assert(std::tuple_size_v<std::pair<char, short>> == 2); static_assert(std::tuple_size_v<std::array<int, 7>> == 7);
注意：它仍要求 T 是支持 tuple_size 的类型，否则触发 SFINAE 失败或硬错误（取决于上下文）。不能用于 auto 推导出的非元组类型，也不能用于运行时对象（如 std::tuple<int> t; 然后对 t 用 —— 必须传类型，不是实例）。
立即学习“C++免费学习笔记（深入）”；
如何让自定义结构体支持 std::tuple_size
若你有一个类似元组的聚合类型（比如 struct Point { int x, y; };），想让它能用 std::tuple_size_v<Point>，需手动为 std::tuple_size 提供偏特化：
struct Point { int x, y; };
namespace std {
template<>
struct tuple_size<Point> : std::integral_constant<size_t, 2> {};
}
这样之后 std::tuple_size_v<point></point> 就等于 2。但要注意：
- 必须在
std命名空间内特化，且只能对用户定义类型做（禁止对标准类型如std::vector特化） - 该特化本身不赋予解构能力（
std::get<0>(p)仍不合法），仅提供长度信息 - 若结构体字段数可能变化，建议配合
std::tuple_element和std::get一起特化，否则意义有限
和 sizeof...()、std::extent_v 的关键区别
std::tuple_size_v 不是求数组长度，也不是展开参数包大小——它专用于“元组语义类型”的静态尺寸。容易混淆的几个场景：
-
sizeof...(Args)：用于函数模板参数包，是语法机制，不是类型特性 -
std::extent_v<int[3][4], 0>：返回第一维长度3，适用于 C 风格数组类型，和tuple_size无关系 -
std::tuple_size_v<int[5]>：默认非法；但std::tuple_size_v<std::array<int, 5>>合法，因为std::array明确特化了它
真正需要编译期元组长度时，确认类型是否属于标准支持集；不确定就查文档或用 static_assert 验证，避免依赖未定义行为。
