在 C++17 之前，函数返回错误状态往往需要用指针、错误码或异常。每种方式都有缺点：指针难以区分空值与无效值，错误码需要额外的判断逻辑，异常则在性能敏感的代码里会带来额外开销。std::optional 的加入，为这类问题提供了更干净、更类型安全的解决方案。
1. 什么是 std::optional？
`std::optional
` 是一个容器类型，表示“要么包含一个 `T` 对象，要么为空”。它提供了： – `has_value()`：检查是否包含值 – `value()` / `operator*()`：获取内部值（若为空则抛异常） – `value_or(default)`：若为空返回默认值 – `emplace()`：原地构造内部值 – `reset()`：移除内部值 ### 2. 用法示例：从字符串解析整数 “`cpp #include #include #include std::optional parse_int(const std::string& str) { int value; auto [ptr, ec] = std::from_chars(str.data(), str.data() + str.size(), value); if (ec == std::errc()) { return value; // 包含值 } else { return std::nullopt; // 解析失败 } } “` 调用者无需再检查错误码，只需要判断 `has_value()`： “`cpp if (auto result = parse_int(“123”); result.has_value()) { std::cout << "Parsed: " << *result << '\n'; } else { std::cout << "Failed to parse\n"; } “` ### 3. 与传统错误处理比较 | 方式 | 代码示例 | 优点 | 缺点 | |——|———-|——|——| | 返回指针 | `int* parse(const char*);` | 简单 | 无法区分空值与错误 | | 返回错误码 | `int parse(const char*, int& out);` | 可追踪 | 需要额外判断 | | 异常 | `int parse(const char*);` | 语义清晰 | 性能与跨模块问题 | | std::optional | `std::optional parse(const char*);` | 类型安全 | 需要 `has_value()` 检查 | ### 4. 进阶技巧 – **链式调用**：`std::optional` 可以配合 `std::transform` 等算法使用，避免多次 `has_value()`。 – **组合返回**：使用 `std::tuple<std::optional, std::optional>` 统一返回多值与错误。 – **与 std::expected**：C++23 提议引入 `std::expected`，更明确地分离成功值与错误信息；在 C++20/23 开发中可先用 `std::optional` 作为占位。 ### 5. 性能考虑 `std::optional ` 在大多数实现中，内部会在 `T` 前后分配一个 `bool` 标记值是否存在。对 POD（Plain Old Data）类型，大小等于 `T`，不增加空间开销。但对于非平凡类型，复制与移动会涉及到额外的判空检查。合理使用 `emplace` 和 `move` 可以减少不必要的拷贝。 ### 6. 结语 `std::optional` 让 C++ 的错误处理更显声明式、类型安全。它并非万能，但在许多“可能为空”但不应当抛异常的场景中，提供了一种更轻量、更易读的替代方案。随着 C++ 生态的演进，了解并正确使用 `std::optional`，将使你的代码更加现代化、易维护。</std::optional