如何在 C++17 中使用 std::optional 实现安全返回值？

2026-01-14 作者 stdcpp

在传统的 C++ 编程中，当函数需要返回一个可能不存在的值时，常见做法是使用指针或错误码来标识无效结果，例如返回 nullptr 或一个特殊的错误标记。这种方式往往容易导致空指针解引用或错误码被忽视，降低代码可读性和安全性。C++17 标准库引入了 std::optional<T>，它是一种容器，用来表示一个可能存在也可能不存在的 T 类型值。下面通过示例代码来展示如何使用 std::optional 进行安全返回值的处理。

1. 基础使用

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

std::optional <int> findIndex(const std::vector<std::string>& vec, const std::string& target) {
    for (size_t i = 0; i < vec.size(); ++i) {
        if (vec[i] == target) {
            return static_cast <int>(i);      // 找到返回索引
        }
    }
    return std::nullopt;                    // 未找到返回空值
}

int main() {
    std::vector<std::string> words = {"apple", "banana", "cherry"};
    auto idx = findIndex(words, "banana");

    if (idx) {                               // idx 有值
        std::cout << "Found at position: " << *idx << '\n';
    } else {
        std::cout << "Not found\n";
    }
}

2. `std::optional` 的优势

类型安全：返回值类型为 `std::optional `，编译器会强制检查使用者是否处理了无值情况。
可读性强：相比 nullptr 或错误码，std::optional 的语义更加直观。
避免悬空指针：不再需要手动管理指针生命周期，减少内存泄漏和悬空指针风险。
易于链式调用：可以与 std::map、std::unordered_map 等容器结合使用，直接返回 optional。

3. 常用操作

操作	说明	示例
`has_value()` / `operator bool()`	判断是否有值	`if (opt) {}`
`value()`	获取值，若无值抛出 `std::bad_optional_access`	`int v = opt.value();`
`value_or(default)`	获取值，若无值返回默认	`int v = opt.value_or(-1);`
`operator*` / `operator->`	直接解引用	`int v = *opt;`
`reset()`	置为空	`opt.reset();`

4. 与异常协同使用

在需要抛异常的场景下，也可以通过 std::optional 先做检查，再决定是否抛异常。

std::optional <int> getElement(const std::vector<int>& arr, size_t idx) {
    if (idx < arr.size()) return arr[idx];
    return std::nullopt;
}

int main() {
    std::vector <int> data = {10, 20, 30};
    auto val = getElement(data, 5);
    if (!val) throw std::out_of_range("Index out of range");
    std::cout << "Element: " << *val << '\n';
}

5. 进阶：自定义 `optional` 失效原因

如果你想在无值时携带错误信息，可以自定义一个结构体包装 std::optional。

struct Result {
    std::optional <int> value;
    std::string error; // 空表示无错误

    static Result success(int v) { return {v, ""}; }
    static Result failure(const std::string& msg) { return {std::nullopt, msg}; }
};

Result divide(int a, int b) {
    if (b == 0) return Result::failure("Division by zero");
    return Result::success(a / b);
}

6. 小结

std::optional 为 C++17 提供了安全、可读的返回值方案。
通过 has_value() 或 if (opt) 可直观判断是否成功。
与标准容器、异常处理等结合，可进一步提升代码质量。

建议在所有需要可选返回值的函数中优先使用 std::optional，它既能降低出错概率，又能让代码更易于维护。

发表评论取消回复