在 C++17 之前，函数返回值经常使用指针、错误码或异常来表示“无值”或“错误”状态。随着 std::optional 的加入，我们可以在不使用异常或额外的错误码的情况下，让函数返回一个“可能为空”的值，从而提升代码的可读性和安全性。
1. std::optional 简介
`std::optional
` 是一个容器，内部可能保存一个 `T` 类型的对象，也可能为空。其核心特点： – **显式为空**：使用 `std::nullopt` 标记为空。 – **安全访问**：通过 `has_value()` 或 `operator bool()` 判断是否存在值，再使用 `value()` 或 `*` 解引用。 – **无额外开销**：与裸指针相比，`optional` 只占用一个指针大小的空间（取决于实现）。 ## 2. 典型场景：查找操作 假设我们在一个容器中查找某个键对应的值，若不存在就返回“未找到”。以前的做法： “`cpp int find(const std::unordered_map& map, int key) { auto it = map.find(key); if (it == map.end()) { throw std::runtime_error(“Key not found”); } return it->second; } “` 使用 `optional`： “`cpp #include #include std::optional find(const std::unordered_map& map, int key) { auto it = map.find(key); if (it == map.end()) { return std::nullopt; // 无值 } return it->second; // 包含值 } “` 调用者可直接判断： “`cpp auto res = find(myMap, 42); if (res) { std::cout >` 或 `optional>`，避免拷贝。 ## 5. 实践案例：解析命令行参数 “`cpp #include #include #include #include std::optional parse_int(const std::string& s) { try { size_t idx; int value = std::stoi(s, &idx); if (idx == s.size()) return value; // 完全解析 return std::nullopt; // 余下字符 } catch (…) { return std::nullopt; } } int main(int argc, char* argv[]) { if (argc