std::any可存储任意类型但需显式类型转换,取值前必须检查类型或捕获异常,空值需用has_value()判断;其与std::variant适用场景不同,前者用于完全未知类型,后者适用于编译期已知的有限类型集合。

std::any 能存任意类型,但不能直接取出来
用 std::any 存东西很简单,std::any a = 42; 或 std::any b = std::string("hello"); 都行。但它不提供自动类型转换——你必须明确告诉它“我要取 int”或“我要取 std::string”,否则编译不过,或者运行时报 std::bad_any_cast。
常见错误是写成 int x = a;(编译失败)或 int x = std::any_cast<int>(a);</int> 却没检查 a 里到底是不是 int(运行时崩溃)。
- 取值前务必用
a.type() == typeid(int)判断,或捕获std::bad_any_cast -
std::any_cast<t>(a)</t>返回引用,std::any_cast<t>(a)</t>返回副本——后者可能触发拷贝构造,注意开销 - 空的
std::any(默认构造)调用std::any_cast也会抛异常,别忘了a.has_value()
std::any 和 std::variant 哪个该用?
std::any 是“运行时完全未知类型”,std::variant 是“编译期枚举出所有可能类型”。前者灵活但无类型安全,后者安全但需提前列全。
比如你要存“可能是 int、double 或 std::string”,用 std::variant<int double std::string></int> 更合适:访问时用 std::visit,编译器能检查是否覆盖全部分支;而 std::any 运行时才能知道是什么,容易漏处理。
立即学习“C++免费学习笔记(深入)”;
- 接口参数需要接受任意用户类型 → 选
std::any - 数据只在几个固定类型间切换(如配置项、AST 节点)→ 优先
std::variant -
std::any占用至少 16 字节(典型实现),std::variant大小由最大分支决定,通常更省
std::any 的移动和拷贝行为很关键
std::any 拷贝时,内部存储的值也会被拷贝;移动时,内部值被移动(如果其类型支持移动)。这直接影响性能,尤其存大对象时。
例如存一个千字节的 std::vector<char></char>:std::any a = big_vec; 然后 std::any b = std::move(a); ——b 拿走资源,a 变为空;但若写成 std::any b = a;,就会触发一次完整拷贝。
- 传参时优先用
const std::any&,避免意外拷贝 - 从函数返回
std::any通常能自动移动(满足 RVO/移动优化),不用手动std::move - 存
std::unique_ptr或其他不可拷贝类型没问题,但取出来时只能用右值引用方式移动出来
兼容性与替代方案:C++17 是硬门槛
std::any 是 C++17 引入的,老项目若卡在 C++11/14,不能直接用。别指望靠宏开关混用——它的实现依赖 type_info、aligned_storage 和完美转发等较新特性。
退路只有两个:boost::any(行为最接近,但引入 Boost 依赖),或手写简易版(仅支持有限类型 + void* + type_id 手动管理,极易出错)。
- Clang 5+、GCC 7+、MSVC 2017 15.3 起才稳定支持
std::any - 某些嵌入式 STL 实现(如 libstdc++ for ARM baremetal)可能阉割
std::any,编译时会报 “identifier ‘any’ is undefined” - 跨 DLL 边界传递
std::any对象极危险——type_info 在不同模块可能不一致,std::any_cast必崩
真正难的不是怎么存,是怎么在取的时候不崩、不慢、不漏。类型信息只在运行时存在,所有安全都得靠你自己补全。







