std::ranges::views::keys仅适用于value_type含first成员的范围，如std::map或vector，需c++20+、#include且用完整命名空间；返回轻量视图，惰性求值，不支持随机访问。
std::ranges::views::keys 要求容器支持 value_type::first
它不是万能的“取键工具”，只对符合特定结构的范围有效。标准 std::map、std::unordered_map 等关联容器满足条件（其 value_type 是 std::pair<const key t></const>），但普通 std::vector<:pair std::string>></:pair> 也行——只要每个元素有可访问的 first 成员。而 std::vector<mystruct></mystruct> 这类自定义类型，除非显式提供 first 成员或 ADL 可见的 first 访问器，否则编译失败。
必须包含 <ranges></ranges> 且启用 C++20 或更高标准
常见错误是只写了 #include <map></map> 或 #include <vector></vector> 就直接用 views::keys，结果报错 “‘views’ is not a member of ‘std::ranges’”。正确做法：
- 确保编译器支持 C++20（如 GCC 10+、Clang 13+、MSVC 19.30+）
- 显式添加
#include <ranges></ranges> - 使用
std::ranges::views::keys，不能省略std::ranges::前缀（ADL 不自动拉入views）
示例片段：
#include <map>
#include <ranges>
#include <iostream>
int main() {
std::map<int std::string> m = {{1, "a"}, {2, "b"}};
auto keys_view = std::ranges::views::keys(m); // ✅ 正确
for (int k : keys_view) std::cout
<h3>返回的是视图（view），不是新容器</h3>
<p><code>views::keys</code> 不拷贝键，也不分配内存，它只是轻量级包装器，底层仍绑定原 map。这意味着：</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>修改原 map 的键会导致未定义行为（因为 map 键是 const，实际无法修改）</li>
<li>若原 map 生命周期结束，该视图立即失效（悬垂迭代器）</li>
<li>不能直接用 <code>std::vector<int>(keys_view)</int></code> 构造——需显式转换：<code>std::vector<int>(keys_view.begin(), keys_view.end())</int></code> 或 <code>std::vector<int>{keys_view.begin(), keys_view.end()}</int></code>
</li>
<li>性能上零开销：遍历时就是原 map 的迭代器解引用 <code>->first</code>，无额外跳转</li>
</ul>
<h3>和传统循环或 <code>std::transform</code> 相比，优势在组合性</h3>
<p>单独取键时，写法差异不大；但它真正有用的地方是链式操作。比如“取键 → 过滤偶数 → 转成 vector”：</p>
<pre class="brush:php;toolbar:false;">auto evens = m | std::ranges::views::keys
| std::ranges::views::filter([](int k) { return k % 2 == 0; })
| std::ranges::to<:vector>();</:vector>
注意：std::ranges::to 是 C++23 特性；C++20 中需用 std::vector<int>(…)</int> 手动构造。另外，views::keys 返回的视图是 input_range，不保证 random_access，所以别对它调用 .size() 或下标访问——除非你知道底层容器支持（如 std::map 的视图不支持 operator[]）。
最易被忽略的一点：视图默认惰性求值，只有开始遍历才触发逻辑；如果忘了加终结操作（如 to<...></...> 或 range-based for），什么也不会发生——代码看似“没报错也没输出”，其实是根本没执行。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
