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），就直接存于对象内部，避免堆操作。

实现思路：在MyFunction中加一个union + size标记，例如：

构造时判断sizeof(F) + alignof(F) 且满足trivially_copyable等条件，走栈内存储；否则堆分配Model。注意：需手动管理small_buffer的构造/析构（placement new + explicit destructor call）。