c++ - 为什么绑定(bind)到引用类型时 "const auto [x, y]"的行为不符合预期？

Question

以下代码片段摘自 cppref :

std::tuple<int, int&> f();

auto [x, y] = f(); 
// decltype(x) is int
// decltype(y) is int&

const auto [z, w] = f();
// decltype(z) is const int
// decltype(w) is int&

我的问题在最后一行:

为什么 是 decltype(w) int& 而不是 const int&?

Answer 1

Jarod42回答了评论中的问题，让我在这里引用标准的相关部分，来自 [dcl.struct.bind]¹:

Given the type Ti designated by std​::​tuple_­element​::​type, variables are introduced with unique names ri of type “reference to Ti” initialized with the initializer ([dcl.init.ref]), where the reference is an lvalue reference if the initializer is an lvalue and an rvalue reference otherwise. Each vi is the name of an lvalue of type Ti that refers to the object bound to ri; the referenced type is Ti.

因此在 const auto [z, w] = f(); 中，你有 const T1 与 T1 是 int 和 const T2 其中 T2 是 int&。当 const 修改左边的内容时，这变成 int& const 并导致 int&。

注意 int& const 变成 int& 只能在模板参数替换中，也就是说，这不会编译:

int n = 42;
int& const doesntWork = n; // Error: 'const' qualifiers cannot be applied to 'int&'

但确实如此:

template <class T> void f(const T t)
{
   ++t;
}

int n = 42;

f<int&>(n);

从 int& const 到 int& 发生与上述相同的收缩。

¹ 感谢@cpplearner 将我指向此处的确切段落。