std::optional 是 C++17 引入的模板类，用于表示可能无值的情况，可安全封装有值或空状态，适用于查找、解析等可能失败的操作，避免指针或输出参数的弊端，提升代码清晰度与安全性。
在 C ++17 之前，函数如果需要返回一个可能不存在的值，通常会使用指针（比如返回 nullptr 表示无值），或者用输出参数配合返回布尔值。这些方式要么容易出错，要么不够清晰。C++17 引入了 std::optional，提供了一种类型安全、语义明确的方式来处理“可能有值，也可能没有值”的情况。
什么是 std::optional？
std::optional
例如，从容器中查找某个元素，若找不到则不应返回无效引用或指针，而应返回一个“无值”状态。这时 std::optional 就非常合适。
基本用法示例
下面是一个简单的例子，展示如何使用 std::optional 实现一个安全的除法函数：
立即学习 “C++ 免费学习笔记（深入）”；
#include <optional> #include <iostream> std::optional<double> divide(double a, double b) {if (b == 0.0) {return std::nullopt; // 表示无值} return a / b; // 自动包装为 optional } int main() { auto result = divide(10, 3); if (result) {std::cout << "Result: " << *result << 'n';} else {std::cout << "Division by zero!n";} auto bad_result = divide(10, 0); if (bad_result.has_value()) {std::cout << "Result: " << *bad_result << 'n';} else {std::cout << "No valid result.n";} }
说明：
-
std::nullopt用于显式表示空值。 - 可以用条件判断（如
if (result)）检查是否有值。 - 用
*result解引用获取值（前提是有值，否则未定义行为）。 -
has_value()是成员函数，等价于static_cast<bool>(result)</bool>。
处理复杂类型和构造优化
std::optional 也支持非平凡类型，比如自定义结构体，并且可以使用 emplace 原地构造对象，避免不必要的拷贝：
struct Person {std::string name; int age;}; std::optional<Person> find_adult(int id) {// 模拟查找逻辑 if (id % 2 == 0) {return std::optional<Person>{Person{"Alice", 25}}; } return std::nullopt; } // 或者更高效地使用 emplace std::optional<Person> create_person(bool should_create) {std::optional<Person> opt; if (should_create) {opt.emplace("Bob", 30); // 原地构造 } return opt; }
这种方式避免了临时对象的创建与拷贝，提升性能，特别适用于大对象。
常见使用场景
std::optional 特别适合以下几种情况：
- 查找操作 ：容器中查找元素，找不到时返回
std::nullopt。 - 解析函数 ：字符串转数字、JSON 解析等可能失败的操作。
- 工厂函数 ：对象创建受条件限制，不一定能成功。
- 链式调用中的中间结果 ：每个步骤都可能失败，可用 optional 传递状态。
相比抛异常或使用输出参数，std::optional 更轻量、更直观，调用方必须显式检查是否有值，减少疏忽导致的错误。
基本上就这些。std::optional 让 C++ 的接口设计更清晰、更安全，是处理可选值的现代 C++ 推荐方式。
以上就是
