为什么auto在使用结构化绑定时似乎会推断出引用？

Question

请考虑以下使用C++ 17结构化绑定的代码:

int a = 0, b = 0;
auto [x, y] = std::tie(a, b);
y = 1;
std::cout << a << ' ' << b << '\n';

由于我使用auto,我希望的代码打印0 0的y应该是一个拷贝.然而,它打印0 1.为什么？我认为裸露auto从不推断参考.

Answer 1

正如cppreference所指出的那样,前面的声明部分[(即auto在您的情况下)不适用于引入的标识符.相反,它适用于由编译器在封面下创建的隐藏变量.您的结构化绑定声明

auto [x, y] = std::tie(a, b);

大致相当于

auto e = std::tie(a, b);
decltype(std::get<0>(e)) x = std::get<0>(e);
decltype(std::get<1>(e)) y = std::get<1>(e);

如您所见,auto应用于隐藏变量e而不是声明x和y.类型e是std::tuple<int&, int&>,并decltype(std::get<1>(e))给你int&.