std::tuple_size_v是编译期获取类型元素个数的constexpr工具，仅接受类型（如decltype(t)或显式类型），不接受变量；支持tuple、pair、array和原生数组，不支持vector等运行时尺寸容器。
std::tuple_size 是个模板，不是函数
它不接受运行时变量，只认类型——所以 std::tuple_size 必须配合 decltype 或显式类型名使用，传个变量进去会编译失败。常见错误是写成 std::tuple_size(t)，这根本过不了编译，因为它的模板参数得是类型，不是值。
正确用法永远是：std::tuple_size_v<t></t>（C++17 起推荐）或 std::tuple_size<t>::value</t>（C++11/14）。_v 后缀版本直接给出 constexpr 整数，省去写 ::value 的麻烦。
- 对
std::tuple<int, char, std::string>，std::tuple_size_v<decltype(t)>得到3 - 对
std::pair<int, double>也适用——它本质是二元 tuple，std::tuple_size_v<std::pair<int, double>>是2 - 对普通数组如
int[5]，std::tuple_size_v<int[5]>也是合法的，结果为5（C++17 起支持原生数组）
std::tuple_size_v 在 constexpr 上下文中必须能推导出完整类型
如果类型含模板参数但未实例化，比如只写了 std::tuple 而没写 <...>，或者用了 auto 且推导结果不明确（如函数返回类型未标注），编译器就无法确定长度，会报错： invalid use of incomplete type 或类似提示。
典型踩坑场景是试图在模板函数里对形参直接用 std::tuple_size_v<T>，但 T 可能不是 tuple 类型——这时要么加 static_assert 限定，要么用 if constexpr (std::is_tuple_v<T>) 分支处理。
立即学习“C++免费学习笔记（深入）”；
- ✅ 安全：
template<typename T> constexpr auto get_len() { return std::tuple_size_v<T>; }—— 调用时必须传具体 tuple 类型，如get_len<std::tuple<int>>() - ❌ 危险：
auto t = make_tuple(1, 'a'); std::tuple_size_v<decltype(t)>是 OK 的；但若t是函数返回值且函数声明为auto f();，则decltype(f())可能无法推导，导致编译失败
std::tuple_size 对 std::array 和 pair 都有效，但对 vector 不行
它只对「编译期尺寸已知」的类型起作用。所以 std::array<int, 5>、std::pair<int, int>、std::tuple<...>、原生数组都支持；而 std::vector、std::string 这类运行时决定大小的容器，连基本特化都没有，硬用会触发 SFINAE 失败或静态断言错误。
错误现象通常是： no member named 'value' in 'std::tuple_size<std::vector<int>>' 或更长的模板展开失败信息。
- ✅
std::tuple_size_v<std::array<float, 4>>→4 - ✅
std::tuple_size_v<int[10]>→10 - ❌
std::tuple_size_v<std::vector<int>>→ 编译错误，别试
为什么不能用 sizeof 或其他运行时手段替代？
因为 std::tuple_size_v 是 constexpr，能用在需要编译期常量的地方：比如数组维度、模板非类型参数、static_assert 断言、switch case 标签。而 t.size()（如果存在）或手动算字节数，全是运行时行为，编译器拦着不让你塞进这些位置。
例如想写 int buf[std::tuple_size_v<T>];，或者 template<size_t N = std::tuple_size_v<T>> struct adapter {};——这些地方容不得半点运行时抖动。
- 如果你看到某处报错
non-type template argument is not a constant expression，回头检查是不是误用了运行时值代替了std::tuple_size_v - 注意：即使 tuple 内部有 non-static 成员或引用类型，只要类型本身是良构的，
std::tuple_size_v依然能工作——它不关心元素能不能实例化，只数模板参数个数
std::tuple_size 的泛用性，但你只需要记住一点：它只吃类型，不吃值；只认编译期尺寸，不碰运行时长度。 
