std::variant是C++17引入的类型安全联合体,可存储多种类型之一并记录当前激活类型,避免未定义行为。通过std::get_if安全获取值或std::visit结合lambda实现类型安全的泛型访问,适用于配置解析、表达式求值、多类型返回等场景,提升代码安全性与可维护性。

在C++中,std::variant 是一种类型安全的联合体(union),自 C++17 起引入,用于替代传统的 union。与原始 union 不同,std::variant 明确记录当前存储的是哪种类型,避免了未定义行为,提升了程序的安全性和可维护性。
什么是 std::variant?
std::variant 是一个能持有多种类型之一的类模板,但同一时间只能保存其中一种类型的值。它被称为“类型安全的联合体”,因为它内部维护了一个“活动”类型的标识,确保你不会错误地访问未激活的成员。
例如,你可以定义一个可以存储 int、double 或 string 的 variant:
std::variantv; v = 42; // v 当前持有 int v = 3.14; // 现在持有 double v = "hello"; // 现在持有 std::string
如何安全访问 variant 中的值?
直接使用 get 获取值存在风险,如果类型不匹配会抛出 std::bad_variant_access 异常。推荐以下几种更安全的方式:
立即学习“C++免费学习笔记(深入)”;
- std::get_if:返回指向当前值的指针,若类型不匹配则返回 nullptr
- std::visit:配合 lambda 或函数对象,对 variant 进行泛型访问,是最推荐的方式
示例:使用 get_if 安全判断类型:
if (auto* p = std::get_if(&v); p) { std::cout << "整数: " << *p << "\n"; } else if (auto* p = std::get_if (&v); p) { std::cout << "浮点数: " << *p << "\n"; }
使用 std::visit 处理多种类型
std::visit 允许你定义一组操作,自动根据 variant 当前持有的类型调用对应的处理逻辑。这种方式支持多 variant 同时访问,且类型检查在编译期完成。
示例:通过 visit 打印 variant 内容:
std::visit([](const auto& value) {
std::cout << value << "\n";
}, v);
也可以定义结构化访问:
struct Printer {
void operator()(int i) const { std::cout << "int: " << i; }
void operator()(double d) const { std::cout << "double: " << d; }
void operator()(const std::string& s) const { std::cout << "string: " << s; }
};
std::visit(Printer{}, v);
常见应用场景
std::variant 特别适用于以下场景:
- 解析配置或 JSON 数据,字段可能是数字、字符串或布尔值
- 实现表达式求值器,节点值可能是不同字面量类型
- 替代带 tag 的 union,减少手动管理状态的错误
- 函数返回多个可能类型的值(类似 Rust 的 Result 或 Option)
例如,表示一个可能为空的数值:
using MaybeNumber = std::variant; // monostate 表示“无值”,类似空状态
基本上就这些。std::variant 让你在保持性能的同时获得类型安全,是现代 C++ 中处理多类型数据的首选工具。合理使用 visit 和 get_if,能写出清晰又健壮的代码。










