C++回调函数与正则表达式实战指南

1. 回调函数：从C函数指针到现代C++的演进

回调函数是编程中一个基础但极其重要的概念，它允许我们将函数作为参数传递，实现灵活的代码结构。让我们从最原始的C语言实现开始，逐步探索现代C++中的改进方案。

1.1 C语言函数指针：最原始的回调实现

在C语言中，回调是通过函数指针实现的。下面是一个典型示例：

c复制// 定义回调函数
void callback(int x) {
    printf("Received value: %d\n", x);
}

// 定义函数指针类型
typedef void (*func_ptr)(int);

// 使用回调的函数
void process_data(int value, func_ptr callback) {
    // 处理数据...
    callback(value);  // 调用回调
}

int main() {
    func_ptr fp = callback;  // 获取函数地址
    process_data(42, fp);    // 传递回调函数
    return 0;
}

这种方式的局限性非常明显：

1. 类型安全极差：编译器对不匹配的函数指针赋值检查很弱
2. 无法携带上下文：回调函数无法直接访问外部变量或对象状态
3. 语法晦涩难懂：函数指针的声明和使用方式对初学者不友好

实际开发经验：在大型C项目中，过度使用函数指针回调会导致代码难以维护。我曾见过一个网络库因为层层嵌套的函数指针回调而变得几乎无法调试。

1.2 std::function：类型安全的现代回调

C++11引入的std::function解决了函数指针的诸多问题。它是一个通用的函数包装器，可以存储任何可调用对象：

cpp复制#include <functional>
#include <iostream>

int add(int a, int b) { return a + b; }

class Multiplier {
public:
    int operator()(int a, int b) { return a * b; }
};

int main() {
    std::function<int(int, int)> func;
    
    // 存储普通函数
    func = add;
    std::cout << func(3, 4) << std::endl;  // 输出7
    
    // 存储函数对象
    func = Multiplier();
    std::cout << func(3, 4) << std::endl;  // 输出12
    
    // 存储lambda表达式
    func = [](int a, int b) { return a - b; };
    std::cout << func(7, 2) << std::endl;  // 输出5
    
    return 0;
}

std::function的关键优势：

1. 类型安全：在编译期检查类型匹配
2. 支持多种可调用对象：普通函数、成员函数、lambda、函数对象等
3. 统一的调用语法：都使用operator()

性能提示：std::function有小对象优化，对于小型可调用对象（如lambda）不会进行堆分配，但大型对象仍可能引发堆分配。

1.3 Lambda表达式：匿名回调的利器

Lambda是C++11引入的匿名函数语法，极大简化了回调的编写：

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

// 使用lambda作为回调
std::remove_if(numbers.begin(), numbers.end(), 
    [threshold](int x) { return x < threshold; });

// 带捕获列表的lambda
int sum = 0;
std::for_each(numbers.begin(), numbers.end(), 
    [&sum](int x) { sum += x; });

Lambda的完整语法：

cpp复制[capture](parameters) mutable -> return_type { body }

捕获方式说明：

• []：不捕获任何变量
• [=]：以值方式捕获所有局部变量
• [&]：以引用方式捕获所有局部变量
• [var]：只以值方式捕获var
• [&var]：只以引用方式捕获var

常见错误：在lambda中意外捕获了大型对象导致性能问题，或者通过引用捕获了局部变量导致悬垂引用。

1.4 std::bind：参数绑定与适配

std::bind用于部分参数绑定和函数适配，常见场景包括：

1. 参数柯里化（固定部分参数）：

cpp复制auto add5 = std::bind(add, 5, std::placeholders::_1);
std::cout << add5(3) << std::endl;  // 输出8

2. 成员函数绑定：

cpp复制class Worker {
public:
    void process(int value) { /*.