在C++17中，标准库新增了std::optional，它是一个可以保存值或不保存值的类型。它为我们提供了一种更安全、更易读的方式来表示“可能为空”的数据，而不是使用裸指针或魔法值。本文将介绍std::optional的基本用法、常见问题及最佳实践，并通过实际代码演示如何在项目中合理使用。
1. std::optional的核心概念
std::optional
是一个模板类，用来包装一个可能不存在的 T 对象。它的核心行为类似于： – `has_value()`：判断是否存有值。 – `operator*()` / `value()`：获取内部的 T 对象。 – `operator bool()`：与 `has_value()` 等价。 – `value_or(default)`：若无值则返回默认值。 ### 示例 “`cpp #include #include #include std::optional findUserNameById(int id) { if (id == 42) { return “Alice”; } else { return std::nullopt; // 或者直接返回 {} } } int main() { auto name = findUserNameById(42); if (name) { std::cout opt1{10}; // 有值 std::optional opt2; // 无值 std::optional opt3 = std::nullopt; // 等价于 opt2 “` ### 3.2 赋值与交换 “`cpp opt1 = 20; // 替换已有值 opt1 = std::nullopt; // 清空值 std::swap(opt1, opt2); // 交换 “` ### 3.3 取值时的安全性 – `operator*()` 只有在 `has_value()` 为 true 时才安全。 – `value()` 若无值则抛出 `std::bad_optional_access`。 – 建议使用 `if (opt)` 或 `opt.has_value()` 来检查。 ## 4. 与 STL 容器结合 `std::optional` 可用作容器元素，或容器本身用于存放可选值。 “`cpp #include std::vector> maybeInts{10, std::nullopt, 30}; for (const auto& v : maybeInts) { std::cout & opt) { return opt.has_value(); }; std::vector> filtered; std::copy_if(maybeInts.begin(), maybeInts.end(), std::back_inserter(filtered), filterInvalid); “` ## 5. 性能考量 – `std::optional ` 的大小是 `sizeof(T)` + 1 字节（bool），除非 `T` 已经有显式的占位符。 – 对于小型 POD 类型，`std::optional` 与裸值大小相当。 – 若 `T` 是大型对象，最好使用 `std::optional>` 或 `std::optional>`，避免不必要的拷贝。 ## 6. best practice | 场景 | 推荐方案 | |——|———-| | 需要表示“可缺失值”且不想返回裸指针 | std::optional | | 函数返回值可能无效 | std::optional | | 需要在容器中存储可缺失值 | std::optional | | 需要在错误处理时返回详细错误 | std::variant, Error> | | 需要兼容 C++14 或更低 | 自己实现简单的 Optional 或使用 boost::optional | ### 6.1 避免不必要的拷贝 “`cpp auto createLargeObject() -> std::optional { std::string data = generateBigString(); // 产生大字符串 return data; // NRVO 或移动语义 } “` ### 6.2 与 std::expected（C++23）配合 C++23 引入了 `std::expected`，可以将 `std::optional` 与错误信息结合： “`cpp #include std::expected divide(int a, int b) { if (b == 0) return std::unexpected(“division by zero”); return a / b; } “` ## 7. 小结 – `std::optional` 是一种表达“可能缺失值”的优雅工具，提供了类型安全与可读性。 – 正确的使用方式是先检查 `has_value()`，再访问内部值。 – 在性能敏感代码中注意 `T` 的大小与拷贝成本。 – 对于更复杂的错误处理场景，可考虑 `std::expected` 或 `std::variant`。 通过合理使用 `std::optional`，我们可以大幅提升代码的健壮性与可维护性，使错误处理更直观、数据模型更清晰。