在现代 C++（C++17 及以后）中，std::optional 为函数提供了一种优雅的方式来表达“可能没有值”的情况，而不是使用裸指针或错误码。它既保持了类型安全，又大大提升了代码的可读性和可维护性。下面通过一个完整的示例，演示如何在实际项目中使用 std::optional。
1. 基本概念回顾
`std::optional
` 是一个模板类，它可以存储一个 `T` 类型的值，也可以表示“没有值”。典型用法： “`cpp std::optional maybeNumber; if (maybeNumber) { std::cout << *maybeNumber << '\n'; } “` `operator bool()` 判断是否存在值，`operator*` 或 `.value()` 访问内部值。若没有值而访问会抛出 `std::bad_optional_access`。 — #### 2. 设计一个可选返回值的函数 假设我们需要实现一个从字符串中解析整数的函数。如果字符串不符合整数格式，函数应该返回“无值”。 “`cpp #include #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 < s.size(); ++pos) { char c = s[pos]; if (!std::isdigit(c)) return std::nullopt; result = result * 10 + (c – '0'); } return negative ? -result : result; } “` 此函数仅在所有字符均为合法数字时才返回 `int`，否则返回 `std::nullopt`。 — #### 3. 调用示例 “`cpp #include int main() { std::string inputs[] = {“123”, “-456”, “abc”, “+”, “78×9”}; for (const auto& str : inputs) { auto opt = parseInt(str); if (opt) { std::cout << "Parsed \"" << str << "\" as " << *opt << '\n'; } else { std::cout << "Failed to parse \"" << str << "\"\n"; } } return 0; } “` 输出： “` Parsed "123" as 123 Parsed "-456" as -456 Failed to parse "abc" Failed to parse "+" Failed to parse "78×9" “` — #### 4. 更高级的使用场景 ##### 4.1 与异常共存 如果函数同时需要处理异常和错误码，可以将 `std::optional` 与 `std::variant` 组合使用： “`cpp #include 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<std::optional> 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::unique_ptr>` 或 `std::optional<std::shared_ptr>` 更合适，避免拷贝成本。 — #### 6. 结语 `std::optional` 为 C++ 提供了一种简单、类型安全且可读性极高的错误处理机制。相比传统的错误码、裸指针或自定义状态类，它避免了指针悬空、错误码易被忽略等问题。只要把它放在合适的位置，即可让代码更加健壮、可维护。祝你编码愉快 🚀</std::shared_ptr</std::unique_ptr</std::optional