c++ type erasure技巧 c++如何实现std::any和std::function

4次阅读

<p>std::any 通过 void* 加函数表实现类型擦除，不依赖虚函数；其核心是构造 / 析构 / 拷贝 / 类型查询函数指针组成的结构体，配合小对象优化与严格生命周期管理。</p>

c++ type erasure 技巧 c++ 如何实现 std::any 和 std::function

它不是靠虚函数继承实现的，而是用一个 struct 存函数指针：构造、析构、拷贝、类型查询。所有操作都通过这个“函数表”跳转，std::any 本身只管存 void* 和这个表指针。

实操建议：

自己写简易版时，别直接裸存 void*，一定要配对管理生命周期——比如用 new 分配的，就得在析构函数里 delete；否则一 move 或赋值就悬空
类型查询靠 std::type_info，但注意：不同编译单元的同名类（尤其模板实例化）可能生成不同 std::type_info 对象，typeid(T) == typeid(U) 不一定稳，优先用 std::any_cast 的运行时检查
小对象优化（SOO）很关键：像 libstdc++ 和 libc++ 都给 std::any 预留了约 24–32 字节内联空间，避免小类型（如 int、std::string_view）堆分配；自己实现时漏掉这点，性能会差一截

std::function 不仅要擦除目标类型，还要统一调用签名——所有可调用体（函数指针、lambda、std::bind、仿函数）都被转换成“能响应 operator() 并匹配指定参数 / 返回类型的黑盒”。

常见错误现象：

捕获局部变量的 lambda 赋给 std::function 后，原作用域结束，调用时报 segmentation fault——本质是擦除后没做所有权转移，得确保捕获的内容生命周期 ≥ std::function 本身
用 std::function<void></void> 接收返回 int 的函数，编译失败：擦除前就做签名匹配，不兼容的 callable 根本进不来，不是运行时报错
移动后调用已移动的 std::function，触发 std::bad_function_call——因为擦除函数表里“调用函数指针”被置为 nullptr，但这个状态不会自动清零其他字段，内存未必全脏，所以不能靠 memcmp 判空

没必要从零造轮子，但理解它们怎么组织数据，能避开很多误用。

实操建议：

定义擦除结构体时，把函数指针打包进一个 struct，比如：
```
struct any_vtable {void (*dtor)(void*);     void (*copy)(void*, const void*);     const std::type_info& (*type)(void*); };
```
别把每个函数单独存为成员变量，缓存不友好，也难扩展
lambda 擦除进 std::function 时，编译器会生成一个唯一闭包类型，并把捕获数据作为该类型的成员；若捕获为空，有些实现（如 MSVC）会直接退化为函数指针，但别依赖——sizeof(std::function<int>)</int> 在不同 STL 实现里可能差 8~16 字节
别在 std::any 里存多态对象（带虚函数的类），除非你手动保证虚表指针有效；更安全的做法是存智能指针或值语义类型

这两个接口看着像“取出来”，实际都有隐含约束和未定义行为风险。

使用场景与坑点：

std::any_cast<t>(&a)</t> 返回 T*，如果 a 里不是 T 类型，返回空指针——但很多人写成 *std::any_cast<t>(&a)</t>，一解引用就崩；应该先判空再用
std::function::target<t>()</t> 只能取回原始类型，不能跨继承体系；比如存的是 std::unique_ptr<base>，用 target<:unique_ptr>></:unique_ptr> 拿不到，哪怕 Derived 继承 Base
std::function 的 target_type() 返回 std::type_info，但 C++17 起禁止用 == 直接比较两个 std::type_info 对象（标准说“行为未定义”），正确方式是用 std::type_info::hash_code() 或 std::type_info::name()（后者不跨平台）