在日常开发中，经常会遇到函数需要返回一个可能为空的值，例如查找操作返回一个对象或者失败时返回空指针。传统做法要么使用指针、要么返回一个特殊值，容易产生空指针错误或业务逻辑不清。C++17 引入的 std::optional 正是为了解决这一问题而设计的。
1. 什么是 std::optional？
`std::optional
` 是一个容器，能够存放类型 `T` 的一个对象，或者表示“没有值”。它类似于 `std::unique_ptr` 或 `std::vector` 的功能，但专门用于表达“值存在或不存在”这一语义。 “`cpp #include #include std::optional get_name_by_id(int id); “` ### 2. 基本用法 #### 2.1 创建与赋值 “`cpp std::optional opt1; // 空对象 std::optional opt2 = 42; // 包含值 std::optional opt3{opt2}; // 拷贝 “` #### 2.2 判断是否有值 “`cpp if (opt1) { // 也可写成 if (opt1.has_value()) std::cout find_first_even(const std::vector& nums) { for (int n : nums) if (n % 2 == 0) return n; // 找到即返回 return std::nullopt; // 未找到返回空 } “` 使用者可以： “`cpp auto result = find_first_even(v); if (result) { std::cout ` 或者手写的 union + bool。其大小等于 `sizeof(T)`（或更大，取决于实现），并且没有额外的堆分配。适合放在栈上、作为函数返回值或成员变量。 ### 6. 与其他现代 C++ 技术配合 – **`std::expected`（C++23）**：在失败时返回错误码，而不是空值。 – **`std::variant`**：可表示多种类型，其中一种可以是 `std::nullopt_t`。 – **`std::optional` 与 `std::shared_ptr`**：在需要共享所有权时可结合使用。 ### 7. 常见坑与最佳实践 | 场景 | 问题 | 解决方案 | |——|——|———-| | 传值给 `std::optional ` | `std::optional opt = std::make_optional(5);` | 直接赋值或使用 `std::optional opt{5};` | | 访问空 `optional` | `int x = opt.value();` | 检查 `opt.has_value()` 或使用 `opt.value_or(default)` | | 递归函数返回 `optional` | 递归深度导致栈溢出 | 采用迭代或尾递归优化 | | 与 `std::variant` 混用 | `variant> v;` | 先确保语义明确，避免多层嵌套 | ### 8. 小结 – `std::optional` 提供了一种优雅且类型安全的方式来处理可能缺失的值。 – 它避免了空指针带来的隐式错误，并使代码更易读。 – 与异常机制互补，可根据业务需求灵活选择。 掌握 `std::optional` 的使用，是提升 C++ 编程质量的重要一步。祝你编码愉快！