std::variant 和 std::any 的主要区别在于类型约束、安全性、性能和用途:1. std::variant 要求编译时确定类型列表,具备类型安全和高效访问,适合固定类型的多态数据处理;2. std::any 可存储任意可复制类型,依赖运行时检查,灵活性高但性能开销大,适用于开放类型系统。选择取决于是否需要动态类型支持。

std::variant 和 std::any 都是 C++17 引入的类型安全工具,用于处理多种类型的数据,但设计目标和使用方式有本质区别。
std::variant 是类型安全的联合体
std::variant 表示一个在编译时就确定的类型集合中的某一种类型。它类似于增强版的 union,但具备类型安全和自动管理析构的能力。
特点包括:
- 只能保存其模板参数中列出的类型之一
- 大小由最大类型的大小决定,加上可能的标签字段
- 访问内容需通过 std::get 或 std::visit,否则会抛出异常或导致未定义行为
- 支持模式匹配(通过访问者模式)
std::variant<int, std::string> v = "hello"; std::string s = std::get<std::string>(v); // 正确 // int i = std::get<int>(v); // 运行时抛出 bad_variant_access
std::any 可容纳任意类型
std::any 提供真正的“任意值”语义,可以存储任何可复制的类型,不限于预定义列表。
立即学习“C++免费学习笔记(深入)”;
主要特性:
- 不限定能存储的类型,运行时动态决定
- 使用类型擦除实现,通常包含指向堆上对象的指针
- 必须用 std::any_cast 获取原始类型,否则返回空指针或抛异常
- 灵活性高,但性能开销更大,且失去部分静态检查优势
std::any a = 42;
a = std::string("world"); // 合法
int n = std::any_cast<int>(a); // 抛出 bad_any_cast
关键区别总结
- 类型约束:variant 要求类型列表固定;any 无限制
- 安全性:variant 在编译期排除非法类型;any 依赖运行时检查
- 性能:variant 通常更高效,any 涉及堆分配和更多间接访问
- 用途场景:variant 适合状态明确的多态数据(如 JSON 值);any 更像弱类型语言中的“万能变量”











