在 C++17 标准中，std::optional 为我们提供了一种类型安全的方式来表示“可能存在也可能不存在”的值。相比传统的指针或特殊 sentinel 值，std::optional 能让代码更直观、错误更少。本文从概念入手，结合实际使用场景，讲解如何高效、优雅地使用 std::optional，并分析常见误区和最佳实践。
1. 什么是 std::optional？
`std::optional
` 是一个模板包装器，表示要么保存一个 `T` 类型的值，要么为空。它的状态由 `has_value()` 成员函数决定。简言之，它等价于 `T*` 与 `T` 的混合：拥有指针所带来的“空值”检查，又不需要手动管理内存。 “`cpp std::optional maybe = 42; // 有值 std::optional none; // 空 “` ## 2. 创建与赋值 ### 2.1 直接构造 “`cpp std::optional opt1{“hello”}; std::optional opt2{std::nullopt}; // 明确表示空 “` ### 2.2 赋值 “`cpp opt1 = “world”; opt2 = 100; // 自动从 int 转成 optional opt2.reset(); // 置为空 “` ## 3. 访问值 ### 3.1 `value()` 如果必定有值，使用 `value()`。否则会抛出 `std::bad_optional_access`。 “`cpp try { std::cout ` “`cpp if (opt1) { std::cout doSomething(); } “` ### 3.3 `value_or` 返回值或默认值，避免异常。 “`cpp int x = opt2.value_or(-1); // opt2 为空时返回 -1 “` ## 4. 与容器结合 `std::optional` 常与标准容器一起使用，尤其是 `std::vector`、`std::map`。 “`cpp std::map> mp; mp[“age”] = 30; // 赋值 mp[“height”] = std::nullopt; // 空值 if (auto it = mp.find(“weight”); it != mp.end() && it->second) { std::cout second findIndex(const std::vector& vec, int target) { auto it = std::find(vec.begin(), vec.end(), target); if (it == vec.end()) return std::nullopt; return static_cast (std::distance(vec.begin(), it)); } “` 调用方： “`cpp if (auto idx = findIndex(nums, 42)) { std::cout ` 的大小通常等于 `sizeof(T)`，再加上一个位来记录是否有值（对齐后实现）。 – **移动构造**：只在有值时才调用 `T` 的移动构造，避免无用拷贝。 – **无效值**：`std::nullopt` 是一个无状态的常量，开销极小。 > **注意**：不要把 `std::optional` 放进需要严格 POD 约束的地方（如某些内存池或二进制协议），因为它不满足 POD。 ## 7. 常见误区 1. **把 `std::nullopt` 用作指针空值** `std::optional` 本身不是指针；不应在需要指针的 API 中直接传递 `std::nullopt`。如果需要指针与 optional 混合，最好把 optional 包装成指针再传递。 2. **频繁拷贝导致性能问题** 对大型对象使用 `std::optional ` 时，避免在函数间拷贝。使用 `std::optional>` 或 `std::optional`（在 C++23 中出现）可缓解。 3. **忽略默认值** `value_or` 提供了安全默认值；不使用会让代码变得冗长且易错。 ## 8. 进阶技巧 ### 8.1 `std::make_optional` C++20 引入了 `std::make_optional`，可避免临时对象的两次拷贝。 “`cpp auto opt = std::make_optional>(10, 0); “` ### 8.2 与 `std::variant` 组合 有时需要三种状态：无值、正常值、错误码。`std::variant` 与 `std::optional` 组合即可实现。 “`cpp using Result = std::variant; “` ### 8.3 `std::optional` 与 `std::filesystem::path` 文件系统 API 常返回 `std::optional`，表示文件是否存在。 “`cpp auto path = std::filesystem::canonical(“somefile.txt”); if (path) { std::cout