结构化绑定和强制复制省略

Question

如果你像这样使用结构化绑定

auto [a, b, c] = std::make_tuple(1, 10.0, "string object"s);

那么返回的元组中的副本是否会被删除，对象会直接进入a、b 和c，或者初始化是来自单个元组元素的移动构造吗？我怀疑这会导致复制发生，但我不确定标准中对强制复制省略的描述是否能处理这种情况。

Answer 1

正如this excellent answer 所涵盖的，声明相当于：

auto e = std::make_tuple(1, 10.0, "string object"s);
int& a = get<0>(e);
double& b = get<1>(e);
std::string& c = get<2>(e);

除了没有名字e。在此上下文中，get 函数会产生对所选项目的左值引用。

在 C++17 中，auto name = prvalue;is defined 声明一个名为 name 的对象，其类型为 decltype(prvalue)，使用纯右值表达式初始化——没有像以前版本中那样可以省略的中间临时对象。

换句话说，e 声明的行为与：

std::tuple<int, double, std::string> e {1, 10.0, "string object"s};

然后a,b,c 是对该元组元素的引用。

---

注意：以上解释对应最新的C++17草稿源码；当然，在 C++17 最终确定之前，行为可能会发生变化。