类型擦除是通过封装类型差异并提供统一接口来隐藏具体类型的技术，常用于减少模板实例化导致的代码膨胀。它利用虚函数或多态机制，将不同类型的对象统一处理，如AnyCallable类通过基类指针调用派生类实现，使lambda、函数指针等均可被相同调用。std::function和std::any是典型应用，借助类型擦除实现接口一致性和小对象优化，降低代码体积，虽有虚调用或堆分配开销，但在高类型多样性场景下整体性能更优。
Type Erasure 是 C++ 中一种用于隐藏具体类型的编程技术，它允许不同类型的对象在统一的接口下被处理，同时避免模板实例化带来的代码膨胀问题。这在设计高性能、可扩展的通用库时非常有用，比如 std::function 和 std::any 都是典型的类型擦除实现。
什么是类型擦除？
模板是 C++ 实现泛型编程的核心工具，但每个不同的模板参数都会生成一份独立的代码副本，导致“代码膨胀”（Code Bloat）。Type Erasure 的目标是在不暴露具体类型的前提下，提供统一的接口来操作多种类型，从而减少模板实例的数量。
其核心思想是：将类型相关的操作封装到内部，对外暴露一个与类型无关的接口。通常通过多态或函数指针来间接调用实际逻辑，把“类型差异”抹平。
如何实现类型擦除？
常见的实现方式有以下几种：
立即学习“C++免费学习笔记（深入）”；
- 基于虚函数的多态：定义一个抽象基类作为接口，再用模板派生类保存具体类型并实现行为。外部持有基类指针，实现类型无关的操作。
- 基于函数指针或 std::function：在类型擦除类中存储函数指针或可调用对象，运行时通过这些指针调用实际逻辑。
- 小对象优化（SBO）：对于小对象，直接在类型擦除类内部预留空间存储数据，避免动态分配，提升性能。
class AnyCallable {
private:
struct Concept {
virtual void call() = 0;
virtual ~Concept() = default;
virtual std::unique_ptr clone() const = 0;
};
template
struct Model : Concept {
F f;
Model(F f) : f(std::move(f)) {}
void call() override { f(); }
std::unique_ptr clone() const override {
return std::make_unique(f);
}
};
std::unique_ptr ptr;
public:
template
AnyCallable(F f) : ptr(std::make_unique>(std::move(f))) {}
AnyCallable(const AnyCallable& other) : ptr(other.ptr->clone()) {}
AnyCallable& operator=(const AnyCallable& other) {
ptr = other.ptr->clone();
return *this;
}
void operator()() { ptr->call(); }
};
这个类对外只暴露统一接口，内部通过虚函数机制调用具体函数，无论传入的是 lambda、函数指针还是仿函数，都以相同方式处理，且不会为每个类型生成大量模板代码。
类型擦除对降低代码膨胀的作用
如果不使用类型擦除，每次传入不同类型的可调用对象都会实例化一个新的模板函数或类，导致目标代码体积显著增加。而类型擦除将这些差异收敛到一个统一的接口实现中，减少了模板实例数量。
例如，std::function 只有一个实现版本，却能容纳任意返回 void 无参的可调用对象，极大节省了代码空间。
当然，这种设计有一定运行时代价，比如虚函数调用开销或堆内存分配。但在许多场景下，这种权衡是值得的，尤其是当类型多样性高但接口一致时。
基本上就这些。类型擦除是一种高级技巧，掌握它有助于写出更高效、更灵活的 C++ 代码，特别是在构建通用库的时候。不复杂但容易忽略。
