在现代 C++（C++17 及以后）中，std::optional 为函数提供了一种优雅的方式来表达“可能没有值”的情况，而不是使用裸指针或错误码。它既保持了类型安全，又大大提升了代码的可读性和可维护性。下面通过一个完整的示例，演示如何在实际项目中使用 std::optional。
1. 基本概念回顾
`std::optional
` 是一个模板类，它可以存储一个 `T` 类型的值，也可以表示“没有值”。典型用法： “`cpp std::optional maybeNumber; if (maybeNumber) { std::cout #include #include std::optional parseInt(const std::string& s) { if (s.empty()) return std::nullopt; size_t pos = 0; bool negative = false; if (s[0] == ‘-‘) { negative = true; pos = 1; } else if (s[0] == ‘+’) { pos = 1; } if (pos == s.size()) return std::nullopt; // 仅符号，没有数字 int result = 0; for (; pos int main() { std::string inputs[] = {“123”, “-456”, “abc”, “+”, “78×9”}; for (const auto& str : inputs) { auto opt = parseInt(str); if (opt) { std::cout using Result = std::variant; Result readConfig(const std::string& key) { if (key == “timeout”) { return 30; } else if (key == “mode”) { return std::string(“auto”); } else { return std::nullopt; // 未知键 } } “` ##### 4.2 与异步编程 在 `std::future` 或 `std::async` 的结果上使用 `std::optional` 可以进一步表达“异步操作可能失败”的语义： “`cpp std::future> asyncCompute() { return std::async([]{ // 某些计算，可能返回无值 if (someCondition) return std::optional {42}; return std::optional {}; }); } “` — #### 5. 性能注意 – `std::optional ` 的大小等于 `sizeof(T) + 1`（对齐填充后），不影响大多数类型。 – 访问 `std::optional` 时有一次分支判断，现代编译器通常可内联优化，性能影响极小。 – 对于 POD 类型（如 `int`, `double`）最好使用 `std::optional`；对于大型对象，使用 `std::optional>` 或 `std::optional>` 更合适，避免拷贝成本。 — #### 6. 结语 `std::optional` 为 C++ 提供了一种简单、类型安全且可读性极高的错误处理机制。相比传统的错误码、裸指针或自定义状态类，它避免了指针悬空、错误码易被忽略等问题。只要把它放在合适的位置，即可让代码更加健壮、可维护。祝你编码愉快 🚀