c++ - 为什么我不能将 std::map 的条目解压到引用中？

Question

我注意到从 std::map 解包键和值不给我引用。我假设 std::map 中的单个条目存储为一对 const 键和值。
什么工作:

手动取.second一对来自 std::map成引用。

拆开一对使用 std::make_pair 制成的成引用。

从 std::views::values 的结果中获取引用

什么不起作用:

将 for 循环中的映射条目直接解包为引用

将从迭代器获得的映射条目解包到引用中

为什么以上两个不起作用？附件是示例源代码，以及从 IDE 中推导出的类型。编译器确实会导致与插入相同的错误消息。

#include <map>
#include <type_traits>
#include <ranges>

int main() {
    std::map<int, int> data;

    for (const auto& kv : data) {
        auto& v = kv.second;
        auto& [a, b] = kv;
        static_assert(std::is_reference_v<decltype(v)>);
    }

    for (const auto& v : data | std::views::values)
        static_assert(std::is_reference_v<decltype(v)>);

    for (const auto& [k, v] : data)
        static_assert(std::is_reference_v<decltype(v)>);  // error

    {
        auto& kv = *data.begin();
        auto& [k, v] = kv;
        static_assert(std::is_reference_v<decltype(v)>);  // error
    }

    {
        auto kv = std::make_pair(3, 5);
        auto& k = kv.first;
        auto& v = kv.second;
        static_assert(std::is_reference_v<decltype(v)>);
    }

    return 0;
}

Answer 1

它是一个引用。但是，有一个特殊的规则，decltype在结构化绑定(bind)上(来自 [dcl.type.decltype]/1.1 ):

• if E is an unparenthesized id-expression naming a structured binding ([dcl.struct.bind]), decltype(E) is the referenced type as given in the specification of the structured binding declaration;

映射对(即 pair<Key const, Value>)的引用类型只是 Key const和 Value ，从来没有任何引用。