类型擦除是封装不同类型操作于统一接口的技术，如std::function通过基类虚函数和模板派生类隐藏具体类型，对外提供一致调用方式，本质是“藏类型”而非删除。
类型擦除是一种让模板代码在运行时“忘记”具体类型，只保留统一接口的技术。它不靠继承多态，而是把不同类型的操作封装进一个通用容器里，对外暴露一致的调用方式。std::function 就是最典型的应用——你能把它赋值为 lambda、函数指针、成员函数指针，甚至 bind 表达式，但用的时候都只写 f(1, 2)，完全不用知道背后是什么类型。
std::function 是怎么做到“擦掉”类型的？
它内部用了一个统一的函数对象基类（通常叫 std::function::base 或类似），所有可调用对象都会被包装成派生类实例，并通过虚函数实现统一调用。构造时根据传入的可调用体类型，动态选择对应的包装器；调用时走虚函数表，实际执行的是那个具体类型的 operator()。这个过程对用户完全透明——你看到的只有签名，比如 std::function，不关心里面存的是 lambda 还是普通函数。
关键不是“删类型”，而是“藏类型”
类型信息没有丢失，只是被封装在 std::function 的私有存储中（可能用小对象优化 SSO 存在栈上，大的就堆分配）。擦除的本质是：对外屏蔽类型差异，对内按需适配。比如：
-
std::function→ 包装成一个 lambda 专属的仿函数类f = []{ printf("lambda"); }; -
f = &some_free_func;→ 换成函数指针专用包装器 -
f = std::bind(&X::method, &x, _1);→ 又换成 bind 生成的可调用对象包装器
每次赋值，内部存储和虚函数实现都悄悄换了，但接口始终是 f()。
立即学习“C++免费学习笔记（深入）”；
自己实现一个极简版有助于理解
核心就三块：抽象基类（定义调用接口）、模板派生类（适配任意可调用体）、外层容器（持有一个指向基类的指针或内存块）：
struct callable_base {
virtual ~callable_base() = default;
virtual void call() = 0;
};
template
struct callable_wrapper : callable_base {
F f;
callable_wrapper(F&& f_) : f(std::move(f_)) {}
void call() override { f(); }
};
struct my_function_void {
std::unique_ptr impl;
template
my_function_void(F&& f) : impl(std::make_unique>(std::forward(f))) {}
void operator()() { impl->call(); }
};
这就是 std::function 最朴素的骨架——类型信息被封进模板派生类，而对外只暴露基类接口。
注意代价和适用场景
类型擦除带来灵活性，也带来开销：
- 虚函数调用（可能影响内联，有间接跳转成本）
- 堆分配（除非满足 SSO 条件，比如小 lambda）
- 无法做编译期优化（比如函数内联、常量传播）
所以它适合需要“运行时决定行为”的地方，比如回调注册、策略切换、事件系统；不适合高频、低延迟路径，那种情况优先考虑模板参数或函数指针。
基本上就这些。类型擦除不是魔法，是封装 + 多态 + 内存管理的组合技。std::function 把它做得足够好用，但理解它怎么工作，才能用得明白、改得安心。
