结构化绑定仅支持三类类型：std::tuple与std::pair、公开成员的聚合结构体、固定大小数组；变量类型由右侧表达式决定，默认拷贝，需显式引用避免性能损耗。
结构化绑定能拆哪些类型
只有三类东西能被 auto [a, b] = ... 拆开：标准库的 std::tuple 和 std::pair、公开成员的聚合结构体（struct）、固定大小的数组（std::array 或 C 风格数组）。不是所有结构体都行——如果加了私有成员、构造函数、继承或虚函数，编译器直接报错：error: cannot bind structured binding to non-aggregate type。
拆 std::tuple 和 std::pair 时变量类型怎么定
类型由右侧表达式决定，不是靠你写什么。比如 auto [x, y] = std::make_tuple(42, 3.14)，x 是 int，y 是 double；而 const auto& [x, y] = p（p 是 std::pair<:string int></:string>），x 就是 const std::string&，不是副本。
- 不加修饰默认拷贝：每个变量都是右值的副本，对大对象（如长字符串、大容器）可能意外触发深拷贝
- 想避免拷贝就显式用
const auto&或auto&&，尤其在循环里遍历std::map时 -
std::pair只有两个元素，命名习惯上常叫[key, value]，但语法上它和tuple一样处理
拆自定义 struct 的硬性条件
必须是聚合类型（aggregate）：所有成员 public、无用户定义构造函数、无基类、无虚函数、无默认成员初始化器（C++17 起允许，但某些旧编译器仍不支持）。例如：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
struct Point {
int x;
int y;
}; // ✅ 可以 auto [a, b] = p;
但下面这些都不行：
-
struct Bad { private: int x; };→ 成员非 public -
struct Bad { Bad() {} int x; };→ 有用户定义构造函数 -
struct Bad : Base { int x; };→ 有基类 -
struct Bad { int x = 0; };→ C++17 前不支持，默认初始化器会拒编
最容易被忽略的坑：绑定后改不了原值
结构化绑定创建的是新变量，不是引用别名。哪怕你写 auto [a, b] = t（t 是 std::tuple<int int></int>），a 和 b 仍是 int 类型的副本，修改它们不影响 t 里的原始值。真要改原值，得用 auto& [a, b] = t，且确保 t 本身是左值引用或可取地址。
这个细节在 map 遍历时特别关键：写 for (const auto& [k, v] : m) 是安全的，但若误写成 for (auto [k, v] : m)，每次迭代都在拷贝 key 和 value，性能可能断崖下跌。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
