**C++ 中的 std::optional 与错误处理**

作者

在 C++17 引入的 std::optional 为函数返回值提供了一种优雅的错误处理方式。传统上，开发者常用错误码、异常或输出参数来指示函数执行是否成功。std::optional 让“成功”与“失败”之间的边界更加清晰，也大大提升了代码的可读性和安全性。

1. std::optional 的基本使用

#include <optional>
#include <string>
#include <iostream>

std::optional <int> parseInt(const std::string& str) {
    try {
        size_t idx;
        int val = std::stoi(str, &idx);
        if (idx != str.size()) return {};          // 部分解析，视为失败
        return val;
    } catch (const std::exception&) {
        return {};                                 // 抛异常时返回空
    }
}

int main() {
    std::string input = "123";
    if (auto opt = parseInt(input)) {
        std::cout << "Parsed value: " << *opt << '\n';
    } else {
        std::cout << "Failed to parse integer.\n";
    }
}
  • `std::optional ` 表示可能包含 `int` 或者为空（`std::nullopt`）。
  • *opt 解引用，获取内部值；opt.has_value() 或者 if (opt) 判断是否有效。

2. 与异常的比较

方式 优点 缺点
异常 简洁、可抛出任意类型 运行时开销、可能导致性能下降、异常安全要求更高
std::optional 无运行时开销、显式错误表示 需要每次检查返回值、对性能敏感的地方不适用

在高性能或嵌入式系统，异常往往被禁用或使用成本太高，此时 std::optional 是更合适的选择。

3. 组合使用 std::optional 与错误码

有时需要返回错误码与错误信息，std::optional 与 std::variant 或自定义结构结合使用可以保持类型安全：

enum class Error { None, InvalidFormat, Overflow };

struct ParseResult {
    std::optional <int> value;
    Error error = Error::None;
};

ParseResult parseIntWithError(const std::string& str) {
    try {
        size_t idx;
        int val = std::stoi(str, &idx);
        if (idx != str.size()) return {std::nullopt, Error::InvalidFormat};
        return {val, Error::None};
    } catch (const std::out_of_range&) {
        return {std::nullopt, Error::Overflow};
    } catch (const std::exception&) {
        return {std::nullopt, Error::InvalidFormat};
    }
}

这样调用者既能获得解析值，又能得到具体错误类型。

4. std::optional 在容器中的应用

在搜索、查找等操作中，std::optional 可替代返回 nullptr 或者特殊值：

std::optional <int> findInArray(const std::vector<int>& arr, int target) {
    for (size_t i = 0; i < arr.size(); ++i) {
        if (arr[i] == target) return static_cast <int>(i);
    }
    return {};    // 未找到
}

与 `std::vector

::find` 的返回值相比，`std::optional` 明确表示“找不到”。 — ### 5. 与 C++20 的 `std::expected` 兼容 C++23 引入了 `std::expected`，它把成功值与错误值分离，类似于 Rust 的 `Result`： “`cpp #include std::expected parseIntExp(const std::string& str) { try { return std::stoi(str); } catch (const std::exception& e) { return std::unexpected(e.what()); } } “` `std::optional` 只关注成功值，而 `std::expected` 更完整地表达了错误信息。 — ### 6. 小结 – `std::optional` 适用于“可能不存在”的值，强调可选性。 – 它在不使用异常、无需错误码时，是一种高效、可读的错误处理手段。 – 与 `std::expected` 结合使用，可进一步提升错误信息的完整性。 – 在容器操作、函数返回值、配置解析等场景中，`std::optional` 能显著简化代码。 通过合理运用 `std::optional`，你可以让 C++ 程序既安全又高效，同时保持代码的简洁与可维护性。

发表评论