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;

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

MyVariant v1 = 42; // 活跃类型：int
MyVariant v2 = 3.14; // 活跃类型：double
MyVariant v3 = "hello"; // 活跃类型：std::string

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

Web Accessibility (WCAG 2 AA))

将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。

下载

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

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

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

std::visit([](const auto& val) {
  if constexpr (std::is_same_v<:decay_t>, int>) {
    std::cout   } else if constexpr (std::is_same_v<:decay_t>, double>) {
    std::cout   } else {
    std::cout   }
}, v);

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

处理无效状态与默认构造

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

std::variant<:monostate int std::string> v{}; // std::monostate 表示空状态
v = 100; // 现在活跃类型是 int

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

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！