**C++17 中 std::optional 的高级用法**

作者

std::optional 是 C++17 标准库中一个非常实用的工具，用来表示可能存在也可能不存在的值。它可以帮助我们避免空指针、返回值错误等问题。下面将从实例、特性、性能以及与其他库的结合等方面，对 std::optional 的高级用法进行深入探讨。

1. 基础回顾

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

std::optional <int> parseInt(const std::string& s) {
    try {
        return std::stoi(s);
    } catch (...) {
        return std::nullopt;   // 解析失败返回空
    }
}

std::optional 通过 operator bool() 判断是否有值，访问值则使用 * 或 value()。若无值访问将抛出 std::bad_optional_access。

2. 组合使用

2.1 与 std::variant 的配合

using Result = std::variant<std::string, std::vector<int>>;

std::optional <Result> fetchData() {
    if (/*网络错误*/) return std::nullopt;
    if (/*返回字符串*/) return std::string("hello");
    return std::vector <int>{1, 2, 3};
}

void process() {
    auto res = fetchData();
    if (!res) return;          // 处理无数据情况

    std::visit([](auto&& val) {
        using T = std::decay_t<decltype(val)>;
        if constexpr (std::is_same_v<T, std::string>)
            std::cout << "文本: " << val << '\n';
        else
            std::cout << "数组: " << val.size() << '\n';
    }, *res);
}

2.2 与 std::future 的结合

#include <future>

std::future<std::optional<int>> asyncCalc() {
    return std::async([]{
        try { return std::optional <int>{42}; }
        catch (...) { return std::optional <int>{std::nullopt}; }
    });
}

异步结果若失败可直接返回空，调用方可统一处理。

3. 性能考量

  • 内存占用：`std::optional ` 的大小是 `sizeof(T) + sizeof(bool)`，对 POD 类型影响小。对大对象建议使用 `std::optional>` 或 `std::optional>`。
  • 移动语义：std::optional 支持移动构造和移动赋值，移动空对象时不产生额外开销。
  • 缓存失效：在循环中频繁创建 std::optional 可能导致缓存失效，可考虑使用局部静态或对象池。

4. 与容器的高级用法

4.1 std::optional 作为容器元素

std::vector<std::optional<int>> vec = {1, std::nullopt, 3, 4};
auto sum = std::accumulate(vec.begin(), vec.end(), 0,
                           [](int acc, const std::optional <int>& opt){
                               return acc + (opt ? *opt : 0);
                           });

4.2 std::optional 作为返回值的容器

std::vector<std::optional<std::string>> getNames(bool includeHidden) {
    std::vector<std::optional<std::string>> result;
    // 只返回符合条件的名字
    for (const auto& name : allNames) {
        if (name.starts_with('_') && !includeHidden) continue;
        result.emplace_back(name);
    }
    return result;
}

5. 结合第三方库

5.1 nlohmann::json

#include <nlohmann/json.hpp>

std::optional <int> getInt(const nlohmann::json& j, const std::string& key) {
    if (!j.contains(key) || !j[key].is_number_integer()) return std::nullopt;
    return j[key].get <int>();
}

5.2 Boost.HOF

Boost.HOF 中的 if_、switch_ 等宏可以配合 std::optional 写出更简洁的模式匹配代码。

#include <boost/hof.hpp>

auto opt = getInt(j, "age");
boost::hof::if_(opt, [](int v){ std::cout << "Age: " << v; },
                [](){ std::cout << "No age provided"; });

6. 常见陷阱与解决方案

  1. 忘记使用 std::nullopt 

    std::optional <int> opt;          // 未初始化，内部为空

    在需要空值时，显式使用 std::nullopt 更易读。

  2. 拷贝大对象导致性能下降 

    std::optional<std::string> opt = std::string(1'000'000, 'a');

    使用 std::make_optional(std::move(str)) 或 std::optional<std::unique_ptr<T>>。

  3. 异常安全
    std::optional 的构造函数抛异常时会保持空状态，调用者无需担心资源泄漏。

7. 小结

  • std::optional 以类型安全的方式表示“可能无值”，消除空指针的危险。
  • 与 std::variant、std::future、第三方 JSON 库等配合，可构建更加健壮的接口。
  • 在性能敏感场景下，注意对象大小与移动语义，必要时使用指针包装或引用包装。
  • 结合 Boost.HOF 或现代 C++ 20 的 std::expected（在 C++23 标准中成为正式一部分），可以进一步提升错误处理的表达力。

通过掌握这些高级用法，开发者可以在项目中更自如地处理可选数据，从而写出更安全、更易维护的 C++ 代码。

发表评论