不能直接用void*存任意类型，因为它丢失类型信息和析构逻辑，无法管理对象生命周期，导致std::string等需析构的类型复制时崩溃；std::any通过类型擦除（虚函数表或函数指针表）封装构造、析构、拷贝、类型查询操作，确保类型安全与自动资源管理。
为什么不能直接用 void* 存任意类型
直接用 void* 存对象会丢失类型信息和析构逻辑，对象生命周期无法管理，std::string 或自定义类这类需要析构的类型一复制就崩溃。C++17 的 std::any 是标准解法，但如果你要手写一个轻量 AnyContainer，核心是靠类型擦除 + 虚函数表来保存销毁、拷贝、访问行为。
如何设计最小可行的类型擦除接口
关键不是“存什么”，而是“怎么安全地存和取”。需要一个基类封装操作契约：
struct AnyStorageBase {
virtual ~AnyStorageBase() = default;
virtual std::unique_ptr<AnyStorageBase> clone() const = 0;
virtual void destroy() = 0;
virtual const std::type_info& type() const = 0;
};每个具体类型（比如 int、std::vector<double>）都派生一个模板特化实现：
template<typename T>
struct AnyStorage : AnyStorageBase {
T value;
AnyStorage(T v) : value(std::move(v)) {}
std::unique_ptr<AnyStorageBase> clone() const override {
return std::make_unique<AnyStorage<T>>(value);
}
void destroy() override { /* 析构时自动调用 ~T() */ }
const std::type_info& type() const override { return typeid(T); }
};这样就能在运行时保留类型身份，且支持拷贝、移动、析构。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
如何实现 AnyContainer 的赋值与取值
AnyContainer 内部只持有一个 std::unique_ptr<AnyStorageBase>，所有操作都委托给它：
- 赋值：
template<typename T> AnyContainer& operator=(T&& v)→ 构造AnyStorage<T>并替换内部指针 - 取值：
template<typename T> T& get()→ 先比对storage->type() == typeid(T)，再static_cast<AnyStorage<T>*>(storage.get())->value - 类型检查失败时抛
std::bad_any_cast（或自定义异常），不能静默失败
注意：不提供 get<const T&>() 这类引用重载，避免悬挂引用；返回 T& 或 const T& 都必须确保存储对象还活着 —— 所以 AnyContainer 必须管理所存对象的完整生命周期。
哪些地方最容易出错
常见坑点很集中：
- 忘记在
AnyStorage<T>::destroy()中显式调用value.~T()（尤其对 POD 类型虽无副作用，但对 RAII 类型是致命缺陷） - 拷贝构造时没深拷贝：比如存了
std::string，但clone()返回的是原对象地址的浅拷贝，后续修改互相影响 - 用
typeid比较时忽略 cv 限定符 ——get<const int>()和get<int>()应该视为不同类型，否则取值失败却不报错 - 移动赋值后原
AnyContainer置空，但没把内部指针设为nullptr，导致后续get<T>()解引用空指针
真正难的不是写出来，而是让每种类型在构造、拷贝、移动、析构四个环节都行为一致 —— 尤其是 std::function、std::shared_ptr 这类内部有状态的对象，稍有不慎就会 double-free 或悬空。
