类型擦除是通过间接层隐藏具体类型细节、提供统一接口的技术。它用操作表封装构造/析构/调用等行为，实现如std::function、std::any等容器对异构类型的统一处理，兼顾灵活性与类型安全。
类型擦除是一种让不同具体类型能通过统一接口被操作，同时隐藏其原始类型信息的技术。它不是删除类型，而是把类型相关的细节“藏起来”，让调用方只看到一个通用的抽象界面——比如你传入 std::string、int 或自定义类，都能塞进同一个 std::any 或 std::function 里，而无需模板参数暴露给用户。
核心目标：解耦使用方与实现类型
类型擦除解决的是“想统一处理多种类型，又不想写一堆模板特化或继承体系”的问题。它不靠编译期多态（模板），也不依赖运行期多态（虚函数+基类），而是在中间加一层间接层，把类型差异封进内部实现中。
使用者只面对一个固定类型（如 std::function），完全不知背后是 lambda、函数指针还是仿函数对象 存储和调用逻辑由类型擦除容器内部封装，包括构造、拷贝、移动、析构和调用等操作的分发 关键在于“操作表”（vtable-like structure）或函数指针数组，记录每个具体类型的对应行为
典型实现方式：值语义 + 操作分发结构
手写简易类型擦除容器（如 any 风格）通常包含三部分：一个存储缓冲区（可能用 std::aligned_storage 或小对象优化）、一个类型标识（如 std::type_info*）、一组函数指针（构造/析构/拷贝/访问）。
构造时根据实参类型选择对应构造函数，并把函数地址存入操作表 拷贝时调用该类型的专用拷贝逻辑，而非默认位拷贝 访问值时通过 any_cast 对比类型信息，安全提取（失败则抛异常或返回空指针） 现代实现倾向用 std::unique_ptr 管理堆内存，或结合 SBO（Small Buffer Optimization）兼顾性能与通用性
标准库中的真实例子
std::function 是最典型的类型擦除应用：它能保存任意可调用体，签名相同即可。你写 std::function f = [](int x){return x*2;};，也支持 f = &some_free_func; 或 f = std::bind(...);——这些底层类型完全不同，但 std::function 对外呈现一致接口。
立即学习“C++免费学习笔记（深入）”；
std::any：擦除任意类型，仅提供类型安全的存取，无行为抽象 std::variant 不是类型擦除，它是编译期确定的有限类型集合，属于“类型列表”而非“类型隐藏” std::shared_ptr 的自定义删除器也含轻量级擦除：删除逻辑类型被擦除，只保留调用能力
何时该用，何时该避免？
类型擦除适合需要高度灵活性且类型集合不可预知的场景，比如插件系统、事件回调、配置化执行器；但它带来间接跳转开销、额外内存占用，以及编译信息丢失（调试困难、内联失效）。
优先考虑模板参数显式传递（如 template void exec(F&& f)）——零成本抽象，更易优化 若必须运行时决定类型，且数量有限，虚函数继承可能更清晰、更易调试 慎用于高频调用路径（如 inner loop），除非已确认性能影响可接受 注意对象生命周期：类型擦除容器通常按值存储，确保被存类型满足可复制/可移动要求
基本上就这些。类型擦除不是银弹，而是泛型工具箱里一把锋利但需谨慎使用的刀——理解它怎么藏起类型，才能知道什么时候该让它露出来。
以上就是C++中的类型擦除（Type Erasure）是什么技术？C++泛型编程实践【高级设计】的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1489121.html
微信扫一扫 
支付宝扫一扫 
