C++中的类型擦除（Type Erasure）是什么？（std::function示例）_技术教程

类型擦除是封装不同类型操作于统一接口的技术，如std::function通过基类虚函数和模板派生类隐藏具体类型，对外提供一致调用方式，本质是“藏类型”而非删除。

类型擦除是一种让模板代码在运行时“忘记”具体类型，只保留统一接口的技术。它不靠继承多态，而是把不同类型的操作封装进一个通用容器里，对外暴露一致的调用方式。std::function 就是最典型的应用——你能把它赋值为 lambda、函数指针、成员函数指针，甚至 bind 表达式，但用的时候都只写 f(1, 2)，完全不用知道背后是什么类型。

std::function 是怎么做到“擦掉”类型的？

它内部用了一个统一的函数对象基类（通常叫 std::function::base 或类似），所有可调用对象都会被包装成派生类实例，并通过虚函数实现统一调用。构造时根据传入的可调用体类型，动态选择对应的包装器；调用时走虚函数表，实际执行的是那个具体类型的 operator()。这个过程对用户完全透明——你看到的只有签名，比如 std::function，不关心里面存的是 lambda 还是普通函数。

关键不是“删类型”，而是“藏类型”

类型信息没有丢失，只是被封装在 std::function 的私有存储中（可能用小对象优化 SSO 存在栈上，大的就堆分配）。擦除的本质是：对外屏蔽类型差异，对内按需适配。比如：

std::function f = []{ printf("lambda"); }; → 包装成一个 lambda 专属的仿函数类
f = &some_free_func; → 换成函数指针专用包装器
f = std::bind(&X::method, &x, _1); → 又换成 bind 生成的可调用对象包装器

每次赋值，内部存储和虚函数实现都悄悄换了，但接口始终是 f()。

自己实现一个极简版有助于理解

核心就三块：抽象基类（定义调用接口）、模板派生类（适配任意可调用体）、外层容器（持有一个指向基类的指针或内存块）：

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 最朴素的骨架——类型信息被封进模板派生类，而对外只暴露基类接口。