std::function的类型擦除是通过基类虚函数接口统一调用不同可调用对象，隐藏具体类型、暴露一致调用签名。其核心由抽象基类（含invoke/clone纯虚函数）、模板派生类（存储并转发调用）和对外包装类（持智能指针管理多态对象）构成，支持完美转发与移动语义，并常辅以小对象优化减少堆分配。
std::function不是模板特化容器，而是一个能存储、复制和调用任意可调用对象（函数指针、lambda、bind表达式、functor）的通用包装器。它背后不暴露具体类型，只暴露统一的调用接口——这就是类型擦除（type erasure）。核心在于：把不同类型的调用逻辑，统一到一个虚函数接口或函数指针调度层，运行时决定怎么调。
要模拟std::function，需三个核心组件：一个对外接口类（类似std::function）、一个类型无关的基类（含虚析构与invoke）、以及一个模板派生类（负责保存具体可调用体并实现调用逻辑）。
invoke()和clone()，提供多态销毁与拷贝能力F f_，重写invoke()转发调用，clone()返回新堆分配的副本std::unique_ptr<base>，构造时根据传入类型实例化对应Model，调用时通过虚函数分发真实std::function支持move-only类型（如lambda捕获了unique_ptr），所以你的实现必须区分拷贝与移动路径：
std::move(f)传入Model，避免无谓拷贝std::decay_t<f></f>保存类型，确保引用/const被剥离，适配后续调用R operator()(Args&&... args) const，内部用f_(std::forward<args>(args)...)</args>完成完美转发每次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）。
以上就是c++++如何实现一个std::function c++类型擦除技术实践【进阶】的详细内容，更多请关注php中文网其它相关文章！
c++怎么学习？c++怎么入门？c++在哪学？c++怎么学才快？不用担心，这里为大家提供了c++速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！
广告Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
450
收藏
