结构化绑定是C++17引入的特性，支持从tuple、pair、聚合类、数组和std::array中解包变量；要求类型为聚合类或提供tuple-like接口；支持类型声明与引用绑定，但不支持bit-field及函数参数（C++20前）。
结构化绑定（Structured Bindings）是 C++17 引入的重要特性，它让你能直接从结构体、数组、tuple 等复合类型中“解包”出多个变量，写法简洁、语义清晰，避免了冗长的 get 或成员访问。
结构化绑定的基本用法
最常见的是绑定 std::tuple、std::pair 和自定义结构体（需满足特定条件）：
- 对 tuple：自动按顺序绑定各元素，类型由编译器推导
- 对 pair：等价于绑定 first 和 second
- 对结构体：要求所有非静态数据成员为 public，且不能有用户定义的构造函数、基类或私有/受保护成员（即“聚合类”或使用 struct 定义的平凡类型）
示例：
auto [x, y, z] = std::make_tuple(1, 3.14, "hello"); // x=int, y=double, z=const char*
auto [a, b] = std::pair{42, true}; // a=42, b=true
struct Point { int x; double y; };
Point p{10, 2.5};
auto [px, py] = p; // px=10, py=2.5
绑定数组和初始化列表
结构化绑定也支持 C 风格数组和 std::array（本质是聚合类型）：
立即学习“C++免费学习笔记（深入）”；
- 数组大小必须在编译期确定，绑定变量个数需与元素个数一致
- std::array 同样适用，且更安全、更推荐
示例：
int arr[] = {1, 2, 3};auto [i, j, k] = arr; // i=1, j=2, k=3
std::array
auto [first, second] = a; // first=5, second=8
带类型声明和引用绑定
你可以显式指定每个绑定变量的类型，也可以加 & 或 const & 来绑定引用，避免拷贝：
- 使用 auto& 绑定可修改原对象成员（适用于可修改的左值）
- 使用 const auto& 可绑定临时对象或只读场景
- 显式类型如 double& d 要求类型兼容，否则编译失败
示例：
Point p{100, 99.9};auto& [rx, ry] = p;
rx = 200; // p.x 现在是 200
const auto& [cx, cy] = get_point(); // 绑定临时返回值，安全高效
结构化绑定的限制与注意事项
不是所有类型都能用结构化绑定，需注意以下几点：
- 类类型必须是聚合类（aggregate），或提供符合要求的 get 和 tuple_size 特化（如 std::tuple 的特化方式）
- 不能绑定 bit-field 成员（C++20 仍不支持）
- 绑定变量名不能重复，也不能是保留关键字
- 不能用于函数参数列表（C++17 不支持，C++20 允许在 lambda 参数中使用）
若结构体含 private 成员或构造函数，可添加友元 tuple-like 接口，或改用 std::tie 作为替代方案。
