17370845950

std::variant 是 C++17 引入的类型安全联合体，支持在单个对象中存储多种类型之一，自动管理生命周期并强制类型检查；定义时指定允许类型，通过 std::get、std::holds_alternative 或 std::visit 安全访问，不支持引用、数组等特定类型，且禁止重复类型。

std::variant 是 C++17 引入的类型安全联合体，它能在一个对象中存储多种不同类型之一，同时避免传统 union 的手动内存管理和类型不安全问题。

基本用法：定义、构造和访问

你可以把 std::variant 看作“可变的容器”，但它不装多个值，只存一个——且明确知道当前存的是哪种类型。

• 定义时列出所有允许的类型，例如：std::variant
• 构造时自动推导当前持有的类型：auto v = std::variant{42}; 或 std::variant v{"hello"};
• 用 std::get(v) 按类型取值（若类型不匹配会抛 std::bad_variant_access）
• 更安全的方式是用 std::holds_alternative(v) 先判断，再取值

安全访问：std::visit 和访问者模式

最推荐的访问方式是 std::visit，它支持对不同类型的统一处理，且编译期检查全覆盖：

• 传入一个可调用对象（如 lambda），std::visit 自动根据当前类型调用对应分支
• 如果漏掉某类型，编译失败（强制穷举）
• 示例：std::visit([](const auto& x) { std::cout —— 通用 lambda 自动适配所有类型
• 也可以写重载的 struct 或使用 std::overload 辅助（C++17 没内置，需手写或借助第三方）

常见操作与注意事项

std::variant 不是万能替代，用对场景才发挥价值：

立即学习“C++免费学习笔记（深入）”；

• 默认构造只对第一个类型可行（要求其可默认构造），否则需显式初始化
• 支持赋值、比较（当所有类型都支持 ==）、移动语义，但不支持隐式转换
• 不能包含引用、数组、void、某些不完整类型；也不能有相同类型重复出现（如 variant 非法）
• 用 v.index() 获取当前类型的序号（从 0 开始），std::variant_size_v 得到总类型数

对比传统 union：为什么更安全？

原生 union 只管共享内存，不管类型生命周期：

• 手动调用构造/析构，极易出错（比如在 string 成员上读 int）
• 无类型记录，无法知道当前该按什么解释内存

• std::variant 内部自动管理对象生命周期，并始终记录当前 active type
• 所有访问都带运行时或编译时检查，越界或类型错直接报错，不导致未定义行为

基本上就这些。它不是要取代 class 继承或多态，而是为“有限、已知、异构”的数据建模提供轻量、高效、类型安全的方案。