C++如何实现一个可以存储任意类型的类?(std::any)

7次阅读

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

C++如何实现一个可以存储任意类型的类?(std::any)

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_infoaligned_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 必崩

真正难的不是怎么存,是怎么在取的时候不崩、不慢、不漏。类型信息只在运行时存在,所有安全都得靠你自己补全。

text=ZqhQzanResources