Type Erasure是一种通过擦除具体类型实现运行时多态的技术，核心是将不同类型封装为统一接口。它不依赖继承，而是通过抽象基类和模板派生类隐藏实际类型，仅暴露公共操作，如std::function封装可调用对象。与虚函数多态不同，Type Erasure支持无继承关系的类型，更灵活且避免模板膨胀，但可能引入堆分配和调用开销。典型应用包括std::function、std::any及回调系统，广泛用于需要泛型封装的场景。
Type Erasure 是一种在 C++ 中实现运行时多态的技术，它允许你将不同类型的对象封装成统一的接口，而无需继承或虚函数表。与传统的基于继承的多态不同，Type Erasure 在保持类型安全的同时，隐藏了底层具体类型，使调用者无需知道实际类型就能操作对象。
什么是 Type Erasure
Type Erasure 字面意思是“类型擦除”，它的核心思想是：把具体的类型信息在编译期“擦掉”，只保留一组公共的操作接口，在运行时通过统一的接口调用不同类型的对象。这种技术广泛应用于标准库中，比如 std::function 和 std::any 都使用了类型擦除。
举个例子：
std::function这里 lambda 表达式的类型是唯一的、匿名的，但通过 std::function 擦除了具体类型，只暴露调用接口。
立即学习“C++免费学习笔记（深入）”；
如何手动实现一个简单的 Type Eraser
我们可以自己实现一个轻量级的函数包装器，来理解其原理。
基本结构包括：
- 一个对外的统一接口类（如 Function）
- 一个抽象操作基类（包含虚函数）
- 一个模板派生类，用于绑定任意可调用对象
示例代码：
struct CallableBase {virtual void call() const = 0;
virtual ~CallableBase() = default;
};
template
struct Callable : CallableBase {
F f;
Callable(F f) : f(std::move(f)) {}
void call() const override { f(); }
};
class Function {
std::unique_ptr
public:
template
Function(F f) : ptr(std::make_unique
void operator()() const { ptr->call(); }
};
这样，任何可调用对象（函数指针、lambda、bind 结果等）都可以赋值给 Function 对象，调用时执行对应逻辑，而外部看不到具体类型。
与虚函数多态的区别
传统多态依赖于继承和虚函数表，要求类型必须从同一个基类派生。而 Type Erasure 不需要继承关系，只要对象支持某个操作集合即可。
优势在于：
- 可以封装不相关的类型（如 int、string、自定义类）
- 接口更灵活，适合泛型编程
- 避免模板爆炸（template bloat），减少编译依赖
缺点是可能引入堆分配（如使用 unique_ptr）和间接调用开销，但可以通过小对象优化（SOO）缓解。
应用场景举例
常见的用途包括：
- std::function：封装任意 callable
- std::any：存储任意类型值
- std::variant：类型安全的 union（虽非完全擦除，但有类似目的）
- 事件回调系统、插件架构、DSL 实现等
比如写一个日志回调：
using LoggerCallback = std::functionLoggerCallback cb = [](const std::string& msg) { /* 处理日志 */ };
无论传入的是 lambda、函数指针还是仿函数，都能统一处理。
基本上就这些。Type Erasure 是 C++ 中强大而优雅的技术，让你在不牺牲类型安全的前提下获得运行时多态能力。掌握它有助于深入理解现代 C++ 设计模式。
