C 17中的初始值设定项列表和结构化绑定

Question

我一直避免像下面这样的初始化

const auto& x = a, y = b;
const int* const x = ptr_1, *const y = ptr_2;  // wot

因为引用和指针限定符不适用于初始化。假设这是初学者学习的第一件事，与之相关的模糊性让我觉得下面的内容更清晰，也更不需要读者思考

const auto& x = a;
const auto& y = b;

有了C17和结构化绑定，我很开心，看到了很多潜力。C17禁止了C14和C11未能修复的东西，auto x{1}是一个int而不是std:：initializer\u列表

const auto& [x, y] {a, b};
const auto& [x, y] = {a, b};

后者符合自动推断和初始值设定项列表的新规则，右侧的表达式被视为初始值设定项列表。但对于前一个编译，编译失败，出现以下错误

initializer for variable '[a, b]' with type 'const auto &' contains multiple expressions

有没有什么方法可以用结构化绑定语法声明x和y，而不必求助于元组、对之类的东西？还有，为什么上面的代码示例中前者的代码格式不正确？这种语法有歧义吗？




Answer 1

不支持此语法。您只能解压重载了std::get的聚合类和对象：https://skebanga.github.io/structured-bindings/

不幸的是，您不能真正使用酷的推导指南，因为您想要引用a而不是元组成员。因此，您必须写出模板参数列表。

#include <tuple>

int main()
{
  int a = 1;
  int b = 2;
  const auto& [x, y] = std::tuple<int&,int&>{a, b};
}

你也不可能像我一样愚蠢，正确地阅读文件。

#include <tuple>

int main()
{
  int a = 1;
  int b = 2;
  const auto& [x, y] = std::forward_as_tuple(a, b);
}

const auto

Answer 2

可以说，结构化绑定是为了“解包”东西。它不是设计成组合普通声明的方法。这就是<代码>const auto

您的特定尝试违反了[dcl.dcl]/8：

带有标识符列表的简单声明称为结构化绑定html" target="_blank">声明（[dcl.struct.bind]）。[...] 初始值设定项的形式应为“=赋值表达式””、形式为“{assignment expression}”或形式为“（赋值表达式）”，其中赋值表达式为数组或非并集类类型。

int a = 1, b = 2;
const auto bitand <:x, y:> = std::tie(a, b);

这种结构化绑定声明（非常）大致相当于

const auto bitand __e = std::tie(a, b); // hidden variable
auto and x = std::get<0>(__e);
auto and y = std::get<1>(__e);

（真正的东西使用的是tuple_元素，而不是auto）

笔记：

• const auto bitand适用于隐藏变量，仅适用于隐藏变量x和y始终是引用，即使您只写auto；它们的引用是否为const取决于初始值设定项类型的const传播属性

如果我们讨论的是用两个“reference to int”成员解包一个结构等，那么这些语义并不奇怪；在这样的事情上，const实际上并不影响被指对象的constanss。OTOH，如果你想用结构化的绑定声明来完成一些他们不打算做的事情，你会大吃一惊。