C++ std::function 解读

前言std::function大家用过吗它是C11引入的一个新特性。今天我们从原理、应用实例等方面对std::fucntion进行深度剖析。目录一、基本定义与使用二、底层机制三、典型应用场景一、基本定义与使用std::function是一种多态函数包装器它定义在functional头文件中可以存储、复制和调用任何可调用目标Callable包括普通函数、成员函数、函数对象Functor、lambda 表达式等。std::function 使用统一的方式来封装不同类型的可调用对象使其可以像普通函数一样被调用和传递。std::function语法如下std::functionReturnType(Args...) func_name;ReturnType表示函数的返回类型Args...表示函数的参数类型列表。例如声明一个可以接受两个int参数并返回int的函数包装器std::functionint(int, int) func1;上述声明创建的是一个空的std::function对象func1还没有包装任何可调用对象。接下来我们可以通过赋值或直接初始化将一个可调用对象包装到其中例如int add(int a, int b) { return a b; } func1 add; // 将普通函数 add 包装到 func1 中 func1(1,2);std::function也可以包装Lambda表达式如int offset 10; func1 [offset](int a, int b) { return a b offset; }; func1(1,2);二、底层机制std::function的底层核心机制是类型擦除Type Erasure它能够在编译期抹除具体可调用对象的类型在运行期通过统一的虚函数机制进行调用。1) 核心数据结构std::function 内部通常包含两个关键成员class functionR(Args...) { // 1. 管理接口vtable 指针 __function_base::__manager_type* __manager_; // 2. 数据存储联合体/缓冲区 union { // 小对象优化缓冲区通常 16~24 字节 mutable char __buf[16]; // 或指向堆内存的指针 void* __f; }; };2) vtable机制编译期没有办法提前知道你要存入std::function的是 lambda表达式、普通函数、还是自定义的仿函数(函数对象)因此它实现了一个管理器接口类似虚函数表struct __manager_type { // 克隆/销毁/移动等管理操作 void* (*__clone)(const void*); // 拷贝构造 void (*__destroy)(void*); // 析构 void (*__move)(void*, void*); // 移动构造 // 实际调用跳转 R (*__invoke)(const void*, Args...); // 调用 };当你执行std::functionvoid() f [x42]{ ... };时编译器为该 lambda 类型生成一个静态的__manager_type实例将 lambda 对象存入__buf小对象或堆内存__manager_指向该静态 vtable三、典型应用场景场景一回调函数最经典当模块 A 需要通知模块 B但 B 的具体形式在编译期不确定时#include functional #include iostream #include vector class Button { std::functionvoid() onClick_; // 存储任意无参无返回的可调用对象 public: void setOnClick(std::functionvoid() cb) { onClick_ std::move(cb); } void click() const { if (onClick_) onClick_(); } }; int main() { Button btn; int count 0; // 可以绑定 Lambda带捕获 btn.setOnClick([count] { count; std::cout Clicked count times\n; }); btn.click(); // Clicked 1 times btn.click(); // Clicked 2 times return 0; }通过std::function我们可以编写出更通用的代码避免为每种可能的回调函数类型编写重载版本。场景二线程池/任务队列各任务类型不同但都需要统一入队和执行#include functional #include queue #include thread #include vector #include future class ThreadPool { std::queuestd::functionvoid() tasks_; // 统一任务类型 std::vectorstd::thread workers_; // ... 互斥锁、条件变量省略 public: // 提交任意任务返回 future 获取结果 template typename Func, typename... Args auto submit(Func f, Args... args) - std::futuredecltype(f(args...)) { using Ret decltype(f(args...)); // 将任务打包成 std::functionvoid()类型擦除 auto task std::make_sharedstd::packaged_taskRet()( std::bind(std::forwardFunc(f), std::forwardArgs(args)...) ); std::futureRet res task-get_future(); { // std::lock_guardstd::mutex lock(mutex_); tasks_.emplace([task]() { (*task)(); }); // 存入队列 } // condition_.notify_one(); return res; } };上述示例中std::queuestd::functionvoid()使得不同签名、不同捕获的 Lambda 都能排队等待执行。写在最后虽然std::function提供了高度的灵活性和通用性但它也引入了一定的性能开销如 间接调用开销、内存分配开销。在一些性能要求不高的场景下这种开销可以忽略不计但在关键路径上需要大家根据实际情况来权衡使用。