通过类比理解C 17中的结构化绑定

Question

我试图理解C17中引入的结构化绑定。对我来说，关于cp首选项的解释并不明显，但看起来像

cv-auto ref-operator [x, y, z] = ...

大致相当于（不考虑数组的情况）

cv-auto ref-operator unique_name = ...
#define x unique_name.member_a
#define y unique_name.member_b
#define z unique_name.member_c

这里的关键点是，xyz不是独立定义的变量，而是返回值成员的别名。和cv auto ref操作符应用于返回值，而不是别名（这里的语法可能会误导）。例如，请参见CPPPreference示例

float x{};
char  y{};
int   z{};

std::tuple<float&,char&&,int> tpl(x,std::move(y),z);
const auto& [a,b,c] = tpl;
// a names a structured binding of type float& that refers to x
// b names a structured binding of type char&& that refers to y
// c names a structured binding of type const int that refers to the 3rd element of tpl

如果abc是独立定义的变量，则const auto

从实践的角度来看，这个类比没有抓住什么关键点？




Answer 1

从另一个角度考虑这一点可能很有见地。

在C语言中，我们已经有了变量，有名字int a=5的对象，还有不是变量且没有名字的对象：*new int。结构化绑定是一种为变量的所有部分命名的方法，而整个变量没有显式的名字。所以是[x， y， z]的组合一起命名了一个有三个成员的变量。

重要的是，它们一起命名一个对象，所以编译器实际上必须布局这个对象。独立变量可以独立地放在堆栈上。但是对于结构化绑定，编译器不能这样做（除了正常的as-if规则）

因此，当我们考虑组合<代码> [Xy Z] 作为变量的名称时，很明显，<代码>自动const。

然后我们必须考虑个人名称<代码> x<代码>，<代码> y>代码>和<代码> z <代码>平均值。你的问题总结为

cv-auto ref-operator unique_name = ...
#define x unique_name.member_a
#define y unique_name.member_b
#define z unique_name.member_c

这有点棘手。member_a从哪里来？看起来unique_name有一个member_a。您已经排除了数组大小写，它有[0]。元组有get

但是是的，对于最简单的情况，一个简单的结构，没有位字段，确实会有一个相应的成员_a。