17370845950

选 std::variant 还是 std::any，核心看类型集合是否已知且有限、是否需要编译期类型安全与效率：variant 适用于“多选一”的确定性场景，any 适用于“任意类型”的运行时泛化需求。

选 std::variant 还是 std::any，核心看两点：类型集合是否**已知且有限**，以及是否需要**编译期类型安全与效率**。前者适合“多选一”的确定性场景，后者适合“任意类型”的运行时泛化需求。

用 std::variant：当你明确知道所有可能的类型

std::variant 是类型安全的**并集类型（tagged union）**，编译期就固定了可容纳的类型列表。它不接受列表外的类型，访问时必须处理所有分支（或提供默认行为），天然防错。

• 适合建模具有明确、有限状态的数据结构，比如解析器的 AST 节点：std::variant
• 性能高：无堆分配，无虚函数调用，访问通过 std::visit 或 std::get，底层是偏移计算 + 标签判断
• 支持 std::holds_alternative、std::get_if 等精细查询，也支持自定义比较和哈希（需显式特化）
• 注意：不能存放引用、数组、void；同一类型重复出现会编译失败（可用 std::monostate 占位表示“空”状态）

用 std::any：当你完全不确定类型，且需运行时擦除

std::any 是类型擦除容器，可持有**任意可复制（CopyConstructible）类型**的值，类型信息在运行时保存，无编译期约束。

• 适合通用配置系统、插件参数传递、反射辅助、JSON-like 容器中某个字段的值（如 any value = parse_json_value(...)）
• 必须用 std::any_cast 显式还原类型，失败时抛 std::bad_any_cast 异常——这是运行时检查，不是编译错误
• 内部通常使用小对象优化（SOO），但大类型仍会堆分配；相比 variant，有额外虚函数调用和类型信息管理开销
• 不支持直接比较或哈希；无法获知所存类型名（除非用 type().name()，但不可移植）

关键区别：类型约束 vs 类型自由

这不是性能或语法的差异，而是设计契约的根本不同：

• variant 表示“只能是 A 或 B 或 C”，漏处理一种就编译不过（配合 std::visit 的完备匹配）
• std::any 表示“可以是任何类型”，但你必须自己承担类型安全责任——cast 错了就崩溃或异常
• 想动态扩展类型？std::variant 不行（模板参数固定），std::any 天然支持，但失去静态检查
• 需要序列化？variant 可基于索引+类型分别序列化；any 需额外注册类型映射表才能反序列化

一个典型误用与修正

常见误区：用 std::any 存储仅来自 {int, string, double} 的值，只为图“写起来简单”。这放弃编译期保障，还引入运行时开销和安全隐患。

正确做法：定义 using json_value = std::variant<:monostate int double std::string std::vector>, std::map<:string json_value>> —— 这就是现代 JSON 库（如 nlohmann/json 内部 variant 实现）的思路：精准、高效、安全。