std::get不是通用下标函数，索引必须是编译期合法常量，类型访问要求元组中类型唯一；传错索引或重复类型均导致编译失败，如“Index out of bounds”或“no matching function”。
std::get 用法：索引和类型两种取值方式必须分清
直接说结论：std::get 不是“随便传个数字就能取”的通用下标函数，它在编译期就要求索引合法或类型唯一。传错整数字面量（比如越界）会直接编译失败；用类型重载时，元组里不能有重复类型，否则编译器无法推导。
常见错误现象：error: no matching function for call to 'get' 或 static_assert failed: "Index out of bounds"。这不是运行时报错，是写完代码就红的——说明你没过编译关。
- 索引访问：用
std::get(t)，其中2必须是编译期常量（constexpr整型字面量或 constexpr 变量），且0 - 类型访问：用
std::get<int>(t)</int>，但仅当t中int类型**只出现一次**；若元组是std::tuple<int double int></int>，std::get<int>(t)</int>编译不过 - 别试图用变量做索引：
int i = 1; std::get<i>(t)</i>❌，C++ 不支持运行时索引的std::get
std::get 编译期检查太严？那就用结构化绑定替代简单访问
如果你只是想拆包几个值，又不想手写一串 std::get(t)、std::get(t)，结构化绑定更安全也更可读，而且天然规避索引越界问题。
使用场景：初始化多个局部变量、函数返回值解构、循环中逐个处理元组元素。
立即学习“C++免费学习笔记（深入）”；
- 支持 C++17 起，语法简洁：
auto [a, b, c] = t;——a、b、c类型自动匹配元组各成员 - 不能跳过某个位置：
auto [a, , c] = t;❌（C++20 才支持带省略号的模式，且仍需完整声明） - 如果元组含引用类型，绑定后变量也是引用；含 const，则绑定变量也带 const，这点和
std::get行为一致
运行时索引访问元组？别硬刚 std::get，换 std::variant + std::visit
std::get 天然不支持运行时索引，强行绕开（比如写一长串 if-else 分支调用不同 std::get<n></n>）既难维护又易出错。真需要动态取值，说明数据模型可能更适合用 std::variant 而不是 std::tuple。
性能影响：用 std::variant + std::visit 是空间换时间——多一个 tag 字段，但换来运行时安全分发；而暴力模板展开所有 std::get 可能导致编译时间暴涨、目标码膨胀。
- 典型误用：
switch (idx) { case 0: return std::get(t); case 1: return std::get(t); ... }—— 模板实例化爆炸，且idx非 constexpr 时根本编译不过 - 合理路径：把元组转成
std::variant<int double std::string></int>，再用std::visit([](const auto& v) { /* 处理 v */ }, var) - 兼容性注意：
std::variant是 C++17 特性，老项目需确认标准版本
std::get 的 const 正确性容易被忽略
对 const 元组调用 std::get，返回的是 const 引用；对非常量元组，返回非常量引用。这个细节一旦写错，会导致后续赋值失败或意外修改。
常见错误现象：error: assignment of read-only location，尤其在 lambda 捕获或函数参数为 const std::tuple& 时高频出现。
- 示例：
const auto& t = std::make_tuple(42, 3.14); auto& x = std::get(t); x = 100;❌ 编译失败，因为std::get(t)返回const int& - 修复方式：要么去掉
const，要么用auto x = std::get(t);（拷贝一份），要么明确接受 const 引用：const auto& x = std::get(t); - 结构化绑定同样遵循这套规则：
const auto& [a, b] = t;→a和b都是 const 引用
最麻烦的其实是嵌套元组或 tuple of references 场景，这时候 std::get 的返回类型推导会变得隐晦。建议在这种情况下加 static_assert 或用 decltype 显式检查类型，别靠猜。
