结构化绑定必须用auto声明，变量数量须与pair/tuple/聚合类/数组的成员数严格匹配，且仅支持聚合类、固定大小数组和std::array，不支持std::vector或含用户构造函数的类。
结构化绑定必须用 auto 声明，不能写具体类型
你不能写 int[x, y] = p; 或 std::string[name, age] = person; —— 编译器会直接报错。结构化绑定要求左侧必须是 auto（或带修饰的 const auto、auto& 等），因为编译器需要根据右侧表达式推导每个绑定变量的独立类型。
常见错误现象：
-
error: 'x' declared as a reference to void（误用非auto类型） -
error: structured binding declaration must declare at least one name（漏写变量名或写成空括号）
正确写法只有一种起点：auto[变量名列表] = 表达式;
std::pair 和 std::tuple 解包时变量数量必须严格匹配
比如 std::pair<:string int></:string> 只能绑定两个变量，多一个或少一个都会编译失败。
示例：
std::pair<:string int> p = {"Alice", 30};
auto[name, age] = p; // ✅ 正确
auto[name] = p; // ❌ 编译失败：expected 2 names, got 1
auto[name, age, id] = p; // ❌ 编译失败：expected 2 names, got 3</:string>
同理，std::tuple<int double std::string></int> 必须用三个变量绑定，顺序和类型由 std::get<n></n> 的隐式规则决定。
绑定结构体时，它必须是聚合类（aggregate）
所谓聚合类，是指满足以下全部条件的类或结构体：
- 所有非静态数据成员都是
public - 没有用户定义的构造函数（包括默认构造函数也不能显式写出来）
- 没有私有或受保护的继承
- 没有虚函数、虚基类
例如：
struct Point {
int x, y; // ✅ public, no ctor, no virtual
};
Point p{10, 20};
auto[x, y] = p; // ✅ 可绑定
但下面这个不行：
struct BadPoint {
int x, y;
BadPoint(int x, int y) : x(x), y(y) {} // ❌ 用户定义 ctor → 不是聚合类
};
auto[x, y] = BadPoint{1, 2}; // ❌ 编译失败
数组绑定要求大小已知且固定
原生数组（如 int arr[3]）和 std::array 支持结构化绑定；std::vector 不支持，因为其大小在运行时才确定。
绑定时变量个数必须等于数组长度：
-
int arr[4] = {1,2,3,4}; auto[a,b,c,d] = arr;✅ -
std::array<double> a = {3.14, 2.71}; auto[x,y] = a;</double>✅ -
std::vector<int> v = {1,2,3}; auto[a,b,c] = v;</int>❌ 编译失败：no matching function for call to 'begin'
容易忽略的一点：即使数组是局部栈变量，只要大小不完整（如 int arr[] = {1,2,3};），也无法用于结构化绑定——编译器无法在声明时确认维度。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
