C 17中结构化绑定引入的标识符类型是什么？

Question

据我所知，C 17中结构化绑定引入的标识符实际上是对某些“隐藏”变量的引用。以至于

auto [ a, b ] = std::make_tuple(1, 2);

相当于

auto e = std::make_tuple(1, 2);
auto& a = std::get<0>(e);
auto& b = std::get<1>(e);

但是，如果我打印出std::is_reference




Answer 1

据我所知，C 17中结构化绑定引入的标识符实际上是对某些“隐藏”变量的引用。

如果“reference”指的是语言结构的引用，那么这并不完全正确。声明中的说明符与您所说的“隐藏变量”有关。引用限定符是可选的。您展示的代码更像这样：

const auto& e = std::make_tuple(1, 2);
using E = remove_reference_t<decltype((e))>;
std::tuple_element<0, E>::type& a = get<0>(e);
std::tuple_element<1, E>::type& b = get<1>(e);

Answer 2

如果我打印出std:：is_reference

为什么即使我们能证明a和b引用元组中的元素，并且可以通过它们修改这些值？
我不是语言律师，但可能是由于标准（工作草案）的这个项目：

如果e是一个命名结构化绑定[…]的未加密id表达式decltype（e）是结构化绑定声明规范中给出的引用类型

旁注。您应该使用此表单，以便a和b引用元组中的元素：

auto tup = std::make_tuple(1, 2);
auto & [ a, b ] = tup;

下面是一个简单的工作示例：

#include <tuple>
#include <type_traits>
#include <iostream>

int main() {
    auto tup = std::make_tuple(1, 2);
    auto & [ a, b ] = tup;
    a = 0;
    std::cout << a << ", " << std::get<0>(tup) << std::endl;
}

在Coliru上看到它。在另一边，你得到的是使用下面表达式的值的副本：

auto [ a, b ] = std::make_tuple(1, 2);

这里有一篇文章更好地解释了它，比人类的标准更容易理解。