C++ std::ranges管道操作符实现惰性求值链

C++ std::ranges管道操作符实现惰性求值链

C++20 引入的 Ranges 库彻底改变了我们处理序列的方式。传统的 STL 算法通常会立即执行并产生临时容器，而 std::ranges 配合管道操作符 | 实现了惰性求值。这意味着操作只有在真正需要数据时才会执行，且没有任何中间容器的性能损耗。

以下是实现和掌握 std::ranges 惰性求值链的完整步骤。

准备工作

1. 确认 编译器支持 C++20 或更高标准。
2. 包含 必要的头文件。在代码文件顶部 添加 <ranges>、<vector> 和 <iostream>。

#include <iostream>
#include <vector>
#include <ranges>

理解核心概念

在编写代码前，必须明白“惰性求值”的本质。

当我们将多个操作通过管道 | 连接时，并没有真正处理数据。系统只是构建了一个“处理蓝图”。只有当你开始遍历结果（例如使用 for 循环）或 调用 消费算法（如 std::ranges::count）时，数据才会流经整个管道。

为了直观理解这一流程，请参考下面的执行逻辑：

基础实现步骤

我们将通过一个经典案例：从整数列表中筛选出偶数，并将它们平方，来演示如何构建惰性链。

1. 初始化 数据源。创建 一个包含若干整数的 std::vector。

std::vector<int> numbers = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

2. 定义 视图链。使用 管道操作符 | 将 std::views::filter 和 std::views::transform 连接起来。

• std::views::filter：接收一个谓词，返回满足条件的元素视图。
• std::views::transform：接收一个函数，对每个元素应用变换。

auto even_squares = numbers 
    | std::views::filter([](int n) { 
        return n % 2 == 0; 
    })
    | std::views::transform([](int n) { 
        return n * n; 
    });

3. 执行 遍历。编写 一个基于 for 循环的范围遍历来触发布尔求值。

for (int val : even_squares) {
    std::cout << val << " ";
}

此时，控制台将输出 4 16 36 64 100。注意，直到循环开始，filter 和 transform 中的 lambda 表达式才被逐个调用。

验证惰性特性

为了证明这是“惰性”的，我们可以 修改 lambda 表达式，在其中 插入 打印语句。

1. 重写 视图链代码， 添加 日志输出。

auto lazy_chain = numbers
    | std::views::filter([](int n) {
        std::cout << "[Filter] 检查: " << n << "\n";
        return n % 2 == 0;
    })
    | std::views::transform([](int n) {
        std::cout << "[Transform] 处理: " << n << "\n";
        return n * n;
    });

2. 运行 程序并观察输出顺序。你会发现日志是交替出现的，且一次只处理一个元素。这证明了系统不会先筛选完所有元素，再进行变换，而是一个接一个地“流”过管道。

性能对比：传统写法 vs Ranges 写法

为了体现惰性求值的价值，我们将 std::ranges 写法与传统 C++17/98 的写法进行对比。

进阶操作：处理复杂类型

管道操作符不仅适用于基本数据类型，同样适用于结构体或对象。

1. 定义 一个简单的结构体 Person。

struct Person {
    std::string name;
    int age;
};

2. 创建 对象数组。

std::vector<Person> people = {
    {"Alice", 25},
    {"Bob", 17},
    {"Charlie", 30},
    {"David", 15}
};

3. 构建 管道链：筛选成年人，然后 提取 姓名。

auto adult_names = people
    | std::views::filter([](const Person& p) { 
        return p.age >= 18; 
    })
    | std::views::transform([](const Person& p) { 
        return p.name; 
    });

4. 输出 结果。

for (const auto& name : adult_names) {
    std::cout << name << "\n";
}

常见陷阱与规避

使用 std::ranges 视图时，最致命的错误是生命周期问题。视图不拥有数据，它只是原数据的“窗户”。

1. 避免 悬垂引用。

• 错误示范：返回 一个局部临时容器的视图。

auto get_view() {
    std::vector<int> local = {1, 2, 3};
    return local | std::views::transform([](int x) { return x * 2; }); // 危险！local 已销毁
}

• 正确做法：确保 原始数据在视图使用期间一直存活。传入 容器的引用，或者让容器生命周期长于视图。

2. 注意 类型推导。视图的类型非常复杂（通常是嵌套的模板类型），务必 使用 auto 关键字来接收视图结果，不要尝试手动写出具体类型。

完整代码示例

将上述步骤整合，直接复制以下代码即可运行测试。

#include <iostream>
#include <vector>
#include <ranges>
#include <string>

struct Person {
    std::string name;
    int age;
};

int main() {
    // 1. 基础数据
    std::vector<int> numbers = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    // 2. 构建惰性求值链：筛选偶数并平方
    auto even_squares = numbers 
        | std::views::filter([](int n) { return n % 2 == 0; })
        | std::views::transform([](int n) { return n * n; });

    // 3. 触发求值并输出
    std::cout << "偶数平方结果: ";
    for (int val : even_squares) {
        std::cout << val << " ";
    }
    std::cout << "\n\n";

    // 4. 复杂对象处理
    std::vector<Person> people = {
        {"Alice", 25}, {"Bob", 17}, {"Charlie", 30}, {"David", 15}
    };

    auto adults = people
        | std::views::filter([](const Person& p) { return p.age >= 18; })
        | std::views::transform([](const Person& p) { return p.name; });

    // 5. 触发求值
    std::cout << "成年人名单:\n";
    for (const auto& name : adults) {
        std::cout << "- " << name << "\n";
    }

    return 0;
}