创建tuple用std::tuple{}或std::make_tuple()，访问必须用std::get<N>(t)（N为编译期常量索引），不支持[]或变量索引；越界或运行时索引均编译失败，因内部依赖模板偏移计算。
怎么创建和访问 tuple 元组
直接用 std::tuple 模板构造，类型和值按顺序一一对应。访问必须用 std::get<N>(t)，其中 N 是编译期常量索引（从 0 开始），不能用变量代替。
常见错误：写成 std::get(i)(t) 或 t[i] —— 这两种都非法，编译直接报错 error: no match for operator[] 或类似模板推导失败。
- 构造示例：
auto t = std::tuple{42, "hello", 3.14};（C++17 类型推导简化写法） - 访问第 0 个元素：
int x = std::get<0>(t); - 访问第 2 个元素：
double d = std::get<2>(t); - 若索引越界（如
std::get<5>(t)），编译期报错，不是运行时异常
为什么 get<N> 索引必须是编译期常量
因为 std::tuple 内部是异构类型扁平存储，不同元素偏移、大小、对齐方式全靠模板参数推导，没有运行时元信息。std::get<N> 实际展开为指针偏移 + 强制 reinterpret_cast，一旦 N 不是常量，编译器无法确定类型和偏移量。
想用变量索引？不行。替代方案只有：转成 std::variant 数组（失去类型安全）、或用 std::array<std::any, N>（运行时开销大），都不是 tuple 的设计场景。
立即学习“C++免费学习笔记（深入）”；
- 合法：
constexpr int idx = 1; auto s = std::get<idx>(t); - 非法：
int i = 1; auto s = std::get<i>(t);（编译失败） - tuple 不支持迭代器遍历，也没有
size()成员函数（得用std::tuple_size_v<T>）
如何解包 tuple 到多个变量（C++17 结构化绑定）
最常用也最安全的解包方式是结构化绑定，语法简洁且类型自动推导准确。
注意绑定名必须是新变量名，不能复用已有变量；且绑定后不能单独修改某个成员（除非声明为引用）。
- 基本解包：
auto [i, s, d] = std::tuple{42, "hello", 3.14};→i是int，s是const char*，d是double - 引用解包（可修改原 tuple）：
auto& [i, s, d] = t; - 若 tuple 含右值引用（如
std::string&&），绑定后生命周期会延长；但普通临时对象仍需谨慎，避免悬垂引用
tuple 和 pair、struct 该怎么选
三者语义不同：pair 是“两个相关值”的固定组合（如键值对），tuple 是“任意数量异构值”的轻量容器（适合临时聚合），struct 是“有明确业务含义的命名数据集合”。别为了省几行代码把 tuple 当 struct 用。
性能上三者几乎无差别（都是 POD 或 trivially copyable），但可读性和维护性差距很大。tuple 的字段没名字，调试时只能靠位置猜含义；而 struct 字段名一目了然。
- 适合 tuple 的场景：函数返回多个不同类型结果（如
std::make_tuple(iter, found, count)）、模板元编程中做类型列表、配合std::apply调用可变参函数 - 不适合 tuple 的场景：需要频繁访问某字段、要序列化、要加注释说明字段含义、团队协作代码
- 错误示范：
auto user = std::tuple{"Alice", 28, true};→ 到底第三个true是不是管理员？没人知道
tuple 的核心价值在编译期类型组合能力，而不是运行时灵活性。用错地方时，问题往往不是“能不能跑”，而是“三个月后你还看得懂自己写的 std::get<4> 是什么意思吗”。
