std::function的类型擦除是通过基类虚函数接口统一调用不同可调用对象,隐藏具体类型、暴露一致调用签名。其核心由抽象基类(含invoke/clone纯虚函数)、模板派生类(存储并转发调用)和对外包装类(持智能指针管理多态对象)构成,支持完美转发与移动语义,并常辅以小对象优化减少堆分配。

什么是std::function的类型擦除
std::function不是模板特化容器,而是一个能存储、复制和调用任意可调用对象(函数指针、lambda、bind表达式、functor)的通用包装器。它背后不暴露具体类型,只暴露统一的调用接口——这就是类型擦除(type erasure)。核心在于:把不同类型的调用逻辑,统一到一个虚函数接口或函数指针调度层,运行时决定怎么调。
手写简易std::function的关键结构
要模拟std::function,需三个核心组件:一个对外接口类(类似std::function)、一个类型无关的基类(含虚析构与invoke)、以及一个模板派生类(负责保存具体可调用体并实现调用逻辑)。
-
Base类:定义纯虚函数
invoke()和clone(),提供多态销毁与拷贝能力 -
Model
:模板派生类,内部持有可调用对象 F f_,重写invoke()转发调用,clone()返回新堆分配的副本 -
MyFunction
:持有一个 std::unique_ptr,构造时根据传入类型实例化对应Model,调用时通过虚函数分发
关键细节:完美转发与移动语义支持
真实std::function支持move-only类型(如lambda捕获了unique_ptr),所以你的实现必须区分拷贝与移动路径:
- 构造/赋值时,对右值参数调用
std::move(f)传入Model,避免无谓拷贝 - 在Model中用
std::decay_t保存类型,确保引用/const被剥离,适配后续调用 - invoke函数签名应为
R operator()(Args&&... args) const,内部用f_(std::forward完成完美转发(args)...)
进阶优化:小对象优化(SOO)
每次new/delete堆分配开销大,且破坏缓存局部性。std::function通常内置24~32字节缓冲(因sizeof(std::function)常为32),若可调用对象足够小(如普通函数指针、无捕获lambda),就直接存于对象内部,避免堆操作。
立即学习“C++免费学习笔记(深入)”;
实现思路:在MyFunction中加一个union + size标记,例如:
union { char small_buffer[32]; void* ptr; }; bool is_small_;构造时判断sizeof(F) + alignof(F) 且满足trivially_copyable等条件,走栈内存储;否则堆分配Model。注意:需手动管理small_buffer的构造/析构(placement new + explicit destructor call)。










