C++函数式编程：从Lambda到高阶函数实践

1. C++函数式编程概览

在C++中，函数式编程并非一种全新的概念，而是通过一系列语言特性和标准库组件实现的编程范式。与传统的命令式编程相比，函数式编程强调将计算过程视为数学函数的求值，避免状态改变和可变数据。

C++11标准引入的关键特性为函数式编程提供了坚实基础：

• Lambda表达式：允许在代码中内联定义匿名函数
• std::function：通用的函数包装器，可存储任何可调用对象
• 改进的模板机制：支持更灵活的函数组合

现代C++（C++14/17/20）进一步强化了这些特性：

cpp复制// C++14的泛型Lambda
auto adder = [](auto x, auto y) { return x + y; };

// C++17的constexpr Lambda
constexpr auto square = [](int x) { return x * x; };

// C++20的概念约束Lambda
auto printable = []<typename T>(T x) requires requires { std::cout << x; } {
    std::cout << x;
};

2. 函数对象与高阶函数

2.1 函数对象的本质

函数对象（Functor）是重载了operator()的类实例，这种设计模式在STL中广泛应用。与普通函数相比，函数对象具有三大优势：

1. 状态保持：可以在对象中存储中间状态

cpp复制class Counter {
    int count = 0;
public:
    int operator()() { return ++count; }
};

Counter c;
c(); // 返回1
c(); // 返回2

2. 类型安全：编译器可以进行更好的类型检查
3. 内联优化：编译器更容易进行内联优化

2.2 STL中的高阶函数应用

STL算法大量使用高阶函数（接受函数作为参数的函数），典型模式包括：

• 转换（map）：std::transform
• 过滤（filter）：std::copy_if
• 归约（reduce）：std::accumulate

cpp复制std::vector<int> v{1, 2, 3, 4, 5};

// 转换示例
std::transform(v.begin(), v.end(), v.begin(), 
    [](int x) { return x * 2; });

// 过滤示例
std::vector<int> odds;
std::copy_if(v.begin(), v.end(), std::back_inserter(odds),
    [](int x) { return x % 2 != 0; });

// 归约示例
int sum = std::accumulate(v.begin(), v.end(), 0,
    [](int acc, int x) { return acc + x; });

3. Lambda表达式的深入解析

3.1 捕获机制详解

Lambda的捕获列表决定了外部变量的访问方式，需要特别注意值捕获和引用捕获的区别：

常见陷阱：

cpp复制std::function<void()> createLambda() {
    int x = 10;
    return [&x]() { std::cout << x; }; // 危险！x将悬垂
}

3.2 Lambda的实现原理

编译器会将Lambda转换为匿名类，这个过程可以通过Compiler Explorer观察：

原始Lambda：

cpp复制auto lambda = [x=0](int y) mutable { return x += y; };

编译器生成的等价代码：

cpp复制class __lambda_anonymous {
    int x;
public:
    __lambda_anonymous(int x_) : x(x_) {}
    int operator()(int y) { return x += y; }
};

3.3 通用Lambda（C++14+）

C++14引入的泛型Lambda极大增强了灵活性：

cpp复制auto pairComparer = [](auto&& a, auto&& b) {
    return a.first < b.first;
};

std::vector<std::pair<int, std::string>> v;
std::sort(v.begin(), v.end(), pairComparer);

4. 标准库函数工具集

4.1 std::function的深入使用

std::function提供类型擦除机制，可以统一处理各种可调用对象：

cpp复制std::function<int(int, int)> ops[] = {
    [](int a, int b) { return a + b; },
    std::minus<int>(),
    [](int a, int b) { return a * b; }
};

for (auto& op : ops) {
    std::cout << op(10, 5)