为什么结构化绑定引入变量作为值，而不是引用？

Question

我正在学习结构化绑定声明。我的理解是，auto

所以，如果我使用auto

#include <cstddef>
#include <tuple>
#include <type_traits>

struct Foo {
    template<std::size_t i>
    int get() { return 123; }
};

namespace std {
    template<> struct tuple_size<Foo> : integral_constant<size_t, 1> {};
    template<std::size_t i> struct tuple_element<i, Foo> { using type = int; };
}

int main() {
    Foo f;
    auto& [x] = f;
    x++;
}

此外，C Insights清楚地表明clang将结构化绑定扩展为：

Foo f = Foo();
Foo & __f17 = f;
std::tuple_element<0, Foo>::type x = __f17.get<0>();
x++;

在这里，它声明x不是作为一个引用，而是作为一个值。为什么？

我预计左值引用和编译错误：e（__f17在上例中）是左值引用。




Answer 1

这是因为auto

如果改用auto[x]，代码片段将扩展为如下内容

Foo f = Foo();
Foo __f17 = f; // Difference here
std::tuple_element<0, Foo>::type x = __f17.get<0>();
x++;

绑定本身始终是对底层对象的某种引用。然而，cppinsights代码并不能准确地表示这一点。C标准中的相关段落是这样说的

[dcl.struct.bind]

3否则，如果合格的idstd:: tuple_大小