结构化绑定仅支持三类类型：聚合类型、标准容器特化（tuple/pair/array）、自定义实现tuple接口的类型；绑定失败是编译期错误，需严格匹配布局或接口要求。
结构化绑定（Structured Binding）在 C++17 中正式引入，它不是“解构语法糖”，而是对底层对象布局或元组接口的直接访问机制——用错场景或类型会导致编译失败，而非运行时错误。
哪些类型支持结构化绑定
只有三类类型能用 auto [a, b, c] = expr;：
- 具有公开、连续非静态数据成员的聚合类型（如
struct，且无用户定义构造函数、私有成员、基类、虚函数） - 标准容器特化：仅
std::tuple、std::pair、std::array（注意：std::vector不行） - 实现了
get<I>(obj)和tuple_size_v<T>的自定义类型（需特化std::tuple_size和std::tuple_element）
常见误用：对 class（哪怕全是 public 成员）直接绑定会失败，因为默认不满足聚合要求；对 std::map::value_type（即 std::pair<const K, V>）可绑，但对 std::map 本身不行。
绑定数组时要注意长度与 const 限定
数组绑定本质是按索引展开，编译期必须知道大小：
立即学习“C++免费学习笔记（深入）”；
int arr[] = {1, 2, 3};
auto [x, y, z] = arr; // ✅ OK：推导为 int[3]，绑定成功
auto [a, b] = arr; // ❌ 编译错误：期望 2 个元素，但 arr 是 int[3]
若原数组是 const，绑定变量也隐含 const 限定：
const int c_arr[] = {10, 20};
auto [u, v] = c_arr; // u 和 v 都是 const int 类型
// u = 100; // ❌ 错误：不能赋值给 const int
想获得非常量引用？必须显式声明引用并确保源可修改：
int arr[] = {1, 2};
auto& [p, q] = arr; // p 和 q 是 int&，可修改 arr[0]/arr[1]
绑定 tuple/pair 时名称顺序和类型完全由模板参数决定
std::tuple 绑定不依赖字段名（它没有），只依赖 std::get<I> 返回的类型与顺序：
#include <tuple> auto t = std::make_tuple(42, "hello", 3.14); auto [i, s, d] = t; // i:int, s:const char*, d:double —— 顺序和类型严格对应
容易踩的坑：
- 绑定
std::pair<int, std::string>时写成auto [s, i] = p;会编译失败（类型不匹配） - 对
std::tuple<int&, double&>绑定，得到的是引用类型，修改绑定变量等价于修改原始变量 - 使用
std::tie仍有必要：当需要绑定到已有变量（而非新建）时，结构化绑定无法替代
结构化绑定不能用于函数返回值的直接拆包（除非返回类型明确支持）
下面这段代码看似合理，但多数情况下会失败：
std::tuple<int, std::string> get_data() { return {123, "test"}; }
auto [num, str] = get_data(); // ✅ OK：返回值是纯右值 tuple，支持绑定
但换成返回局部 struct 就不一定行：
struct Result { int x; std::string y; };
Result make_result() { return {456, "ok"}; }
auto [a, b] = make_result(); // ❌ 失败：Result 不是聚合类型（C++17 默认不视为聚合，尤其含 std::string）
修复方式：显式定义为聚合（移除构造函数、确保所有成员 public 且无默认初始化）：
struct Result { int x; std::string y; }; // ✅ 现在是聚合（C++17 要求：无用户声明构造函数、无私有/保护非静态成员等）
更稳妥的做法：始终用 std::tuple 或 std::pair 作为返回接口，它们的绑定行为最稳定。
结构化绑定的真正难点不在语法，而在于判断左侧类型是否“可分解”——它不触发转换、不调用构造函数、不查重载，只做编译期布局/接口校验。一旦报错，基本只能从类型定义或标准容器选择上调整，而不是改绑定写法。
