std::views::keys 仅适用于由 std::pair 构成的 viewable_range，可直接作用于 std::map（因其迭代器解引用为 std::pair&），推荐写法为 m | std::views::keys；它返回懒惰视图，不拷贝键，但要求 c++20 且编译器支持，msvc 旧版需升级；不可用于迭代器对，不可修改键，生命周期依赖原容器。
std::ranges::views::keys 只适用于 std::pair 构成的范围
它不能直接作用于 std::map 或 std::unordered_map 本身——因为 std::map 的 value_type 是 std::pair<const key t></const>，但它不是“可直接视作 pair 范围”的容器类型。标准库要求输入范围的迭代器必须满足 input_iterator 且其 value_type 可隐式转换为 std::pair（或类似结构），而 std::map 的迭代器解引用得到的是 std::pair<const key t>&</const>，这本身没问题；真正的问题在于：C++20 中 std::ranges::views::keys **仅对 viewable_range 有效，且需底层 range 的元素能被结构化绑定**。
实际中，多数编译器（如 GCC 12+、Clang 15+）允许你写 views::keys(my_map)，但这是依赖于 map 迭代器返回 pair 类型的“巧合”，并非标准强制保证。更稳妥的做法是先转成 view。
- ✅ 推荐：用
my_map | views::keys（C++20 起支持，GCC/Clang 实际可用） - ⚠️ 注意：MSVC 早期版本（如 19.30）可能报错
no matching overloaded operator|，需升级或换写法 - ❌ 错误写法：
views::keys(my_map.begin(), my_map.end())——views::keys不接受迭代器对，只接受 range
正确写法与编译条件
必须启用 C++20，并包含对应头文件。不光要 #include <ranges></ranges>，还得确保容器本身可被视作 viewable_range（std::map 满足）。
#include <map>
#include <ranges>
#include <iostream>
int main() {
std::map<int std::string> m = {{1, "a"}, {2, "b"}, {3, "c"}};
// ✅ 正确：管道语法，返回 keys_view
for (int k : m | std::views::keys) {
std::cout
<ul>
<li>必须用 <code>std::views::keys</code>（带命名空间），不是 <code>std::ranges::views::keys</code> —— 后者不存在；<code>std::ranges</code> 是算法命名空间，views 在 <code>std::views</code>
</li>
<li>若编译失败提示 “'keys' is not a member of 'std::views'”，检查是否遗漏 <code>-std=c++20</code> 且编译器版本足够新</li>
<li>该 view 是 lazy 的，不拷贝键，只转发迭代器；遍历时底层 map 不能被修改（否则迭代器失效）</li>
</ul>
<h3>替代方案：当 views::keys 不可用或需兼容旧标准</h3>
<p>最通用、无编译器依赖的方式是用 <code>std::views::transform</code> 显式提取 <code>.first</code>：</p>
<pre class="brush:php;toolbar:false;">auto keys_view = m | std::views::transform([](const auto& p) -> const auto& { return p.first; });
- 返回类型是
transform_view，行为与keys_view几乎一致 - 注意 lambda 返回
const auto&避免复制 key（尤其 key 是 string 或自定义类型时） - 比
views::keys多一次函数调用开销，但几乎不可测；优势是 C++17 也能用（配合 range-v3 库） - 如果 map 是
const，lambda 参数用const auto&；如果是非 const，也可用auto&，但提取.first总是 const（因 pair 第一项是const Key）
常见错误：修改键导致未定义行为
views::keys 返回的引用直接指向 map 内部 pair 的 .first 成员，而这个成员是 const 的。试图通过它修改键会编译失败或触发未定义行为。
- ❌ 错误：
for (auto& k : m | std::views::keys) { k = 42; }→ 编译失败（k 是const int&） - ✅ 正确修改方式：只能通过 map 的接口，如
m.erase(old_key); m.emplace(new_key, value); - ⚠️ 若用 transform 方式并错误声明为非 const 引用（如
auto& k），某些编译器可能静默允许，但运行时破坏 map 结构，后果严重
真正容易被忽略的点是：view 的生命周期依赖于原容器；一旦 m 被移动或析构，再访问 keys_view 就是悬垂引用。这不是 keys 特有，而是所有 range view 的共性。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
