c++如何使用std::any存储任意类型_c++ 类型转换与安全检查【教程】

std::any可存可复制或可移动类型（如int、std::string、std::vector），不可存void、抽象类、无拷贝/移动构造函数类型；数组类型int[5]不支持，但std::array支持；类型检查须用std::any_cast(&a)!=nullptr或a.type()==typeid(T)，取值推荐指针版避免异常。

std::any 能存什么，不能存什么

std::any 只能存储可复制（CopyConstructible）或可移动（MoveConstructible）的类型。内置类型、std::string、自定义类（只要满足构造/析构约束）都可以；但数组类型（如 int[5]）、抽象类、无拷贝/移动构造函数的类、以及带删除构造函数的类型会编译失败。

• 支持：int、double、std::vector、std::shared_ptr
• 不支持：void、int[]、std::array（注意：它本身是可复制的，但容易误以为“数组”不行——实际支持，别被名字误导）
• 运行时检查靠 type()，但不会自动转换类型；存了 std::string 就不能用 std::any_cast 安全取出来

std::any_cast 的三种用法与崩溃风险

std::any_cast 是唯一安全取出值的方式，但它有三类调用形式，行为差异极大：

• 指针版：std::any_cast(&my_any) —— 返回 int*，失败时返回 nullptr，最安全，推荐用于不确定类型的场景
• 引用版：std::any_cast(my_any) —— 成功返回引用，失败时抛出 std::bad_any_cast，适合已确认类型时使用
• 值版：std::any_cast(my_any) —— 内部先转引用再拷贝，失败同样抛异常；且要求目标类型可拷贝，否则编译不过

std::any a = 42;
int* p = std::any_cast(&a); // OK，p 指向 42
if (p) {
    std::cout << *p << "\n"; // 安全解引用
}
int& r = std::any_cast(a); // OK，但若 a 存的是 double，这里直接 throw

类型检查必须用 type() + typeid 对比，不能靠 try/catch

std::any 不提供 is() 这样的成员函数。判断是否为某类型，必须显式比较 std::any::type() 和 typeid(T)：

• 错误写法：if (a.type() == typeid(int)) —— 编译失败，type() 返回 const std::type_info&，而 typeid(T) 是右值，不能直接用 ==
• 正确写法：a.type() == typeid(int) 实际可行（std::type_info 重载了 ==），但更健壮的是用 std::any_cast(&a) != nullptr
• 注意：typeid 在多态类中可能返回派生类类型，而 std::any 存的是静态类型，所以不要对基类指针做 any_cast 期望拿到子类对象

性能与生命周期管理的实际代价

std::any 内部通常采用小对象优化（SOO），对 sizeof ≤ ~32 字节的类型（如 int、std::unique_ptr）直接存栈上；更大的类型会堆分配。这意味着：

Pi智能演示文档

领先的AI PPT生成工具

下载

立即学习“C++免费学习笔记（深入）”；

• 频繁存取大对象（如 std::vector(1e6)）会触发内存分配，带来额外开销
• 移动语义有效：std::any a = std::move(big_string) 会转移而非拷贝底层字符串
• 析构安全：无论存什么，std::any 离开作用域时会自动调用其内部类型的析构函数——这点比裸 void* 强得多

真正容易被忽略的是：std::any 不是类型擦除的万能替代品。它没提供访问接口抽象，也不支持运行时多态分发；如果需要按类型执行不同逻辑，std::variant 或访客模式往往更合适。