结构化绑定和强制拷贝省略

Question

如果您使用这样的结构化绑定

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

然后，返回的元组中的副本将被省略，对象将直接进入a、b和c，还是将初始化从单个元组元素中移除？我怀疑这会导致复制的发生，但我不确定标准中对强制复制省略的描述是否能处理这种情况。

Answer 1

正如这个出色的答案所涵盖的，该声明相当于：

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函数生成对选定项的左值引用。

在C17中，auto name=prvalue被定义为声明一个名为name的对象，该对象的类型为decltype（prvalue）并用prvalue表达式初始化——在以前的版本中，没有可删除的中间临时对象。

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

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

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

注：以上解释对应于最新的C17草案来源；当然，在C17最终确定之前，行为可能会发生变化。