第1章 C++函数式编程概述

课程目录第1章 C++函数式编程概述

一、C++函数式编程概述

说实话，我第一次接触函数式编程时，心里是有点抵触的。那时候我写了五六年C++，习惯了面向对象那一套——封装、继承、多态，觉得这才是正道。直到有一次，我在处理一个复杂的管道数据处理任务，代码越写越臃肿，调试起来简直要命。后来我用函数式的方式重构了一下，代码量直接砍掉一半，可读性也上来了。

嗯，从那天起，我开始认真研究C++里的函数式特性。今天我们就来聊聊这个话题。

函数式编程思想

函数式编程的核心思想，说白了就一句话：用函数组合来解决问题，而不是用对象的状态变化。

你想想看，传统写法里，我们经常这样干：

// 面向过程风格
std::vector<int> data = {1, 2, 3, 4, 5};
std::vector<int> result;
for (auto x : data) {
    if (x % 2 == 0) {
        result.push_back(x * 2);
    }
}

而函数式风格是这样的：

// 函数式风格
auto result = data 
    | std::views::filter([](int x) { return x % 2 == 0; })
    | std::views::transform([](int x) { return x * 2; });

看到了吗？没有循环，没有临时变量，没有状态变化。数据像流水一样经过一个个处理单元。这就是函数式的精髓——声明式编程，你只关心「做什么」，不关心「怎么做」。

函数式编程三大原则：

纯函数：同样的输入永远得到同样的输出，没有副作用
不可变性：数据一旦创建就不修改，需要变化就创建新数据
函数是一等公民：函数可以像变量一样传递、返回、组合

C++中的函数式特性

C++从C++11开始，正式拥抱函数式编程。我个人觉得，这是C++历史上最明智的决定之一。

主要特性包括：

特性	引入版本	说明
Lambda表达式	C++11	匿名函数对象，就地定义函数
std::function	C++11	多态函数包装器
std::bind	C++11	参数绑定与部分求值
Range库	C++20	惰性求值的视图操作
std::optional	C++17	避免空指针的Maybe模式
std::variant	C++17	类型安全的联合体

我在项目中遇到过这样一个场景：需要根据用户配置动态生成过滤条件。如果用传统方式，得写一堆if-else或者策略模式。但用Lambda加std::function，几行代码就搞定了：

std::vector<std::function<bool(int)>> filters;

if (config.enable_even_filter) {
    filters.push_back([](int x) { return x % 2 == 0; });
}
if (config.min_value.has_value()) {
    filters.push_back([min = config.min_value](int x) { return x >= min; });
}

// 组合所有过滤条件
auto combined = [&filters](int x) {
    return std::ranges::all_of(filters, [x](auto& f) { return f(x); });
};

避坑指南：我曾经在项目里滥用Lambda捕获，把整个this指针捕获进去，结果导致悬空引用。记住：按值捕获([=])要小心生命周期，按引用捕获([&])要确保对象还活着。

与面向对象的对比

面向对象和函数式不是对立的，它们各有各的用武之地。我个人的经验是：用面向对象组织架构，用函数式实现逻辑。

来看看对比：

维度	面向对象	函数式
核心概念	对象、封装、继承	函数、组合、不可变
状态管理	对象内部状态可变	状态不可变，通过新数据传递
代码组织	按类划分	按函数划分
复用方式	继承与多态	函数组合与高阶函数
并发安全	需要加锁	天然线程安全
调试难度	状态变化难追踪	数据流清晰

举个例子，假设我们要实现一个日志处理器：

// 面向对象风格
class LogProcessor {
    std::vector<std::string> buffer;
    int max_size;
public:
    void process(const std::string& log) {
        buffer.push_back(log);
        if (buffer.size() > max_size) {
            flush();
        }
    }
    void flush() { /* 写入磁盘 */ }
};

// 函数式风格
auto create_log_processor(int max_size) {
    return [max_size, buffer = std::vector<std::string>{}](const std::string& log) mutable {
        buffer.push_back(log);
        if (buffer.size() > max_size) {
            flush(buffer);
            buffer.clear();
        }
    };
}

注意：函数式风格虽然简洁，但不要过度使用。我见过有人把所有逻辑都塞进Lambda里，结果代码比面条还难读。记住：可读性永远是第一位的。

知识体系总览

下面这张图，是我梳理的C++函数式编程知识体系。你可以把它当作学习路线图：

从这张图可以看出，函数式编程不是空中楼阁。它有扎实的理论基础，有C++语言层面的强力支持，还有经过验证的实践模式。我个人建议你按照这个路线来学习：先理解核心概念，再掌握C++特性，最后在实践中打磨。

好了，这一章就到这里。记住一句话：函数式编程不是银弹，但它是一把好用的瑞士军刀。在合适的场景用合适的工具，这才是我们工程师该有的素养。

公众号:蓝海资料掘金营，微信deep3321

📚 课程目录

一、C++函数式编程概述

函数式编程思想

C++中的函数式特性

与面向对象的对比

知识体系总览