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 func = [] { std::cout
这里 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 ptr;
public:
template
Function(F f) : ptr(std::make_unique>(std::move(f))) {}
void operator()() const { ptr->call(); }
};
这样，任何可调用对象（函数指针、lambda、bind 结果等）都可以赋值给 Function 对象，调用时执行对应逻辑，而外部看不到具体类型。
与虚函数多态的区别
传统多态依赖于继承和虚函数表，要求类型必须从同一个基类派生。而 Type Erasure 不需要继承关系，只要对象支持某个操作集合即可。
优势在于：
可以封装不相关的类型（如 int、string、自定义类）接口更灵活，适合泛型编程避免模板爆炸（template bloat），减少编译依赖
缺点是可能引入堆分配（如使用 unique_ptr）和间接调用开销，但可以通过小对象优化（SOO）缓解。
应用场景举例
常见的用途包括：
std::function：封装任意 callablestd::any：存储任意类型值std::variant：类型安全的 union（虽非完全擦除，但有类似目的）事件回调系统、插件架构、DSL 实现等
比如写一个日志回调：
using LoggerCallback = std::function;
LoggerCallback cb = [](const std::string& msg) { /* 处理日志 */ };
无论传入的是 lambda、函数指针还是仿函数，都能统一处理。
基本上就这些。Type Erasure 是 C++ 中强大而优雅的技术，让你在不牺牲类型安全的前提下获得运行时多态能力。掌握它有助于深入理解现代 C++ 设计模式。
以上就是C++中的Type Erasure是什么技术_C++实现类型擦除以达到运行时多态的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1485942.html
微信扫一扫 
支付宝扫一扫 
