在 C++17 之前，开发者常用指针、特殊值或自定义类来表示“可空”或“可能不存在”的值。随着 C++17 标准引入 std::optional，处理这种情况变得更简单、类型安全且易读。本文将介绍 std::optional 的基本用法、常见场景以及高级技巧，帮助你在项目中更好地使用它。
1. 什么是 std::optional？
`std::optional
` 是一个模板类，用来表示值可能存在也可能不存在。它内部保存一个 `T` 类型的对象以及一个布尔标记，指示是否有值。使用它可以避免裸指针、NULL 检查、特殊 sentinel 值等传统做法。 “`cpp #include #include std::optional findInArray(const int* arr, std::size_t n, int key) { for (std::size_t i = 0; i opt;` | 默认构造，表示“无值”。 | `std::optional name;` | | `opt = value;` | 赋值给 `opt`。 | `name = “Alice”;` | | `opt.emplace(args…);` | 直接在内部构造对象。 | `name.emplace(“Bob”);` | | `opt.has_value()` 或 `opt` | 判断是否有值。 | `if (name) {…}` | | `opt.value()` | 返回内部对象，如果无值抛 `std::bad_optional_access`。 | `std::cout divide(double a, double b) { if (b == 0.0) return std::nullopt; // 无值 return a / b; // 有值 } “` ### 3.2 表示缺失属性 在结构体中，如果某个字段是可选的，可以直接用 `std::optional`： “`cpp struct User { std::string name; std::optional age; // 可能没有年龄信息 }; “` ### 3.3 缓存结果 如果你需要延迟计算并缓存结果，`std::optional` 可以作为缓存标记。 “`cpp class ExpensiveCalculator { public: int compute() { if (!cached.has_value()) { cached = heavyComputation(); } return cached.value(); } private: std::optional cached; }; “` ## 4. 高级技巧 ### 4.1 与 std::variant 搭配 `std::variant` 表示“多种可能类型”，而 `std::optional` 表示“可能存在或不存在”。组合使用能表达更复杂的数据状态。 “`cpp using Result = std::variant>; std::optional process(const std::string& input) { if (input.empty()) return std::nullopt; // 空输入 if (isdigit(input[0])) { return std::vector {1,2,3}; } else { return std::string(“Processed”); } } “` ### 4.2 `std::optional` 与移动语义 `std::optional` 支持移动构造和移动赋值。使用 `std::move` 可以避免不必要的拷贝。 “`cpp std::optional getLongString() { std::string longStr = “Very long string…”; return std::move(longStr); // 移动到 optional } “` ### 4.3 `std::optional` 与异步编程 在异步调用中，你可以先返回 `std::future>`，让调用者在未来获取结果。 “`cpp std::future> asyncCompute() { return std::async(std::launch::async, []() -> std::optional { std::this_thread::sleep_for(std::chrono::seconds(1)); return 42; // 或 std::nullopt }); } “` ## 5. 性能考虑 – 对于小型类型（如整型、枚举），`std::optional ` 的大小通常是 `sizeof(T) + 1` 字节；对大对象会增加一个布尔标记，若需要，可使用 `std::optional>` 来避免拷贝。 – `std::optional` 的默认构造和赋值操作是常数时间，性能几乎可忽略。 ## 6. 小结 `std::optional` 为 C++ 提供了一种优雅且类型安全的方式来处理“可空”值。它减少了空指针错误、冗余错误码和复杂的判空逻辑，使代码更易读、易维护。掌握其基本用法和高级技巧后，你可以在项目中自然地引入 `std::optional`，提升代码质量与可靠性。 祝你编码愉快，Happy coding!