std::variant 是 C++17 引入的类型安全联合体，完全替代裸 union，内部维护活跃索引和类型信息，支持 std::get（编译期/运行期检查）和 std::visit（泛型类型分发），避免未定义行为。

std::variant 是 C++17 引入的类型安全联合体，它能完全替代裸 union，同时避免手动管理类型、防止未定义行为，并支持访问时的类型检查。

为什么不能直接用裸 union？

裸 union 不记录当前存储的是哪个成员，也不自动调用构造/析构函数。写入一个成员后读取另一个，或忘记调用析构函数，都会导致未定义行为。std::variant 内部维护 active index 和类型信息，确保每次访问都合法。

基本用法：声明、构造和访问

声明一个可容纳 int、double 或 std::string 的 variant：

using MyVariant = std::variant;

构造时自动推导活跃类型：

安全访问需用 std::get（编译期检查）或 std::visit（运行期分发）：

• 用 std::get(v) 获取指定类型的值（若类型不匹配，抛 std::bad_variant_access）
• 用 std::get(v) 按索引获取（索引从 0 开始，越界同样抛异常）
• 更推荐 std::visit —— 类型安全、无需硬编码分支，天然支持所有可能类型

用 std::visit 处理多种类型（推荐方式）

std::visit 接收一个可调用对象（如 lambda）和一个或多个 variant，自动根据当前活跃类型调用对应逻辑：

也可用重载的 struct 实现更清晰的分派逻辑，尤其适合多 variant 场景。

处理无效状态与默认构造

std::variant 默认构造会尝试构造其第一个类型（若该类型可默认构造）。如果首类型不可默认构造，variant 就不可默认构造。为避免意外，可显式初始化：

检查是否为空用 v.index() == 0（当 std::monostate 是首类型时），或用 std::holds_alternative<:monostate>(v)。