在 C++17 里，std::variant 提供了一种类型安全的“多态”容器，类似于联合体但更为安全和灵活。它允许在一个对象中存放多种类型中的任意一种，并在运行时能够安全地访问当前持有的值。下面我们从概念、语法、常见用法以及注意事项四个方面，系统性地介绍 std::variant 的使用与实践。
1. 基本概念
- 类型安全：
std::variant在编译期知道它可以容纳哪些类型，运行时也能通过 `std::holds_alternative (v)` 判断是否持有某个类型。 - 值语义：与普通对象一样，
std::variant支持拷贝、移动、赋值，甚至可以作为函数返回值。 - 可变性：默认情况下
std::variant只允许在其类型列表里出现一次（即不允许重复类型），但可以通过std::variant<int, int>来实现类似重载。
2. 基本语法与常用函数
2.1 声明
std::variant<int, double, std::string> v; // 可以是 int、double 或 string2.2 赋值与初始化
v = 42; // 赋值 int
v = 3.14; // 赋值 double
v = std::string("hello"); // 赋值 string2.3 访问当前值
-
**std::get
**：强制访问，如果当前类型不匹配则抛 `std::bad_variant_access`。 “`cpp int i = std::get (v); “` -
**std::get_if
**：返回指针，若类型不匹配则返回 `nullptr`。 “`cpp if (auto p = std::get_if (&v)) { std::cout -
std::visit：类似多态调用，接受一个可调用对象（函数对象、lambda、函数指针）来处理所有可能的类型。
std::visit([](auto&& arg){ std::cout << arg << '\n'; }, v);
3. 典型使用场景
3.1 表示错误或成功结果
using Result = std::variant<std::string, int>; // 0~255 表示错误码，其他为数据
Result readFile(const std::string& path) {
if (std::filesystem::exists(path))
return 200; // 200 代表成功
else
return "File not found";
}3.2 事件系统
struct ClickEvent { int x, y; };
struct KeyEvent { char key; };
using Event = std::variant<ClickEvent, KeyEvent>;
void handle(Event ev) {
std::visit([](auto&& e){
using T = std::decay_t<decltype(e)>;
if constexpr (std::is_same_v<T, ClickEvent>) {
std::cout << "Click at (" << e.x << "," << e.y << ")\n";
} else if constexpr (std::is_same_v<T, KeyEvent>) {
std::cout << "Key pressed: " << e.key << '\n';
}
}, ev);
}3.3 解析 JSON（简化版）
struct JsonNumber { double value; };
struct JsonString { std::string value; };
struct JsonArray { std::vector <JsonNode> items; };
struct JsonObject { std::unordered_map<std::string, JsonNode> members; };
using JsonNode = std::variant<JsonNumber, JsonString, JsonArray, JsonObject>;4. 细节与注意事项
4.1 类型顺序与匹配
std::variant 的内部实现使用索引来区分类型，索引是按模板参数列表顺序分配的。若你需要自定义比较或哈希，记得使用 std::get <I>(v) 方式访问。
4.2 空值（空态）—— std::monostate
如果你想让 std::variant 能表示“无值”状态，可以在类型列表里加入 std::monostate：
std::variant<std::monostate, int> opt;
opt = std::monostate{}; // 空状态4.3 复制与移动成本
std::variant 的复制与移动成本等价于其所容纳类型中最“重”的那个。若其中的类型比较大，建议使用指针或 std::shared_ptr 等间接方式包装。
4.4 访问错误
- std::get 直接访问错误类型会抛异常，捕获异常会产生额外开销。
- std::get_if 更安全，推荐在需要检查类型时使用。
4.5 结合 std::optional 或 std::variant
std::optional<std::variant<...>>：用于“可能不存在”且“值可能是多种类型”的场景。std::variant<std::monostate, ...>：同理，但更简洁。
4.6 与 std::any 的区别
std::any允许任何类型，运行时才知道类型，访问时需要std::any_cast并且不安全。std::variant必须在编译期声明所有可能类型，访问时类型安全且无额外检查成本。
5. 性能与最佳实践
| 场景 | 推荐方式 | 说明 |
|---|---|---|
| 多态接口 | std::variant + std::visit |
可读性好，类型安全 |
| 简单命令/参数 | std::variant |
轻量，避免 std::any 的不安全 |
| 大对象 | 指针包装或 std::shared_ptr |
避免复制大对象 |
| 空值 | std::monostate |
与 std::optional 效率相近 |
| 递归结构 | 先前声明 struct JsonNode; 后再定义 std::variant |
解决递归类型定义 |
6. 小结
std::variant 让 C++ 在不牺牲类型安全的前提下，提供了类似联合体的多态容器。它在实现类型擦除、事件系统、错误处理等场景中尤为有用。只需掌握其基本语法和访问方式，即可在代码中高效、优雅地处理多种可能值。通过合理的设计，std::variant 能帮助你写出既安全又易读的现代 C++ 代码。