std::tuple_size 是C++编译期变量模板，用于获取tuple、pair及数组的元素数量，非函数故不可调用；正确用法为std::tuple_size_v或std::tuple_size::value，仅对标准元组类型特化，对自定义类型直接使用将导致硬错误。
tuple_size 是编译期常量，不是函数
std::tuple_size 是一个模板类（更准确地说，是变量模板，C++14 起），它不接受运行时参数，也不能被“调用”。它的作用是让编译器在编译期就知道某个类型（比如 std::tuple）包含几个元素。你不能写 tuple_size(my_tuple) —— 这会编译失败，因为 tuple_size 不是函数。
正确用法是配合 ::value 或 C++17 的 tuple_size_v：
static_assert(std::tuple_size_v<std::tuple> == 3); // 或 static_assert(std::tuple_size<std::tuple>::value == 2);
对非 tuple 类型使用 tuple_size 会触发 SFINAE 或编译错误
std::tuple_size 默认只对 std::tuple、std::pair 和数组（T[N]）有特化定义。如果你传入自定义结构体或普通 class，直接访问 ::value 会导致硬错误（hard error），而非静默失败。
- 想安全检测某类型是否支持
tuple_size，得用std::is_detected（需）或自己写 trait 判断decltype(T::value)是否合法 -
std::pair的tuple_size_v是 2；int[5]是 5；但std::vector没有定义，直接用会报错 - C++20 起可结合
requires约束，避免泛型代码误推导
获取实际变量的“长度”要靠类型萃取，不能靠运行时值
元组长度是类型属性，和变量实例无关。哪怕你声明 auto t = std::make_tuple(1, 'a', 3.14);，其长度仍由类型 std::tuple 决定，编译器通过 decltype(t) 就能拿到完整类型。
