在 C++ 中，错误处理方式多样：传统的返回错误码、异常机制以及最近流行的 std::optional。本文将从设计哲学、性能考量和可读性三方面剖析为何在很多场景下使用 std::optional 能比异常更合适。
一、std::optional 的本质与使用场景
1.1 什么是 std::optional？
`std::optional
` 是一个可以存放类型 `T` 或者不存放任何值的容器。它的 API 主要包括： – `has_value()` / `operator bool()` 判断是否含值 – `value()` / `value_or()` 访问值或提供默认值 – `emplace()`/`reset()` 设置/清空值 ### 1.2 典型使用案例 – **查找函数**：如 `std::vector::find` 返回元素的迭代器，若找不到则返回 `end()`。如果改为返回 `optional `，可以更直观地表达“存在或不存在”。 – **解析配置**：解析文件或环境变量时，某些键可能不存在，返回 `optional ` 可以避免额外的错误码。 – **缓存机制**：实现 `lazy` 计算时，用 `optional` 表示“尚未计算”与“已计算且有值”。 ## 二、异常 VS std::optional：性能与可维护性 ### 2.1 性能对比 – **异常路径**：在正常执行路径上，异常几乎无成本；但异常抛出时会产生堆栈展开、对象析构、栈空间分配等开销。若错误频繁发生，性能会急剧下降。 – **optional 路径**：`optional` 在存放值时与普通对象等价；在不存值时只占用一个布尔标志。无异常展开开销，适合在性能敏感的代码中使用。 ### 2.2 可维护性 – **异常**：需要在函数签名中说明可能抛出的异常类型，使用者必须 `try-catch` 或 `noexcept`。异常往往导致函数不具备“全局不抛异常”性质，难以与 STL 等标准库无缝配合。 – **optional**：函数返回值明确表达“可能有值也可能无值”，调用者可通过 `has_value()` 做判断。错误处理逻辑在同一作用域内完成，减少跨函数异常链。 ## 三、使用 std::optional 的最佳实践 | 场景 | 推荐做法 | 说明 | |——|———-|——| | 需要返回错误码 | 用 `std::expected`（C++23）或 `std::variant` | `optional` 只适用于“成功时有值，失败时无值”。若错误携带信息，使用 `expected` 更合适。 | | 只关注是否成功 | 用 `std::optional ` | 如读取文件是否成功，仅返回内容或空。 | | 需要链式调用 | 结合 `std::optional` 与 `std::transform`、`std::visit` | 通过 `operator*` 或 `value_or` 实现链式流式 API。 | ## 四、实战：实现一个简易缓存 “`cpp #include #include #include #include class Cache { public: std::optional get(const std::string& key) { auto it = storage.find(key); if (it != storage.end()) return it->second; // 直接返回 optional return std::nullopt; // 无值 } void set(const std::string& key, const std::string& value) { storage[key] = value; } private: std::unordered_map storage; }; int main() { Cache cache; cache.set(“foo”, “bar”); if (auto val = cache.get(“foo”); val) { std::cout