C++11函数对象与回调机制深度解析

1. 现代C++中的函数对象革命

在C++11标准发布之前，函数指针一直是C++中回调机制的主要实现方式。这种传统方式存在诸多限制：无法直接绑定成员函数、难以处理带状态的函数对象、类型系统支持薄弱。我在2012年第一次接触C++11的function和bind时，就像发现了新大陆——原来函数调用可以如此灵活！

std::function本质上是一个多态的函数包装器，它能以统一的方式处理：

• 普通函数指针
• 成员函数指针
• 函数对象（仿函数）
• lambda表达式

这种设计使得回调接口可以完全统一，不再需要为每种可调用对象单独设计接口。我在开发网络库时就深有体会：以前需要为每种回调类型设计不同的接口，现在只需要一个std::function<void(int)>就能通吃所有情况。

2. std::function的深度解析

2.1 类型擦除的魔法

std::function的实现核心是类型擦除技术。它通过模板构造函数捕获任意可调用对象，然后在内部维护一个类型擦除的调用器。这种设计使得：

cpp复制std::function<int(std::string)> f;
f = [](std::string s){ return s.length(); };  // 存储lambda
f = strlen;  // 存储函数指针
f = std::bind(&Class::method, obj, _1);  // 存储bind结果

注意：std::function不是零成本的抽象。它会有一次堆内存分配（用于存储调用器）和一次虚函数调用（用于调用目标函数）。在对性能极其敏感的场合需要谨慎使用。

2.2 实际工程中的应用模式

在大型项目中，我发现std::function最常见的三种使用场景：

1. 回调系统：事件驱动架构中的标准配置

cpp复制class Button {
    std::function<void()> onClick;
public:
    void setCallback(std::function<void()> cb) {
        onClick = cb;
    }
    void click() {
        if(onClick) onClick();
    }
};

2. 策略模式：运行时替换算法逻辑

cpp复制class Sorter {
    std::function<bool(int,int)> compare;
public:
    void setStrategy(std::function<bool(int,int)> cmp) {
        compare = cmp;
    }
    void sort(std::vecto