c++如何使用variant实现类型安全的union_c++17新特性std::variant

std::variant是C++17引入的类型安全联合体，能存储多种类型之一并自动跟踪当前类型。通过std::get按类型访问值，错误访问会抛出异常；推荐使用std::get_if进行安全检查或std::visit结合lambda实现类型分发。适用于配置解析、状态机等场景，避免继承开销，不支持引用、数组和void，可用std::monostate表示空状态。

在C++17之前，union虽然可以节省内存，但缺乏类型安全性——程序员需要手动管理当前存储的是哪种类型，否则容易引发未定义行为。std::variant的出现解决了这个问题，它提供了一个类型安全的“可变类型”容器，能在一个对象中存储多种类型之一，并自动跟踪当前活跃类型。

什么是std::variant？

std::variant是C++17引入的模板类，位于variant头文件中。它像一个受控的union，只能保存其模板参数列出的某一种类型的值。与原始union不同，std::variant知道当前保存的是哪个类型，避免了类型误读的风险。

例如，声明一个可以保存int、double或string的variant：

#include
#include

std::variant v;

此时v默认初始化为第一个类型int的默认值（即0）。

如何访问variant中的值？

直接获取值有几种方式，最常用的是std::get和std::visit。

v = 3.14; // 存入double
double d = std::get(v); // 正确：获取当前值

如果尝试用错误的类型获取值，比如std::get(v)，会抛出std::bad_variant_access异常。为避免异常，可用指针版本的get：

int* pi = std::get_if(&v); // 返回空指针，因为当前不是int

更推荐的方式是使用std::visit，它支持对variant进行类型安全的函数调用，尤其适合处理多个可能类型的情况。

使用std::visit进行类型分发

std::visit接受一个可调用对象（如lambda）和一个或多个variant，自动根据当前类型调用对应的处理逻辑。

std::visit([](const auto& value) {
std::cout }, v);

上面的泛型lambda会针对variant当前的实际类型实例化一次。也可以写具体的重载来区分处理：

struct Printer {
void operator()(int i) const { std::cout void operator()(double d) const { std::cout void operator()(const std::string& s) const { std::cout };

std::visit(Printer{}, v);

常见使用场景与注意事项

std::variant常用于解析配置、表达式求值、状态机设计等需要“多态但非继承”的场合。相比继承体系，它更轻量且避免虚函数开销。

注意点：

variant不能持有引用、数组或void类型
默认构造时使用第一个类型的默认构造值
可以用std::monostate表示“空状态”，用于允许variant为空的情形
赋值另一个variant时，会触发类型切换和析构/构造过程

基本上就这些。std::variant让C++中的类型联合变得安全又直观，配合std::visit能写出清晰的类型分支逻辑，是现代C++值得掌握的工具。

# access # 工具 # c++ # String # 多态 # include # const # auto # union # int # double # void # Lambda # 指针 # 继承 # 虚函数 # Struct # operator # 泛型 # 空指针 # 对象 # 的是 # 第一个 # 多个 # 抛出 # 自动跟踪 # 可以用 # 推荐使用 # 适用于 # 误读 # 这个问题

返回目录在线咨询

上一篇：选择云域名服务器 vs 传统域名服务器：哪个更适合您的网站？
下一篇：Linux CLI操作常用快捷键总结

您的项目需求