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 f_，重写invoke()转发调用，clone()返回新堆分配的副本 -
MyFunction<R(Args...)>：持有一个
std::unique_ptr<Base>，构造时根据传入类型实例化对应Model，调用时通过虚函数分发
关键细节：完美转发与移动语义支持
真实std::function支持move-only类型（如lambda捕获了unique_ptr），所以你的实现必须区分拷贝与移动路径：
- 构造/赋值时，对右值参数调用
std::move(f)传入Model，避免无谓拷贝 - 在Model中用
std::decay_t<F>保存类型，确保引用/const被剥离，适配后续调用 - invoke函数签名应为
R operator()(Args&&... args) const，内部用f_(std::forward<Args>(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）。
