std::ranges::views 是轻量惰性视图而非容器，不分配堆内存、不拷贝元素，仅在遍历时按需计算；常见错误包括误调 size()、重复遍历未物化、混淆算法与 view、滥用 views::common 导致隐式拷贝。
std::ranges::views 本质是轻量视图，不是容器
你拿到的 views::filter、views::transform 返回值不是 std::vector 或 std::list，而是一个只存迭代器和谓词/函数对象的 view 类型。它不分配堆内存，也不拷贝元素，只在 for (auto x : v) 或 std::ranges::begin() 被调用时才真正开始访问原始数据。
常见错误包括：
- 对 view 调用
.size()—— 大多数 view 不满足sized_range概念，编译失败；若强行用std::ranges::distance(v)，会触发完整遍历，失去惰性优势 - 把 view 当作可重复使用的“结果”缓存 —— 每次遍历都重新计算（比如
views::transform(f)中的f会被反复调用），除非你显式物化：std::vector{v | views::take(10)} - 误以为
v | views::reverse总是 O(1) —— 它仅反转迭代方向，但若底层 range 不支持随机访问（如std::list），views::reverse内部可能被迫缓存全部元素以支持双向遍历
管道操作符 | 的左右操作数必须类型匹配
| 是左结合的，左边必须是 viewable_range（通常是容器或另一个 view），右边必须是 view 或满足 viewable_range 构造要求的可调用对象。最常踩的坑是把算法当 view 用：
- ❌ 错误：
vec | std::ranges::sort——std::ranges::sort是算法，返回void，不满足 view 概念，编译报错：no match for ‘operator|’ - ✅ 正确：
vec | views::filter(pred) | views::transform(f) - ⚠️ 注意：
v | views::common会强制将非common_range（如输入迭代器范围）物化为std::vector，带来隐式拷贝 —— 仅在你需要begin() == end()可比较时才用
哪些 views 是安全的惰性操作，哪些容易意外物化
不是所有 views::xxx 都一样轻量。是否触发额外内存分配，取决于底层 range 特性和 view 实现逻辑：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 安全惰性（零分配、无缓存）：
views::take、views::drop、views::filter（谓词无副作用）、views::transform（函数无副作用） - 有条件惰性：
views::reverse在random_access_iterator上是 O(1)，否则退化为缓存全部元素；views::join对嵌套 range 的每个子 range 做一次 begin/end 计算，但不复制内容 - 明确物化：
views::common（对 input_range）、std::ranges::to<:vector></:vector>（显式要求）、views::cache1（C++23 引入，主动缓存首个元素，用于避免重复求值）
例如，std::istringstream{"1 2 3"} | views::istream<int> | views::take(2)</int> 是完全惰性的，连字符串都没全读完；但加个 | views::common 就会让整个流被消费并缓存。
自定义 view 必须继承 view_interface
自己写 view 时，如果只定义了 begin() 和 end()，它大概率无法参与管道操作，甚至过不了 std::ranges::range 概念检查。根本原因是 C++20 的 view 概念要求类型公有继承自 std::ranges::view_interface<YourView>。
- 必须公有继承：
struct my_view : std::ranges::view_interface<my_view> -
begin()和end()应返回满足iterator概念的类型（推荐用std::counted_iterator或基于std::ranges::iterator_t<R>封装） - 避免在
begin()中做重计算 —— 状态应作为成员变量保存，每次调用只需返回已有迭代器 - 别忘了默认构造、移动构造、移动赋值要 noexcept，否则某些 view 组合（如
views::zip）可能拒绝接受它
漏掉 view_interface 继承，my_view{} | views::take(5) 直接编译失败，错误信息往往指向概念约束而非继承关系，排查起来容易绕远。
