9、C++ 20：Ranges与定制点的深入解析

C++ 20：Ranges与定制点的深入解析

1. C++ Ranges概述

在C++中，视图（views）是一种强大的工具，用于适配其他范围（ranges）。像 std::ranges::transform_view 这样的视图，通常会将底层范围作为数据成员存储。这意味着，由于 transform_view 承诺能在常量时间内完成复制操作，它所包含的数据成员也必须能在常量时间内完成复制。

视图理论上似乎只能适配其他视图，但实际上，只要视图不获取范围的所有权，非视图范围也是可以接受的。这一要求由 std::ranges::viewable_range 概念定义，即“视图或对非视图范围的左值引用”。在实际应用中，视图通常要求底层范围是视图，并通过值或复制的方式存储；如果从对其他类型范围的引用构造视图，它会将该范围包装在 std::ranges::ref_view 中并存储。

std::ranges::ref_view 是一种特殊的视图，它存储一个指向给定范围的指针，并将所引用范围的 begin 和 end 暴露为自己的接口。与 std::span 不同，它没有类型擦除效果，但更具通用性，可以包装任何范围，而不仅仅是连续范围。

2. 范围适配器对象

在组合多个视图时，传统的定义方式可能会导致代码复杂且难以维护。为了解决这个问题，引入了范围适配器对象（Range Adaptor Objects）。