0

0

c++如何实现一个std::function c++类型擦除技术实践【进阶】

冰火之心

冰火之心

发布时间:2025-12-23 11:50:37

|

429人浏览过

|

来源于php中文网

原创

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

c++如何实现一个std::function c++类型擦除技术实践【进阶】

什么是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),就直接存于对象内部,避免堆操作。

京点点
京点点

京东AIGC内容生成平台

下载

立即学习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)。

相关专题

更多
java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

15

2025.11.27

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

524

2023.09.20

c语言union的用法
c语言union的用法

c语言union的用法是一种特殊的数据类型,它允许在相同的内存位置存储不同的数据类型,union的使用可以帮助我们节省内存空间,并且可以方便地在不同的数据类型之间进行转换。使用union时需要注意对应的成员是有效的,并且只能同时访问一个成员。本专题为大家提供union相关的文章、下载、课程内容,供大家免费下载体验。

123

2023.09.27

c语言union的用法
c语言union的用法

c语言union的用法是一种特殊的数据类型,它允许在相同的内存位置存储不同的数据类型,union的使用可以帮助我们节省内存空间,并且可以方便地在不同的数据类型之间进行转换。使用union时需要注意对应的成员是有效的,并且只能同时访问一个成员。本专题为大家提供union相关的文章、下载、课程内容,供大家免费下载体验。

123

2023.09.27

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

175

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

97

2025.11.27

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

204

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

190

2025.11.08

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

43

2026.01.16

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
CSS3 教程
CSS3 教程

共18课时 | 4.6万人学习

Sass 教程
Sass 教程

共14课时 | 0.8万人学习

Pandas 教程
Pandas 教程

共15课时 | 0.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号