阅读前建议先了解：迭代器与算法、Lambda、span、Concepts 入门。本篇介绍的新增能力属于 C++20；后续版本差异会另行标注。
C++17 算法通常要求调用方重复传入 begin/end，结束位置必须与迭代器采用紧密配套的模型，按成员排序还要手写 Lambda。多步过滤和变换若建立中间容器，会增加分配与复制；不建立容器又常需编写专用迭代器适配器。
C++20 Ranges 让算法可以直接接收整个可遍历对象，而不必反复传 begin/end。View（视图）是可组合的范围表示，过滤和变换视图通常在遍历时才计算；管道符 | 用来把这些操作按顺序连接。Concepts 在接口处检查所需能力，结束标记与投影的细节放到示例之后。
先学会遍历、过滤与变换，再区分容器是否拥有数据、视图何时失效。后半篇解释 borrowed_range（范围对象销毁本身不会让其迭代器悬空）等进阶契约。
先做一件具体的事：保留偶数并平方。传统循环直接把结果保存到 vector，视图管道描述同一计算，真正遍历时才求值；需要保存时再显式收集。
#include <cassert>
#include <iostream>
#include <ranges>
#include <vector>
int main() {
const std::vector<int> values{1, 2, 3, 4};
std::vector<int> old_result;
for (int value : values) {
if (value % 2 == 0) old_result.push_back(value * value);
}
auto squares = values
| std::views::filter([](int value) { return value % 2 == 0; })
| std::views::transform([](int value) { return value * value; });
std::vector<int> new_result;
for (int value : squares) new_result.push_back(value);
assert(old_result == new_result);
std::cout << "old=" << old_result[0] << ' ' << old_result[1]
<< ", ranges=" << new_result[0] << ' ' << new_result[1] << '\n';
}两份保存后的结果相同。建立 squares 时不会生成结果容器；读取时才筛选并变换。这里为了比较仍保存了两份结果，不能声称整个程序零分配。源 values 在整个遍历期间存活，Lambda 不捕获短寿命引用。多步筛选、变换与早停适合管道；一段简单循环或必须长期保存的结果不必强行改用 View。
std::ranges::sort(values); // 直接接收范围
std::ranges::sort(records, {}, &Record::name); // 投影成员
auto pipeline = values
| std::views::filter(predicate)
| std::views::transform(operation)
| std::views::take(10);
示例建立一个观察 values 的惰性管道。过滤与平方操作直到范围被 for 遍历时才对相应元素执行。
#include <iostream>
#include <ranges>
#include <vector>
int main() {
const std::vector<int> values{1, 2, 3, 4, 5};
auto squares = values
| std::views::filter([](int value) { return value % 2 == 0; })
| std::views::transform([](int value) { return value * value; });
bool first = true;
for (const int value : squares) {
std::cout << (first ? "" : " ") << value;
first = false;
}
std::cout << '\n';
}程序输出 4 16。奇数在过滤阶段被跳过，变换只对留下的 2 和 4 求平方。View 通常不拥有底层数据，必须保证源范围生命周期足够长；需要稳定结果或多次遍历时应考虑物化到容器。
Ranges 把“可以取得 begin/end”建模为 Concept。结束哨兵（sentinel，用来判断是否到达终点的对象）不必与迭代器同类型，这让以零字符、长度条件或无限序列结束的范围更自然。算法通过 Concept 明确要求输入范围、前向范围、随机访问范围等能力。
Ranges 算法通常返回带信息的结果类型或安全迭代器，并使用投影参数从元素中选取比较字段。它们仍是编译期泛型算法，不建立运行期集合层次。
range<R> 大致要求对 R& 能调用 ranges::begin 和 ranges::end，并让结果满足迭器/哨兵协议。common_range 额外要求 begin/end 类型相同；sized_range 能以常数或规定复杂度取得长度；contiguous_range 则把元素建模为连续内存。
哨兵只需要能与迭代器比较是否到达终点，不一定能解引用或递增。sentinel_for<S, I> 描述基本结束关系，sized_sentinel_for 还允许用相减得到距离。这种分离使无限序列配合 take、零终止字符范围和不同状态终点更自然。
C++20 迭代器 Concept 以表达式能力和语义要求为中心，不再只依赖继承某个标签。input_iterator 支持单遍读取，forward_iterator 增加多遍保证，bidirectional_iterator 支持递减，random_access_iterator 支持常数时间跳转，contiguous_iterator 还保证地址连续。算法应要求它真正需要的最低层级。
为兼容旧迭代器，iterator_traits 中的标签仍参与推导，并新增 iterator_concept 入口。自定义迭代器若错误宣称随机访问却不能满足复杂度和代数语义，可能通过部分语法检查但让算法违反前置条件。实现操作、关联类型和复杂度承诺必须一致。
Ranges 使用 iter_value_t、iter_reference_t、iter_rvalue_reference_t 等分别描述值、解引用结果和迭代移动结果。代理迭代器的引用类型不一定是 T&；泛型代码应通过相应 traits 和 indirectly_* Concepts 推理，而非硬编码真实引用。
Ranges 算法位于 std::ranges，很多能直接接收整个范围，也保留迭代器/哨兵重载。它们经常返回结构体，如同时包含输入结束位置和输出位置的 in_out_result，避免调用方丢失有用进度信息。
投影在比较器之前作用于元素。按成员排序不必编写重复 Lambda，可传成员指针；算法通过 std::invoke 语义应用投影。
#include <algorithm>
#include <iostream>
#include <ranges>
#include <string>
#include <vector>
struct Player {
std::string name;
int score;
};
int main() {
std::vector<Player> players{{"Ada", 20}, {"Bob", 10}};
std::ranges::sort(players, std::ranges::less{}, &Player::score);
bool first = true;
for (const Player& player : players) {
std::cout << (first ? "" : " ")
<< player.name << ':' << player.score;
first = false;
}
std::cout << '\n';
}&Player::score 是投影，默认关系只比较投影后的整数。算法仍重排完整 Player 对象。若投影返回悬空引用、修改元素或不稳定地产生不同结果，排序所要求的关系性质会被破坏。
Ranges 算法通常不依赖 ADL（实参依赖查找，从实参类型关联的命名空间中寻找候选） 找到同名用户算法；它们以定制点对象（具有统一调用入口、按规定寻找实现的对象）形式暴露，减少某些重载意外。调用失败时，Concept 诊断会指出迭代器、可排序性或投影关系中不满足的部分。
ranges::begin、end、size 等是定制点对象，不是普通可随意取地址的重载函数集合。它们按规定顺序考虑数组、成员函数和受控 ADL 候选，并屏蔽与协议无关的普通查找结果。用户类型通常提供成员 begin/end 或同命名空间的自由函数即可参与。
定制时必须同时满足返回类型的 Concept，例如 begin 返回的对象要能作为迭代器，end 返回值要与其形成哨兵关系。仅让名字存在并不足够。对 const 与非 const 对象还应分别提供符合真实可变性的重载。
ranges::size 可来自数组长度、成员 size、ADL size，或在适当 sized sentinel 条件下由端点差得到；disable_sized_range 可阻止某个类型被误判为常数复杂度 sized range。标准的 sized_range 不只是“理论上能遍历计数”，还涉及获取大小的接口和复杂度契约。
过滤 View 通常保存底层 View 和谓词，迭代器递增时跳过不满足元素；转换 View 保存底层 View 和转换函数，解引用时调用转换。组合管道构造一组很小的适配器对象，不会预先创建中间容器。
惰性带来零中间分配和早停优势，也意味着副作用函数可能被多次调用，调试时看到的元素并未缓存。某些 View 只满足单遍输入范围，重复遍历不是合法假设。
View 满足 range、movable 与 enable_view 等要求。C++20 的 View 不要求可复制，P2325R3 缺陷修正进一步移除了默认构造要求；其移动构造要求常数时间，移动赋值与析构的复杂度有各自的语义约束，不能简化成“所有操作都 O(1)”。视图是范围的可组合表示，不等同于永远非拥有。
C++20 发布初版没有 owning_view；P2415R2 作为针对 C++20 的缺陷修正加入拥有包装并扩展可适配的右值范围。已实现该修正的库可以拥有被适配的右值容器，早期库则可能拒绝相同写法。本篇入门示例只适配左值容器，不依赖这项修正。
views::all 是把输入规范化为 View 的核心适配：左值范围通常包装成 ref_view，已有 View 按值使用，合适的右值范围可进入拥有包装。管道 range | adaptor(args...) 本质上调用范围适配器闭包，闭包可以继续组合。
- P2325R3：移除 View 的默认构造要求，并调整相关适配器契约；可复制性本来就不是所有 View 的要求。
- P2415R2：补充 owning_view，让合适的非 View 右值范围可以被拥有。
- split_view 的接口经历 P2210R2 缺陷修正；现代库中的 lazy_split_view 延续原先偏惰性的设计，不能把两个名字都写成 C++20 发布初版已有。
这些修正常回溯用于 C++20 模式，但 -std=c++20 本身不保证某个标准库已经实现；核对库版本并实际编译所需组合。
filter 保留谓词为真的元素，递增迭代器时寻找下一匹配；transform 在解引用时计算映射结果；take/drop 限制前缀；reverse 需要更强的双向与公共范围能力；split/lazy_split 按分隔模式产生子范围；iota 表示递增生成序列。
适配器会改变范围类别。对随机访问容器做 filter 后，寻找第 N 个匹配项不能保持普通 O(1) 随机访问；转换是否保持引用语义取决于函数返回类型。设计泛型接口时应约束实际需要的 range Concept，不要假设源容器类别一路保留。
过滤 View 可能缓存首次匹配位置以满足前向范围的复杂度要求，缓存细节影响复制后的行为和线程安全直觉。标准只保证接口契约，不能把 View 当作无状态纯函数对象。
ranges::subrange<I, S, K> 把迭代器和哨兵包装成范围，可选择保存大小。它不拥有元素，底层存储失效后 subrange 同样悬空。适合把算法找到的半开区间作为一个值传给后续 Range API，而不是反复传两项参数。
当哨兵可常数时间相减时，subrange 可推导为 sized；否则若调用方明确提供长度，也可保存该长度。保存的长度必须与端点范围一致，后续若外部修改使端点含义变化，类型不会自动重新计算业务一致性。
subrange 可以在满足条件时转换回类似 pair 的结构化结果，也支持 advance、next、prev 调整窗口。调整只移动端点/大小元数据，不移动或复制元素。
从左值容器建立 View 通常保存引用；容器销毁或重分配会使 View/迭代器失效。Ranges 用 borrowed_range 描述临时范围销毁后迭代器是否仍安全，并以 dangling 返回类型阻止部分误用，但它不能捕获所有跨作用域悬空。
管道右侧适配器常保存谓词副本。捕获引用的 Lambda 会把生命周期问题带入整条管道，异步保存 View 时必须特别谨慎。
borrowed_range<R> 表示即使 R 对象本身被销毁，从它获得的迭代器仍不会因此悬空。span、string_view 等非拥有视图常属于这一类别，因为它们销毁并不销毁底层元素；普通临时 vector 不是。
Ranges 算法对临时非 borrowed range 的某些迭代器返回位置使用 ranges::dangling，让明显错误无法被当作迭代器解引用。但这只是返回类型防线：把左值容器做成 View、随后容器离开作用域，类型系统不会追踪时间关系。
viewable_range 控制对象是否适合交给视图适配器，综合考虑它是否已经是 View、是否为可安全引用的左值范围或可拥有的右值范围。C++20 初版与后续缺陷修正在部分细节上有调整，最低工具链应运行实际组合测试。
enable_borrowed_range 是面向自定义范围的显式定制变量模板，只应在范围对象销毁确实不影响迭代器有效性时特化。一个类型“内部保存指针”并不足以证明 borrowed：若它析构时释放所指缓冲区，迭代器仍会悬空。错误标记会移除 dangling 这道编译期防线。
View 与 borrowed range 是正交概念。某个 View 可能拥有底层范围，因此销毁 View 会销毁元素而不 borrowed；一个非 View 范围也可能只是指向外部稳定存储并满足 borrowed。API 文档应分别回答对象是否轻量可组合、迭代器是否越过范围对象寿命仍有效。
View 不能提升底层元素的稳定性。vector 重分配会使已取得的元素引用与迭代器失效，过滤视图缓存的匹配位置也可能失效。ref_view 本身仍引用原 vector 对象，重新取得新迭代器和继续使用旧迭代器是两件事；缓存过位置的派生视图不能因此假定自动恢复。修改元素导致过滤谓词结果变化时，已有迭代器的后续行为还要满足相应 View 前置条件。
一个 View 对象是否能作为 const 范围遍历取决于其底层范围和适配器。谓词可能不是 const-callable，缓存也可能限制 const begin()。不要因为“View 是只读窗口”就假定 const auto pipeline 一定可遍历。
转换 View 可以返回可写引用，此时通过 View 修改底层元素；也可以返回纯值，解引用得到计算结果。API 应根据实际 range_reference_t<R> 判断，不把所有 Range 元素都写成容器式 T&。
模板组合让编译器有机会内联谓词和转换、融合循环。性能仍受分支预测、函数对象大小、重复计算和缓存访问影响。复杂 View 链不保证比手写循环更快，热路径应测量生成代码和真实数据。
惰性管道的优势包括避免中间分配、只处理消费者实际请求的元素，以及让 take 等早停。代价可能是每次递增重复谓词、每次解引用重复转换、复杂迭代器状态和更长模板诊断。
若结果将排序、随机多次访问、跨线程保存或重复聚合，物化一次可能更快也更安全。C++20 标准库没有统一的 ranges::to 容器转换；通常使用迭代构造或显式循环，注意某些 View 的迭代器/哨兵不同型，不能直接传给只接受同型迭代器对的旧构造函数。
函数对象存储在管道中，其尺寸和复制/移动语义成为 View 类型的一部分。捕获大型状态会放大管道对象；捕获指针/引用则引入生命周期。可以用拥有的小型共享状态或专门命名函数对象平衡成本。
传统 <algorithm> 多数接收同型迭代器对，而 Ranges 算法接受迭代器+哨兵或整个范围。把 View 交给旧算法时，先确认它是 common_range，必要时使用 common_view 适配；否则优先调用 ranges:: 版本。
Range-for 与管道天然配合，因为语言会分别获取 begin/end。算法之外，格式化、容器构造和第三方 API 未必理解 View，应在边界明确适配而不是期望隐式转换。
示例先惰性过滤偶数，再在解引用时平方，最终只遍历一次源容器。设计管道时标记所有者、确认遍历类别、让转换保持纯净；当结果需要长期保存、排序、随机访问或反复使用时，及时物化到容器。
| 设施 | 关键语义 |
|---|---|
range<R> |
对 R& 可取得 begin/end 并形成迭代协议 |
sized_range |
可按规定复杂度取得长度 |
common_range |
迭代器和哨兵类型相同 |
contiguous_range |
元素连续并满足地址关系 |
view |
轻量范围表示，不等同于一定非拥有 |
views::all |
把输入规范化为 ref/owning/已有 view |
borrowed_range |
范围对象销毁后迭代器仍不因此悬空 |
ranges::dangling |
阻止明显的临时非 borrowed 迭代器误用 |
| projection | 比较前通过 invoke 提取元素字段 |
subrange |
非拥有地包装迭代器、哨兵和可选大小 |
- 编译器报告 not range：先分别验证 ranges::begin 和 ranges::end。
- 报
sentinel_for失败：检查 end 类型能否与 iterator 双向比较。 - sort 不可用：核对
random_access、sortable、投影和关系四层约束。 - 旧算法拒绝 View：检查 iterator/end 是否异型并考虑
common_view。 - 结果为 dangling：算法接收了临时非 borrowed range。
- 第二次遍历为空：当前管道可能只满足单遍
input_range。 - const 管道无法 begin：谓词 const-callable 或适配器缓存契约不满足。
- 元素修改未落到底层：transform 可能按值返回而非引用。
- 运行变慢：检查 filter 重复扫描、transform 重算和大型闭包捕获。
- 偶发悬空：从最外 View 逐层追踪到最终 owning/
ref_view与所有者。
源码保存在本文的完整 cpp 围栏中。以下命令从仓库根目录执行，提取并验证本篇全部示例：
python3 tools/verify_examples.py --compiler clang++ --path docs/cpp20/ranges.md提案用于理解设计动机和最初采用的方案；规范性行为应以对应标准版本和后续缺陷修正后的工作草案为准。