C++中的std::any可以存储任意类型吗？(类型安全的万能存储容器)

尼克 2026-01-14 00:00:00 次阅读

std::any不能存储不完整类型、抽象类、内置数组、void、函数类型、引用类型及无拷贝/移动构造函数的非平凡类型。

std::any 可以存储任意可复制（或可移动）的完整类型，但不是“任意类型”——它明确拒绝不完整类型、抽象类、数组、void 和某些特殊类型。

哪些类型不能存进 `std::any`？

编译期就会报错，不是运行时报异常：

std::any 无法存储不完整类型（如前向声明的 class Foo;，未定义时）
抽象类（含纯虚函数）不能直接构造，std::any 拒绝其 emplace 或构造
内置数组（如 int[5]）不满足可复制/可移动要求，会被 SFINAE 排除
void、函数类型（如 void()）、引用类型（int&）本身不能作为 std::any 的模板实参
没有拷贝/移动构造函数且不可平凡复制的类型，若未显式提供移动支持，也可能失败

`std::any` 存值和取值的正确姿势

存值没问题，但取值必须用 std::any_cast 显式指定类型，否则运行时抛出 std::bad_any_cast：

std::any a = 42;
std::any b = std::string("hello");

int x = std::any_cast(a);           // ✅ 成功
std::string s = std::any_cast(b); // ✅ 成功
// int y = std::any_cast(b);        // ❌ 抛出 std::bad_any_cast

// 安全取值写法：先检查类型再 cast
if (a.type() == typeid(double)) {
    double d = std::any_cast(a);
}

注意：a.type() 返回 const std::type_info&，比较应使用 ==，不要用 std::strcmp 或字符串匹配。

性能与内存开销：别把它当 `std::variant` 用

std::any 内部通常采用小对象优化（SOO），但一旦值类型超过内部缓冲大小（常见为 ~32 字节），就会堆分配。这意味着：

频繁存取大对象（如 std::vector<:byte>(1024)）会触发 malloc/free，开销明显
相比 std::variant，std::any 无编译期类型约束，丢失了静态类型安全和零成本抽象
无法用 std::visit，只能靠 type() + 多重 if/else 或 type-erased callbacks 模拟分发

容易被忽略的关键点

很多人以为 std::any 是“C++ 版 Python object”，其实它更像带类型检查的 void* 封装器。最常踩的坑是：

忘记 std::any_cast 的类型必须与存入时**完全一致**（包括 const/volatile 限定符）
对 std::any 赋值时用了隐式转换（如 a = 3.14f 存的是 float，不是 double），后续用 double 去 cast 就崩
把 std::any 当容器长期持有大量不同类型的对象，却没意识到它不具备类型擦除后的统一接口能力——你得自己维护类型元信息或用 std::type_index 做映射