C++17 结构化绑定

结构化绑定 (structured bindings) 更方便地访问和操作容器中的元素

struct MyStruct {
    int num = 0;
    std::string str;
};
MyStruct ms;
// 下列每一种声明方式都是支持的
auto [num1, str1] = ms;
auto const [num2, str2] {ms};
auto & [num3, str3] (ms);
auto const & [num3, str3] (ms);

本质：引入一个隐藏的匿名对象

• 结构化绑定时引入的新变量名其实都指向一个匿名对象的成员/元素。

/* 结构化绑定：值 */
auto [u, v] = ms;
auto const [u, v] = ms;
// 等价于
// 1. 拷贝一个新的匿名对象
auto e = ms;
// 2. 让u和v变成新的匿名对象的成员变量的别名
取别名 u = e.i; // 注意，这里不是引用，实际上相当于编译器帮我们取别名了
取别名 v = e.s;

/* 结构化绑定：引用 —— 可间接修改用于初始化的对象的成员 */
auto & [u, v] = ms;
auto const & [u, v] = ms;
// 等价于
// 1. 新的匿名对象是原始对象引用
引用ms 得到 e
// 2. 让u和v变成新的匿名对象的成员变量的别名
// 等价于
取别名 u = e.i; // 注意，这里不是引用，实际上相当于编译器帮我们取别名了
取别名 v = e.s;

• 修饰符会作用在新的匿名实体上，而不是结构化绑定引入的新的变量名上。

const auto& [u, v] = ms; // u/v 指向 ms.i/ms.s
// u和 v都不是引用，只有匿名实体是一个引用
// 根据我们的推导，decltype(u)是 const int，decltype(v)是 const std::string
// 变成了 const的 —— 因为不能修改常量引用的成员