类型擦除通过抽象基类定义虚析构、clone、过期判断等生命周期契约,模板派生类封装具体类型的构造/析构逻辑,容器仅持基类指针统一调用,将各异生命周期语义(ttl、引用计数、显式释放)封装为接口,实现异构资源的统一管理。

类型擦除本身不直接管理变量生命周期,但它能帮你绕过编译期类型绑定,让一个缓存容器(比如 std::vector<:any></:any> 或自定义的擦除类型)统一持有不同构造方式、不同析构逻辑的对象——关键在于把“生命周期语义”封装进擦除接口里,而不是依赖模板实例的自动析构。
用类型擦除封装“可销毁”的行为契约
普通 std::any 或裸指针无法表达“该对象需在何时、以何种方式释放”。你需要定义一个最小契约,比如:
- 一个虚析构函数,确保派生对象能被安全销毁
- 一个
clone()或move_out()接口,支持值语义转移(避免悬空引用) - 可选的
is_owned()或expires_at(),暴露生命周期线索(如 std::chrono::time_point)
这样,哪怕缓存里存的是 std::shared_ptr<int></int>、std::string、或一个带自定义清理逻辑的 FileHandle,它们都通过同一抽象接口被管理,容器只调用 ~Concept() 或 release(),不关心内部怎么实现。
底层容器设计:不存储原始类型,只存擦除后的句柄
避免直接用 std::vector<:variant t2 ...>></:variant> —— 它要求你在编译期穷举所有类型,且无法扩展。正确做法是:
- 定义一个基类
CacheEntryConcept,含虚析构、虚克隆、虚过期判断 - 为每种目标类型写一个模板模型类
CacheEntryModel<t></t>,它内部持有一个T,并在析构时执行T的自然销毁(或转发给其自定义 deleter) - 缓存容器(如
std::unordered_map<:string std::unique_ptr>></:string>)只操作抽象指针,完全解耦具体类型
例如,你存一个临时计算结果(栈对象拷贝进缓存),也存一个需异步关闭的数据库连接句柄(内部持 std::shared_ptr<connection></connection> 并重写析构逻辑),它们对外呈现一致的访问和失效接口。
配合 TTL 与所有权策略做运行时调度
类型擦除让“存什么”变得灵活,但“什么时候删”得靠上层策略驱动:
- 对短时变量(如 API 响应缓存),在
CacheEntryModel<response></response>中嵌入std::chrono::steady_clock::time_point,擦除后仍可通过基类接口读取是否过期 - 对长周期资源(如预热的模型权重),用引用计数 + 弱引用探测:擦除层内包装
std::shared_ptr,缓存容器只持std::weak_ptr<cacheentryconcept></cacheentryconcept>,访问前 lock 判断是否还存活 - 对需显式释放的句柄(如 GPU 显存块),在擦除模型中预留
on_evict()回调,由缓存淘汰策略触发,而非依赖析构
这样,同一个 LRUMap<:string cacheentry></:string> 就能混合容纳毫秒级 TTL 字符串、分钟级共享配置、以及需手动归还的硬件资源句柄——差异全被封装在各自的模型实现里,容器本身无感。
核心不是让缓存“理解”生命周期,而是让每种生命周期自己“声明”它如何被管理,再借类型擦除把声明统一成接口。容器只负责调用,不负责推理。











