std::variant 是 C++17 引入的一种类型安全的多态容器，它可以在一个对象中存储多种可能的类型之一，并且在编译时提供类型检查。它类似于 union，但更安全、易用。下面从基本用法、访问方式、与 std::visit 的结合、以及常见陷阱四个角度，对 std::variant 进行详细剖析。
1. 基本定义与构造
#include <variant>
#include <iostream>
#include <string>
using Var = std::variant<int, double, std::string>;
int main() {
Var v1 = 42; // int
Var v2 = 3.14; // double
Var v3 = std::string("hello"); // std::string
std::cout << std::get<int>(v1) << '\n'; // 输出 42
}- 构造：可以用任何受支持的类型直接初始化，或者使用
std::in_place_index_t/std::in_place_type_t指定构造位置。 - 默认值：如果没有显式初始化，variant 必须拥有一个默认可构造的类型。
2. 访问值
2.1 std::get
int i = std::get <int>(v1); // 取 int
double d = std::get <double>(v2);- 类型错误：若索引类型不匹配，抛出
std::bad_variant_access。
2.2 std::get_if
if (auto p = std::get_if <int>(&v1)) {
std::cout << "int: " << *p << '\n';
}- 返回指针，若不匹配则返回
nullptr，适合在需要检查类型的地方使用。
2.3 std::visit
最常用的访问方式，特别是处理多类型的联合逻辑。
auto visitor = [](auto&& arg) {
std::cout << arg << '\n';
};
std::visit(visitor, v1); // 自动根据当前活跃的类型调用对应的 lambdastd::visit可以接收多种函数对象，甚至用std::variant作为模板参数，生成类型擦除的访问器。
3. 与 std::optional 的比较
std::variant的多类型安全性优于std::optional。前者不需要额外的 bool 标记。std::optional只能表示单一类型的“空”状态，而variant可以在同一个对象中切换不同类型。
4. 常见陷阱
| 陷阱 | 说明 | 解决方案 |
|---|---|---|
索引不匹配导致 bad_variant_access |
`std::get | |
(v)访问了错误的类型 | 使用std::get_if或std::visit` 进行类型检查 |
||
| 隐式转换错误 | 例如 std::variant<int, long> 传入 int64_t 时会出现二义性 |
使用 std::in_place_type_t<>() 或显式构造 |
| 拷贝/移动语义 | std::variant 的拷贝构造会根据当前类型复制，移动会移动 |
注意在使用移动时避免无效访问 |
| 与异常的兼容性 | 在 std::visit 的 lambda 内抛异常会导致未捕获 |
在访问前确保异常安全，或使用 try-catch |
| 不支持非平凡类型 | 只有支持 CopyConstructible / MoveConstructible 的类型才能放入 |
确认类型满足约束 |
| 默认初始化为空 | variant 必须有可默认构造的类型，否则默认构造会失败 |
在定义时显式指定默认值或使用 std::in_place_index |
| 多重重载冲突 | std::visit 的 lambda 过于泛化导致二义性 |
明确使用 std::variant 访问器或 std::variant 的 operator== |
5. 实际应用场景
- 消息系统：不同类型的消息统一存放在
std::variant中，发送和处理时使用std::visit。 - 配置参数：将多种可能的配置项（int、double、string、bool）放进同一个容器，方便读取与写入。
- AST 表示：抽象语法树节点可以使用
std::variant来存放不同子节点类型，减少继承层级。 - 多态函数参数：与
std::function结合，传递多种回调类型。
6. 小结
std::variant 为 C++ 开发者提供了一种强类型、多态且安全的容器。通过合理使用 std::get, std::get_if, std::visit，可以在不牺牲性能的前提下避免传统 union 的不安全性。注意常见陷阱，尤其是类型匹配与异常安全，才能真正发挥 variant 的优势。
练习题：请实现一个函数
print_variant，它接收一个std::variant<int, double, std::string>并使用std::visit打印其值，同时在遇到整数时输出 “整数: “，浮点数输出 “浮点: “，字符串输出 “字符串: “。
提示：利用 lambda 的重载或std::variant的访问器实现。