std::any通过运行时多态、堆分配和函数指针表实现类型擦除，将构造、析构、拷贝等操作抽象为统一接口，禁止直接访问内部存储，必须用std::any_cast显式还原。
std::any 是怎么把任意类型藏起来的？
它靠的是运行时多态 + 堆分配 + 函数指针表，不是模板推导也不是宏展开。核心思路是：把类型相关的操作（构造、析构、拷贝、访问）抽成一组函数指针，存在一个统一结构里；真正类型只在创建 std::any 时才被擦掉。
实操上，你不能直接访问内部存储——std::any 没有 public 的 data() 或 get_raw_ptr()。必须用 std::any_cast 显式还原，否则触发 std::bad_any_cast。
- 构造时，
std::any内部 new 一块堆内存存值，并绑定该类型的destroy、copy、move等函数指针 - 拷贝赋值不复制原始类型定义，只调用绑定的
copy函数指针，确保语义正确 - 如果存的是 trivial 类型（如
int），有些实现会尝试 SSO（small size optimization），但标准不保证——别依赖这点做性能假设
自己写个简易 type-erased container 会踩哪些坑？
最常见的是对象生命周期失控：忘了在析构函数里调用类型专属的 destroy，导致资源泄漏或 double-free；其次是 const 正确性丢失，比如 copy 函数没区分 const/non-const 版本，std::any_cast<const t></const> 可能静默失败。
- 必须为每个类型生成独立的函数指针表（vtable-like），不能共用一份“通用搬运工”逻辑
- 移动构造后原对象必须置为有效但未指定状态（类似
std::unique_ptr移动后变空），否则后续析构会 crash - 别用
void*直接转型取值——类型信息已擦除，强制 reinterpret_cast 会触发未定义行为 - 注意对齐：不同类型的
alignof不同，堆分配时得用aligned_alloc或std::allocator，否则某些平台（ARM64、AVX struct）读写会 SIGBUS
为什么 std::any 不能像 std::variant 那样支持 visit？
因为 std::variant 的类型集合是编译期确定的，std::visit 实际生成的是 switch on index 的代码；而 std::any 的类型完全动态，连类型列表都不存在，根本没法生成分支逻辑。
立即学习“C++免费学习笔记（深入）”；
想实现类似功能，只能靠外部注册——比如维护一个 std::unordered_map<:type_info const std::function>></:type_info>，但这就脱离了“擦除”本意，变成手动 dispatch。
-
std::any的type()返回std::type_info const&，但它不可哈希、不可比较（除非用type_info::hash_code()），做 runtime dispatch 效率低且易出错 - 没有
std::any的holds_alternative<t>()</t>等价物，只有std::any_cast<t></t>抛异常这一种试探方式 - 如果真需要多态访问，优先考虑
std::variant或抽象基类，而不是硬改std::any
std::any 的性能代价主要在哪？
三次间接跳转：一次查函数指针表，一次调用 copy 或 destroy，一次可能的堆分配。比裸指针慢，但比反射库轻量得多。
- 小对象（≤16 字节）部分实现用 SSO，但仅限 trivially copyable 类型；自定义类型即使很小也会走堆分配
- 频繁构造/析构
std::any（比如循环内）容易成为瓶颈，建议复用或改用引用包装器（std::reference_wrapper） - 调试模式下，
std::any_cast会做 RTTI 检查，Release 下通常优化为指针比较，但依然有分支预测开销
类型擦除不是银弹——它解决的是接口统一问题，不是性能问题。用之前先问一句：这个“任意类型”真的需要动态决定，还是只是懒得写模板？
