类型擦除是通过间接层隐藏具体类型细节、提供统一接口的技术。它用操作表封装构造/析构/调用等行为，实现如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 = &some_free_func; 或 f = std::bind(...);——这些底层类型完全不同，但 std::function 对外呈现一致接口。
立即学习“C++免费学习笔记（深入）”；
-
std::any：擦除任意类型，仅提供类型安全的存取，无行为抽象 -
std::variant不是类型擦除，它是编译期确定的有限类型集合，属于“类型列表”而非“类型隐藏” -
std::shared_ptr的自定义删除器也含轻量级擦除：删除逻辑类型被擦除，只保留调用能力
何时该用，何时该避免？
类型擦除适合需要高度灵活性且类型集合不可预知的场景，比如插件系统、事件回调、配置化执行器；但它带来间接跳转开销、额外内存占用，以及编译信息丢失（调试困难、内联失效）。
- 优先考虑模板参数显式传递（如
template）——零成本抽象，更易优化void exec(F&& f) - 若必须运行时决定类型，且数量有限，虚函数继承可能更清晰、更易调试
- 慎用于高频调用路径（如 inner loop），除非已确认性能影响可接受
- 注意对象生命周期：类型擦除容器通常按值存储，确保被存类型满足可复制/可移动要求
基本上就这些。类型擦除不是银弹，而是泛型工具箱里一把锋利但需谨慎使用的刀——理解它怎么藏起类型，才能知道什么时候该让它露出来。
