C++17 std::variant 详解：概念、用法和实现细节

文章目录

- 简介
- 基本概念
- - 定义和使用std::variant
  - 与传统联合体union的区别
- 多类型值存储示例
- - 初始化
  - 修改
  - 判断variant中对应类型是否有值
  - 获取std::variant中的值
  - 获取当前使用的type在variant声明中的索引
- 访问std::variant中的值
- - 使用std::get
  - 使用std::get_if
- 错误处理和访问未初始化的std::variant
- 应用场景
- - 解析命令行
  - 解析ini文件
  - 语言解析器
  - 求解方程的根
  - 错误处理
  - 状态机
  - 不使用虚表和继承实现的多态
- 总结

简介

在C++的发展历程中，C++17带来了许多实用的新特性，其中std::variant尤为引人注目。它本质上是一种类型安全的联合体，能够在同一时刻持有多种可能类型中的某一个值。这种特性为开发者提供了极大的便利，在面对需要处理多种不同类型数据的场景时，std::variant提供了一种灵活且高效的解决方案，使得代码编写更加简洁、安全。

基本概念

定义和使用std::variant

std::variant是一个模板类，借助模板参数包的特性，它能够存储多种不同类型的值。其声明形式如下：

template<class... Types>
class variant;

这里的Types代表了一系列的类型，意味着我们可以根据实际需求，传入任意数量和种类的类型。例如，若要创建一个std::variant对象，使其能够存储int、std::string和double类型的值，可以这样定义：

std::variant<int, std::string, double> myVar;

与传统联合体union的区别

传统的C风格联合体union虽然也能实现存储不同类型的值，但与std::variant相比，存在诸多劣势。首先，std::variant具备类型安全性，而union则需要开发者手动管理数据成员的活跃性。在使用union时，如果错误地访问了当前未存储的类型数据，就会导致未定义行为。而std::variant会自动跟踪当前存储的值的类型，开发者无需手动干预。其次，std::variant提供了更为友好和安全的访问方式，使得代码在处理不同类型数据时更加可靠和易于理解。

多类型值存储示例

初始化

std::variant对象的初始化十分便捷。以下面代码为例，创建一个std::variant对象v，并初始化为int类型的值123：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v(123);return 0;
}

修改

在程序运行过程中，可以根据实际需求修改std::variant对象所存储的值的类型。例如，将上述v的值修改为std::string类型的"HelloWorld"：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v(123);v = "HelloWorld";return 0;
}

判断variant中对应类型是否有值

为了确保类型安全，经常需要判断std::variant中是否存储了特定类型的值。这时，可以使用std::holds_alternative函数来实现：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v(123);v = "HelloWorld";if (std::holds_alternative<std::string>(v)) {std::cout << "has std::string" << std::endl;}return 0;
}

获取std::variant中的值

获取std::variant中的值主要有两种方式。一种是通过指定类型来获取：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v("HelloWorld");std::cout << std::get<std::string>(v) << std::endl;return 0;
}

另一种是通过索引来获取，索引从0开始计数：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v("HelloWorld");std::cout << std::get<1>(v) << std::endl;return 0;
}

获取当前使用的type在variant声明中的索引

通过调用index成员函数，可以获取当前std::variant中存储的值的类型在声明时的索引位置：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v("HelloWorld");std::cout << v.index() << std::endl;return 0;
}

访问std::variant中的值

使用std::get

std::get是访问std::variant中值的常用方法，如前文示例，它既可以通过指定类型，也能通过索引来获取值。不过，使用时需注意，如果std::variant中当前存储的值并非所指定的类型，会抛出std::bad_variant_access异常。

使用std::get_if

std::get_if是另一种访问std::variant值的方式，它能避免抛出异常。当std::variant中存储的是指定类型的值时，std::get_if会返回一个指向该值的指针；否则，返回nullptr。示例如下：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v("HelloWorld");if (auto str = std::get_if<std::string>(&v)) {std::cout << *str << std::endl;}return 0;
}

错误处理和访问未初始化的std::variant

当std::variant未进行初始化，或者当前存储的值并非期望获取的类型时，调用std::get会抛出std::bad_variant_access异常。例如：

#include <iostream>
#include <variant>int main() {std::variant<int, std::string, double> v(123);try {std::cout << std::get<std::string>(v) << std::endl;} catch (const std::bad_variant_access& e) {std::cerr << "Caught exception: " << e.what() << std::endl;}return 0;
}