std::variant 是 C++17 提供的类型安全联合体,可存储多种类型之一并自动管理构造析构,结合 std::visit 实现安全访问与多态调度,适用于配置解析、AST 节点等场景。

在C++17中,std::variant 提供了一种类型安全的联合体(union)替代方案,能够在一个对象中存储多种不同类型中的某一个,并且避免了传统 union 的类型不安全问题。配合 std::visit,可以实现对 variant 中当前值的安全访问和操作,支持多态调度。
std::variant 是一个模板类,用于定义可持有若干指定类型之一的对象。它保证始终持有一个有效值(除非是异常状态),并自动管理内部类型的构造与析构。
示例:定义一个可以保存 int、double 或 std::string 的 variant:
std::variant<int, double, std::string> v;
立即学习“C++免费学习笔记(深入)”;
赋值方式有多种:
也可以使用 emplace 显式构造特定类型:
v.emplace<std::string>("world");
可以通过 std::holds_alternative 判断 variant 当前是否持有某个类型:
if (std::holds_alternative<int>(v)) { ... }
使用 std::get<T>(v) 获取当前值(需确保类型匹配,否则抛出 std::bad_variant_access):
if (std::holds_alternative<double>(v)) { double d = std::get<double>(v); }
std::visit 是访问 variant 内容的推荐方式,它接受一个可调用对象(如 lambda、函数对象)和一个或多个 variant,自动根据当前持有的类型调用对应的处理逻辑。
常见做法是传入一个包含多个重载 operator() 的 lambda 组合(通常使用泛型 lambda 或 C++17 的 lambda 合并语法)。
示例:打印 variant 的内容
std::visit([](const auto& value) {
std::cout << value << std::endl;
}, v);
这个泛型 lambda 会自动匹配 variant 当前持有的类型。
更复杂的例子:处理不同类型的计算
struct Compute {
double operator()(int i) const { return i * 1.0; }
double operator()(double d) const { return d * 2.0; }
double operator()(const std::string& s) const { return s.length(); }
};
double result = std::visit(Compute{}, v);
如果需要多个 variant 联合 dispatch,std::visit 也支持:
std::visit([](auto a, auto b) { return a + b; }, v1, v2);
使用 std::variant 时注意以下几点:
基本上就这些。std::variant 和 std::visit 结合,提供了一种现代、安全、高效的替代 union 和 void* 的方案,特别适合表达“一个值可能是几种类型之一”的场景,比如解析配置、AST 节点、事件处理等。
以上就是c++++怎么使用std::variant和std::visit_c++类型安全的联合体与访问调度机制的详细内容,更多请关注php中文网其它相关文章!
c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号