C++17 中 std::optional 的使用技巧

作者

std::optional 是 C++17 标准库新增的一个非常有用的容器，它能够表示“有值”或“无值”的状态。相比传统的指针或错误码，std::optional 的语义更清晰，代码更易读。下面从基本使用、性能优化、异常安全以及与其他 STL 容器的配合等方面，给出一套实用的技巧和示例，帮助你在实际项目中更高效地使用 std::optional。

1. 基本语法与常见操作 

#include <optional>
#include <iostream>

std::optional <int> find_in_vector(const std::vector<int>& v, int key) {
    for (int x : v) {
        if (x == key) return x;   // 自动包装成 optional
    }
    return std::nullopt;          // 表示未找到
}

int main() {
    std::vector <int> data{1, 3, 5, 7};
    auto res = find_in_vector(data, 5);
    if (res) {                    // optional 有值
        std::cout << "Found: " << *res << '\n';
    } else {
        std::cout << "Not found\n";
    }
}
  • operator bool() 判断是否有值。
  • *opt、opt.value() 访问内部值。
  • opt.value_or(default) 若无值则返回默认值。

2. 与异常安全配合
在异常安全的设计中，std::optional 可用于延迟构造或缓存结果。 

std::optional<std::string> get_config(const std::string& key) {
    try {
        // 可能抛异常的读取操作
        return read_from_file(key);
    } catch (...) {
        return std::nullopt;    // 捕获异常后返回无值
    }
}

由于 std::optional 本身是异常安全的，异常不需要额外的手动清理。

3. 性能细节

  • 按值传递：`std::optional ` 的大小为 `sizeof(T)+1`（对齐后）。如果 T 本身已小于 16 字节，使用 `std::optional` 传递比指针更快。
  • 避免拷贝：使用 std::optional<T&&> 或 std::move 传递，减少拷贝。
  • 对齐问题：对齐较高的类型（如 double）与 std::optional 结合时注意对齐。

4. 与标准容器配合

  • std::vector<std::optional>：当某些元素可能缺失时，使用 optional 可以避免使用 nullptr。
  • std::map<std::string, std::optional>：键存在但值缺失时，用 optional 表示。

5. 现代 C++ 习惯用法 

auto opt = compute();
if (!opt) return;                      // 直接返回，避免嵌套
auto value = std::move(*opt);          // 移动使用
// 后续操作

使用 std::move 或 std::forward 可避免不必要的拷贝。

6. 常见陷阱

  • 与 nullptr 混用：std::optional 与原始指针不同，不能直接与 nullptr 混用。
  • 比较错误：不要把 optional 当作普通指针使用，例如 if (opt == nullptr) 是错误的。
  • 默认构造：`std::optional opt;` 表示无值，需显式赋值或 `opt.emplace(…)`。

7. 进阶：std::expected（C++23）
虽然 std::expected 尚未成为 C++17 标准的一部分，但它与 std::optional 的配合非常紧密。std::expected<T, E> 可以表示成功返回 T 或错误 E。与 std::optional 的区别在于：optional 只关心“有值/无值”，而 expected 更精细地描述错误。

结语
std::optional 在 C++17 之后的项目中已成为不可或缺的工具，它使得“可能无值”的语义更加明确，代码更简洁。掌握上述技巧后，你可以在实际项目中更自信地使用 optional，写出更安全、更易维护的 C++ 代码。

发表评论