C++如何使用std::ranges::views::keys快速遍历Map主键-C++-PHP中文网

std::ranges::views::keys要求value_type为pair_like类型且含first成员，仅适用于std::map、std::unordered_map等value_type为std::pair的容器，不支持自定义kv结构；需c++20、#include ，返回const key&引用，无size()，非sized_range。

c++如何使用std::ranges::views::keys快速遍历map主键

std::ranges::views::keys 要求容器有 `value_type::first` 成员

它不能直接用于 std::map 以外的“类 map”结构，比如 std::unordered_map 或自定义键值对容器。根本原因是 std::ranges::views::keys 的约束依赖于 std::pair 类型推导 —— 它内部假定 value_type 是 std::pair<const k v></const> 或兼容类型，并访问其 first 成员。而 std::map::value_type 确实是 std::pair<const key t></const>，所以能用；std::unordered_map::value_type 同样满足，也能用。

但如果你传入的是 std::vector<:pair std::string>></:pair>，它也能工作；可一旦换成 std::vector<mykv></mykv>（哪怕 MyKV 有 key() 方法），就会编译失败 —— 因为没有 first 成员，且不满足 std::ranges::pair_like 约束。

必须启用 C++20 并包含对应头文件

std::ranges::views::keys 属于 C++20 <ranges></ranges> 模块，不是 <map></map> 或 <utility></utility> 里自带的。漏掉头文件会报类似 ‘keys’ is not a member of ‘std::ranges::views’ 的错误。

确保编译器支持 C++20（如 GCC 10+、Clang 13+、MSVC 19.30+）
显式 #include <ranges></ranges>，仅 #include <map></map> 不够
不需要 using namespace std::ranges::views;，但写全名更安全：std::ranges::views::keys

遍历时迭代器解引用得到的是 const Key&，不是 Key 副本

这是容易误判性能的地方：你拿到的不是拷贝，而是对原 map 中 key 的 const 引用。如果 key 类型很大（比如 std::string 或自定义结构体），这反而省了拷贝；但如果后续需要修改或存储，得显式 std::string{key} 或 Key(key) 构造副本。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

示例：

std::map<:string int> m = {{"a", 1}, {"bb", 2}, {"ccc", 3}};
for (const auto& k : m | std::ranges::views::keys) {
    // k 是 const std::string&，指向 map 内部节点的 key
    // 不能做 k += "x"；但可以 std::cout 
<ul>
<li>若需转存为 vector：用 <code>std::vector(k.begin(), k.end())</code> 或 C++23 <code>std::ranges::to<:vector></:vector></code>
</li>
<li>不能对 <code>keys</code> 视图调用 <code>.size()</code>（它不是 <code>sized_range</code>），要获取键数量得用 <code>std::distance</code> 或直接用 <code>m.size()</code>
</li>
</ul>
<h3>和传统 for-loop 或 keys() 成员函数对比时注意语义差异</h3>
<p><code>std::map</code> 本身没有 <code>.keys()</code> 成员函数 —— 那是 Python 的写法。C++ 里有人误以为 <code>m.keys()</code> 存在，结果编译失败。也有人想用 <code>std::views::keys(m)</code>（漏掉 <code>std::ranges::</code>），这会触发 ADL 查找，但找不到重载，报错信息往往很绕。</p>
<ul>
<li>正确写法只有：<code>m | std::ranges::views::keys</code> 或 <code>std::ranges::views::keys(m)</code>
</li>
<li>等价的传统写法是 <code>for (const auto& p : m) { p.first; }</code>，但 <code>views::keys</code> 更声明式，且可链式组合（比如接 <code>| std::views::filter(...)</code>）</li>
<li>若 map 是 const 的，两种方式都可用；但若 map 是临时对象（如函数返回值），<code>views::keys</code> 仍可绑定，而传统 range-for 要求左值或显式延长生命周期</li>
</ul>
<p>真正容易被忽略的是：视图不拥有数据，也不改变原容器生命周期。一旦原 <code>std::map</code> 被销毁，继续使用 <code>keys</code> 视图里的引用就是悬垂引用 —— 这点和迭代器一样危险，但新手常以为“视图更安全”。</p></:string>