在 C++17 中，std::optional 与 std::variant 为我们提供了更安全、更灵活的方式来处理“可能为空”与“多态值”这两类常见需求。本文从实际编程角度出发，梳理这两个类型的基本使用方式、性能注意点以及在不同场景下的最佳实践。
1. std::optional 复习
1.1 基本语义
`std::optional
` 表示一个可选值，要么持有一个类型为 `T` 的对象，要么为空。与指针不同，它是一种值类型，天然拥有对象生命周期的语义。 “`cpp std::optional maybe = 5; // 持有值 if (maybe) { std::cout ` | | 配置项可缺失 | `std::map` 检查 | `std::optional` | | 事件回调是否已注册 | `bool registered` | `std::optional ` | ### 1.3 性能注意 – **移动语义**：`optional` 在移动时仅移动内部对象，开销与对象本身相当。若 `T` 较大或不移动，可使用 `optional>`。 – **构造/析构**：默认构造会生成空状态，无需调用 `T` 的构造函数。只有 `has_value()` 为真时才会调用 `T` 的构造与析构。 – **对齐/填充**：在某些编译器中，`optional ` 的大小为 `sizeof(T)+sizeof(bool)`，但在 64 位机器上通常会被对齐到 `sizeof(T)+1`，与 `std::variant` 的开销相近。 ### 1.4 最佳实践 1. **避免 `optional` 作为类成员**：如果类的生命周期非常长，建议使用指针或引用，防止频繁的拷贝/移动。 2. **使用 `emplace`**：在已有对象上原位构造，避免临时对象。 3. **与 `std::vector` 搭配**：`std::vector>` 可以在不占用空间的情况下保持容器大小，但要注意 `has_value()` 的检查成本。 ## 2. `std::variant` 复习 ### 2.1 基本语义 `std::variant` 表示一个值只能是列举的类型之一，内部实现类似于联合体但具有类型安全。它比 `std::any` 更安全、性能更好。 “`cpp std::variant data = 42; std::visit([](auto&& arg){ std::cout ` – **树形结构**：叶子节点为 `int` 或 `std::string`，内部节点为 `std::vector>`。 ### 2.3 性能注意 – **存储大小**：`variant` 的大小等于最大子类型加上对齐填充。 – **访问成本**：`std::get (v)` 需要检查索引，成本常数级。 – **复制/移动**：每个子类型都需要满足拷贝/移动构造。若子类型较大，使用 `std::variant, std::shared_ptr>` 可降低开销。 ### 2.4 最佳实践 1. **使用 `monostate` 作为“空”值**：`std::variant` 替代 `optional`。 2. **尽量避免 `std::visit` 的捕获**：捕获会产生隐式拷贝，若 lambda 大，可能导致性能下降。 3. **与 `std::expected` 组合**：C++23 提出的 `std::expected` 可以将错误类型也放入 `variant`。 ## 3. `optional` 与 `variant` 的组合使用 ### 3.1 组合模式示例 “`cpp using Result = std::variant; std::optional do_work(); “` 此模式可表示：函数可能未完成（`optional` 为空）、已完成并返回成功值或异常信息。 ### 3.2 典型错误处理 “`cpp auto res_opt = do_work(); if (!res_opt) { std::cout