std::variant和std::visit提供类型安全的多态数据处理,通过持有多种类型之一并结合访问者模式实现无需继承的灵活分支操作,适用于配置解析、AST处理等异构数据场景。
在C++17中引入的std::variant是一种类型安全的联合体(union),可以持有多种类型中的某一种值,而std::visit则提供了一种访问variant中当前值的方式,结合lambda表达式或函数对象,能实现类型安全的多态行为。这种组合常用于替代传统继承或多层if-else判断,尤其适合处理异构数据。
std::variant定义在variant头文件中,声明方式如下:
std::variant
这个变量data可以在运行时保存int、string或double类型的值。
赋值可以通过直接初始化或赋值操作:
获取当前类型可以用s
td::holds_alternative检查:
if (std::holds_alternative<:string>(data)) { ... }
或者通过std::get
std::cout (data);
直接使用std::get需要预先知道类型,不够灵活。std::visit配合lambda或可调用对象,能在编译期生成对应分支,自动匹配当前存储的类型。
例如,定义一组lambda来处理不同类型的输出:
auto printer = [](const auto& value) {这里利用了泛型lambda,自动推导传入的参数类型。如果想对不同类型做不同处理,可以写多个重载的lambda,借助std::overloaded技巧:
struct Printer {或者更简洁地使用lambda组合:
auto visitor = overloaded{其中overloaded是一个常见的辅助结构,用于合并多个可调用对象:
template假设你要解析配置项,可能是整数、字符串或布尔值:
using ConfigValue = std::variant遍历并打印所有配置:
for (const auto& val : config) {也可以用于状态机、AST节点处理、JSON-like结构建模等场景。
基本上就这些。std::variant和std::visit的组合让C++在不牺牲性能的前提下支持类型安全的“代数数据类型”,写起来更清晰,也更容易维护。