在 C++17 标准中，STL 为我们提供了两种非常强大的工具来处理“可选”值和“多种类型”值：std::optional 和 std::variant。它们都属于“类型安全”方案，但适用场景、语义以及实现细节各不相同。下面我们逐一分析它们的定义、典型用例、性能特点以及与其他语言特性（如 boost::optional、std::any）的关系，帮助你在实际项目中做出更合适的选择。
1. 语义对比
| | std::optional
| std::variant | |—|—|—| | 目的 | 表示“可能存在也可能不存在”的单一类型 | 表示“值可以是 T1、T2、… 或 TN 中的任意一种” | | 内部状态 | `has_value` 标志 | `index` 表示当前类型 | | 可读性 | `value_or`、`has_value()` | `std::get `、`std::get_if`、`std::visit` | | 默认值 | 需要显式给出 | 通过 `std::variant` 的第一个类型可作为默认值 | > **简言之**：`optional` 用于“缺失值”概念；`variant` 用于“多态值”概念。 — ### 2. 典型使用场景 #### 2.1 std::optional | 场景 | 说明 | |—|—| | 查询结果 | 例如数据库查询返回 `std::optional `，若不存在则返回空值。 | | 错误处理 | 取代返回 `nullptr` 或特殊错误码。 | | 配置选项 | 选项可以是默认值、用户指定值或“未设置”。 | | 递归算法 | 递归返回可选值，例如“查找子树中是否存在某节点”。 | #### 2.2 std::variant | 场景 | 说明 | |—|—| | 命令模式 | 一条消息可以是 `MoveCommand`、`AttackCommand`、`ChatCommand` 等。 | | 解析器 | 同一字段可能是 `int`、`double`、`std::string`。 | | 消息总线 | 事件可以是 `EventA`、`EventB`、`EventC`。 | | 结构体包装 | 对不同子类型使用统一接口，例如 `Shape = std::variant`。 | — ### 3. 关键 API 对比 | 功能 | std::optional | std::variant | |—|—|—| | 默认构造 | `std::nullopt` | `std::variant` 需要默认可构造类型 | | 访问 | `value()` / `operator*()` / `operator->()` | `std::get ()` / `std::get_if()` | | 访问前检查 | `has_value()` | `index()` 或 `std::holds_alternative ()` | | 访问异常 | `std::bad_optional_access` | `std::bad_variant_access` | | 访问者 | 无（直接访问） | `std::visit(visitor, variant)` | | 复制 / 移动 | 与 `T` 相同 | 与 `T…` 相同 | | 空值标记 | 1 bit | `index()` 表示无值为 0 | — ### 4. 性能与实现细节 1. **内存占用** – `optional ` 通常占用 `sizeof(T) + 1`（或对齐填充）以存储 `T` 和缺失标记。 – `variant` 需要为最大子类型 `max(sizeof(Ti))` 加上 `index` 的大小。若所有子类型尺寸相近，内存使用可忽略不计。 2. **构造/析构成本** – `optional ` 需要在构造/析构时显式调用 `T` 的构造/析构。 – `variant` 只需调用当前类型的构造/析构。 3. **访问成本** – `optional ::value()` 是 O(1) 直接返回引用。 – `variant` 的 `std::visit` 需要根据索引调用访问者，O(1) 但会有一次分支。 4. **可变性** – `optional ` 的值可以在任意时间更改为有效/无效。 – `variant` 的值可以在任意时间更改为任意子类型。 — ### 5. 与 `boost::optional` / `std::any` 的关系 | | `std::optional` | `boost::optional` | `std::any` | |—|—|—|—| | 标准化 | C++17 | 早期实现 | C++17 | | 功能 | 单一可选类型 | 同 | 任意类型的“容器” | | 性能 | 轻量级 | 近似相同 | 需要类型擦除，成本更高 | | 使用 | 更安全、可读 | 同 | 用于类型不确定或动态类型系统 | `std::any` 与 `variant` 的区别在于：`any` 允许 **任何类型**，但在运行时才知道，导致需要类型擦除；`variant` 只能是预先声明的一组类型，编译期就已确定，访问更安全、更高效。 — ### 6. 编写代码的最佳实践 #### 6.1 使用 `std::optional` – **避免使用裸指针**：当你想表达“可能没有值”时，直接返回 `std::optional `。 – **使用 `value_or`**：在需要默认值时，`auto x = opt.value_or(default_value);` 语义明确。 – **与异常配合**：当异常处理很复杂时，使用 `optional` 作为“软失败”返回值，减少异常开销。 #### 6.2 使用 `std::variant` – **用 `std::visit`**：不要显式地判断索引，直接写一个访问者对象。 – **保持类型顺序**：如果你打算频繁访问第一个或第二个类型，尽量把常用类型排在前面。 – **组合 `optional` 与 `variant`**：`std::optional>` 用来表示“可能不存在”，或者 `std::variant, B>` 用来表示“A 可以为空，而 B 必须存在”。 — ### 7. 代码示例 “`cpp #include #include #include #include struct Move { int dx, dy; }; struct Attack { int damage; }; struct Chat { std::string msg; }; using Command = std::variant; // 1. optional 示例 std::optional findInVector(const std::vector& v, int target) { for (int x : v) if (x == target) return x; return std::nullopt; // 表示未找到 } int main() { // optional std::optional pos = findInVector({1, 3, 5, 7}, 3); if (pos) std::cout ; if constexpr (std::is_same_v) std::cout ) std::cout ) std::cout `** 适合表示“可能没有值”的场景，语义简单、易于使用。 – **`std::variant`** 适合表示“值可以是多种类型之一”的场景，配合 `std::visit` 可以写出可维护的访问者模式。 – 在设计接口时，先思考**缺失**还是**多态**，再决定使用哪个工具。 – 在需要两种语义的情况下，可以组合使用，例如 `std::optional>` 或 `std::variant,B>`。 掌握好这两者，你将能够用更安全、更高效的方式处理 C++ 中常见的“缺失值”和“多态值”问题。