现代C++范围操作：从迭代器到声明式编程

1. 理解现代C++的范围操作革命

十年前我刚接触C++标准库算法时，总要在begin()和end()迭代器之间反复横跳。直到C++20引入ranges库，这种局面才彻底改变。std::ranges不仅简化了语法，更重要的是带来了一种全新的集合操作思维方式。

想象你面前有一排书架（容器），传统方式需要明确指定从第几本到第几本（迭代器范围）。而ranges允许你直接说"所有编程书籍"（视图），或者"厚度超过300页的技术书籍"（过滤视图）。这种声明式编程风格让代码可读性提升了至少两个数量级。

2. 范围核心概念解析

2.1 范围(Range)的本质

在标准定义中，range只需满足提供begin()和end()两个迭代器。但实践中，我们更关注的是range带来的抽象能力。测试一个自定义类型是否满足range概念可以这样验证：

cpp复制template<typename T>
concept is_range = requires(T& t) {
    std::ranges::begin(t);
    std::ranges::end(t);
};

这种基于concept的编译期检查，正是现代C++类型安全的典范。我特别欣赏ranges对const迭代器的自动支持——当传入const容器时，begin()会自动返回const_iterator，完全不需要手动指定。

2.2 视图(View)的惰性魔法

视图是ranges库最精妙的设计。它不拥有数据，只是原始range的"滤镜"。比如这个生成斐波那契数列的无限视图：

cpp复制auto fib = std::views::iota(0) 
    | std::views::transform([](int n) {
        return [n, a=0, b=1]() mutable {
            if (n-- == 0) return a;
            std::swap(a, b);
            b += a;
            return a;
        }();
    });

只有当我们实际取用时才会计算，这种惰性求值特性在处理大规模数据时能显著提升性能。在我的一个日志