在 C++17 标准中，std::optional 与 std::variant 被引入来解决不同的“值可能缺失”与“值类型多样性”的问题。虽然它们都提供了类型安全的包装方式，但适用场景、使用语义以及内部实现都有显著区别。下面通过对比这两者的设计目标、API、性能特征以及典型使用场景，帮助你在实际编码中做出更合适的选择。
1. 设计目标
| | std::optional
| std::variant | |—|—|—| | **目的** | 表示“可能存在也可能不存在”的单一类型值。 | 表示“只能是多种类型中的一种”的值。 | | **语义** | “存在”与“不存在”是两个互斥状态。 | “当前值”永远是某个活跃的类型，且至少有一个类型。 | | **存储** | 存储一个 `T` 或者一个空状态（通过内部 `bool` 或 `aligned_storage`）。 | 存储一个 `T` 或者多个 `T` 的联合体，再加一个索引或位域来指示当前激活的成员。 | ## 2. 基本 API 对比 “`cpp std::optional opt; opt.has_value(); // 检查是否有值 opt.value(); // 获取值，若无则抛异常 opt.value_or(default_val); // 若无值返回默认值 std::variant var; var.index(); // 当前激活成员的索引 std::get (var); // 获取特定类型的值（若类型不匹配抛异常） std::get_if (&var); // 获取指针，若不匹配返回 nullptr std::visit(visitor, var); // 访问活跃成员 “` – `std::optional` 主要关注是否存在值，且仅支持单一类型。 – `std::variant` 关注的是活跃类型及其对应值，支持多种类型的交替存储。 ## 3. 内存布局与性能 | | std::optional | std::variant | |—|—|—| | **大小** | `sizeof(T) + sizeof(bool)`（或更小的对齐优化） | `max(sizeof(T1), sizeof(T2), …) + sizeof(size_t)` | | **对齐** | 与 `T` 对齐 | 与最大对齐相同 | | **初始化成本** | 仅需构造 `T` 或 `false` | 需要构造所有成员的“空状态”或至少一个活跃成员 | | **移动/复制** | 与 `T` 相同 | 需要检查索引并调用相应成员的移动/复制构造 | `std::optional` 的内存开销更小，尤其是当 `T` 较大时；`std::variant` 的开销主要取决于最大成员的大小与活跃成员数量。 ## 4. 典型使用场景 ### 4.1 std::optional 1. **返回值可能为空** “`cpp std::optional findUserName(int userId) { if (userId == 0) return std::nullopt; return std::string(“Alice”); } “` 2. **懒加载 / 缓存** “`cpp class ExpensiveData { std::optional cache; public: const Data& get() { if (!cache) cache.emplace(compute()); return *cache; } }; “` 3. **表示缺失属性**（如数据库字段） “`cpp struct User { std::string name; std::optional age; }; “` ### 4.2 std::variant 1. **事件系统** “`cpp struct MouseEvent { int x, y; }; struct KeyEvent { char key; }; using Event = std::variant; “` 2. **多态值**（但不使用继承） “`cpp using Value = std::variant; “` 3. **解析结果** “`cpp using ParseResult = std::variant; “` ## 5. 错误处理与可读性 – `std::optional` 用 `std::nullopt` 或 `opt.has_value()` 明确表达“没有值”的情况，错误处理更直观。 – `std::variant` 通过 `std::visit` 或 `std::get ` 明确活跃类型，避免了 `if`/`else` 嵌套，代码可读性更高。 ## 6. 何时混合使用？ 有时既需要“可为空”又需要“多类型”，可以组合使用： “`cpp using MaybeInt = std::optional ; using MaybeString = std::optional; using Value = std::variant; “` 或者使用 `std::variant`，其中 `std::monostate` 表示“无值”。 ## 7. 结语 – **选 `std::optional`**：当你只关心“是否有值”，且类型固定时。 – **选 `std::variant`**：当你需要在多种可能的类型中切换，并且每种类型都有明确的意义时。 掌握这两种工具的区别与特性，将使你的 C++ 代码更加安全、可维护，并充分利用标准库提供的现代特性。