在 C++17 之前，函数返回错误状态往往需要使用错误码、异常或者指针/引用返回值等多种手段，导致代码复杂且可读性差。C++17 引入了 std::optional，它提供了一种优雅且类型安全的方式来表示可能缺失的值，从而在错误处理上带来显著改进。
1. 何为 std::optional
`std::optional
` 是一个可选值容器，它可以包含一个 `T` 类型的对象，也可以为空。使用 `optional` 的基本模式是： “`cpp std::optional find(int key) { if (key == 42) return 100; else return std::nullopt; // 表示不存在 } “` 调用者可以通过 `has_value()` 或者 `operator bool()` 判断是否存在值，并使用 `value()` 或 `operator*` 访问实际数据。 ## 2. 与错误码的比较 传统错误码方案： “`cpp int find(int key, int &out) { if (key == 42) { out = 100; return 0; } else return -1; } “` 这需要额外的返回参数，调用者往往忘记检查返回值，导致潜在错误。`optional` 的优点是： – **显式性**：函数返回值本身即表明可能失败。 – **类型安全**：避免了隐式类型转换导致的错误。 – **可读性**：调用者可以直接使用 `if (auto res = find(key)) { /* use *res */ }`。 ## 3. 与异常的比较 异常提供了强大的错误传播机制，但在性能敏感或不愿意使用异常的环境下，`optional` 依旧是更轻量的选择。示例： “`cpp std::optional readFile(const std::string &path) { std::ifstream f(path); if (!f) return std::nullopt; std::ostringstream ss; ss ` 复制时会复制内部 `T`。若 `T` 大而不可移动，复制成本高。 – **可空对象**：某些对象本身可为空（如 `std::string`），`optional` 在此时不必要。 “`cpp std::vector> numbers = {1, std::nullopt, 3}; for (auto &opt : numbers) { if (opt) std::cout `，它是 `optional` 与错误码/异常的融合，返回值可以是成功的 `T` 或失败的错误 `E`。相比 `optional`，它能更精准地表达错误信息。 ## 6. 实践示例：查询数据库 假设我们有一个简化的数据库查询函数，返回用户的年龄： “`cpp std::optional getUserAge(const std::string &username) { // 伪数据库 static std::unordered_map db{ {“alice”, 28}, {“bob”, 35} }; auto it = db.find(username); if (it != db.end()) return it->second; return std::nullopt; } “` 调用者： “`cpp if (auto age_opt = getUserAge(“carol”)) { std::cout >` 或指针。 通过正确使用 `std::optional`，C++ 开发者可以编写更安全、可读、可维护的错误处理代码。