16、函数指针与C++对比：C函数指针 vs std::function vs 虚函数

说实话，这个话题我琢磨了很久才敢动笔。为什么？因为太多人把这三者混为一谈，觉得「反正都是回调，用哪个都一样」。嗯，我当年也这么想过，直到在项目中踩了坑。

今天咱们就把这三兄弟摆到台面上，好好比一比。C函数指针、std::function、虚函数，它们到底有什么区别？各自适合什么场景？

先看一个真实案例

我之前维护过一个嵌入式通信协议栈。底层收到数据包后，需要通知上层处理。最开始用的是C函数指针，后来项目迁移到C++，有人提议改成std::function，还有人坚持用虚函数。三种方案都试过，各有各的坑。

咱们先看代码，再聊体会。

一、C函数指针——最原始，也最直接

// 定义回调类型
typedef void (*callback_t)(int data);

// 注册回调
void register_callback(callback_t cb) {
    g_callback = cb;
}

// 触发回调
void trigger_callback(int data) {
    if (g_callback) {
        g_callback(data);
    }
}

// 使用
void my_handler(int data) {
    printf("收到数据: %d\n", data);
}

register_callback(my_handler);

C函数指针的优点很明显：轻量、零开销。在嵌入式裸机开发中，我几乎只用它。但缺点也扎心——不能捕获上下文。你想传个对象进去？没门。只能靠全局变量或者额外参数。

二、std::function——C++的瑞士军刀

#include <functional>

// 定义回调类型
using callback_t = std::function<void(int)>;

// 注册回调
void register_callback(callback_t cb) {
    g_callback = std::move(cb);
}

// 触发回调
void trigger_callback(int data) {
    if (g_callback) {
        g_callback(data);
    }
}

// 使用——可以绑定lambda、成员函数、普通函数
register_callback([](int data) {
    std::cout << "收到数据: " << data << std::endl;
});

// 绑定成员函数
class Handler {
public:
    void on_data(int data) { /* ... */ }
};
Handler h;
register_callback(std::bind(&Handler::on_data, &h, std::placeholders::_1));

std::function 最大的好处是灵活。lambda、函数对象、成员函数，统统往里塞。我个人习惯在应用层代码里用它，开发效率确实高。

但代价呢？

• 动态内存分配：std::function 内部可能用堆内存存储可调用对象
• 类型擦除开销：每次调用都有虚函数表级别的间接跳转
• 调试困难：堆栈里看到的是 std::function 内部实现，不是你的回调

三、虚函数——面向对象的正统方案

class CallbackInterface {
public:
    virtual ~CallbackInterface() = default;
    virtual void on_data(int data) = 0;
};

class MyHandler : public CallbackInterface {
public:
    void on_data(int data) override {
        std::cout << "收到数据: " << data << std::endl;
    }
};

// 使用
std::unique_ptr<CallbackInterface> handler = std::make_unique<MyHandler>();
handler->on_data(42);

虚函数是C++多态的基石。它的优势在于：

• 类型安全：编译器帮你检查接口
• 扩展性好：新增一个子类就行，不用改框架代码
• 调试友好：堆栈里能看到具体的类名和方法名

但虚函数也有自己的问题。每个对象多一个虚表指针（vptr），调用时多一次间接寻址。在嵌入式场景里，这8字节的开销有时候就是压死骆驼的最后一根稻草。

四、核心对比

特性	C函数指针	std::function	虚函数
调用开销	最低（1次间接跳转）	较高（类型擦除+可能堆分配）	中等（虚表+1次间接跳转）
内存占用	1个指针（4/8字节）	32~64字节（含内部状态）	每个对象多1个vptr（4/8字节）
灵活性	低（只能绑定普通函数）	高（lambda、成员函数、函数对象）	中（只能绑定子类对象）
类型安全	弱（靠函数签名匹配）	强（编译期检查）	强（继承体系保证）
调试难度	低（直接看到函数名）	高（堆栈里是std::function内部）	低（看到具体子类方法）
适用场景	裸机、RTOS、性能关键路径	应用层、事件驱动、回调密集型	框架设计、接口抽象、插件系统

五、怎么选？我的建议

你想想看，这三种方案其实对应着不同的抽象层次：

• 硬件层/驱动层：用C函数指针。零开销，直接了当。我在写SPI、I2C驱动时，从来不用std::function。
• 中间件/协议栈：看情况。如果项目是纯C，函数指针没得选。如果是C++，我倾向于用虚函数——接口清晰，后期维护方便。
• 应用层/UI层：std::function 真香。lambda写起来顺手，绑定成员函数也方便。我最近写的一个配置管理模块，回调全用的std::function。

六、一张图看懂三者的关系

七、避坑总结

最后分享几个我踩过的坑，希望能帮你少走弯路：

1. 别在中断里用std::function。中断上下文可能不允许动态内存分配，而std::function内部可能new对象。我吃过这个亏，系统直接hard fault。
2. 虚函数析构要加virtual。这个老生常谈了，但我还是见过有人忘记。通过基类指针删除子类对象时，析构函数不是虚函数，子类资源就泄漏了。
3. 函数指针别用错调用约定。在Windows上写DLL回调时，记得用__stdcall。我当年在Qt里调用一个C库回调，忘了加调用约定，栈平衡出问题，程序随机崩溃。
4. std::function拷贝有开销。如果回调对象很大，拷贝std::function可能触发深拷贝。建议用std::move或者传引用。

好了，关于函数指针、std::function和虚函数的对比，就聊到这儿。这三种机制各有各的脾气，选对了事半功倍，选错了...嗯，调试到怀疑人生。希望今天的分享对你有帮助。