std::optional用于安全表示可能无值的情况。1. 可声明为std::optional，默认或用std::nullopt初始化为空，赋值后含值；2. 用if(opt)判断是否含值，*opt获取值，value()可能抛异常；3. value_or提供默认值；4. 避免解引用空值，不适用多状态空值场景。
在C++17中引入的std::optional提供了一种类型安全的方式来表示可能不存在的值。它特别适合用于函数返回值，避免使用指针或异常来传达“无结果”的情况。
1. 基本用法：声明和初始化
std::optional可以保存一个类型为T的值，或者为空（即没有值）。
- 默认构造表示空值
- 可以用
std::nullopt显式表示空 - 也可以直接赋值或构造有值的状态
示例：
#include#include std::optional find_value(const std::vector & vec, int target) { for (int v : vec) { if (v == target) { return v; // 返回有值 } } return std::nullopt; // 返回空 }
2. 检查是否包含值
通过上下文转换或has_value()判断是否存在值。
立即学习“C++免费学习笔记（深入）”；
推荐方式：
- 用
if (opt)判断是否有值 - 用
*opt获取值（前提是有值） - 或使用
value()，但会抛出异常若为空
安全访问示例：
std::optionalresult = find_value({1, 2, 3}, 5); if (result) { std::cout << "找到值：" << *result << "\n"; } else { std::cout << "未找到值\n"; }
3. 提供默认值
使用value_or(default_value)在为空时返回默认值，避免解引用空对象。
这是处理可选值非常实用的方法。
示例：
int value = result.value_or(-1); // 如果result为空，返回-1 std::cout << "结果是：" << value << "\n";
4. 注意事项与最佳实践
不要随意解引用空optional：会导致未定义行为。
- 确保调用
*opt前已检查 - 若使用
value()，需捕获std::bad_optional_access - 适用于值语义类型，对大对象注意性能
- 不能用于表示多个“空”状态（如区分“未设置”和“无效”），此时可考虑
std::variant
基本上就这些。std::optional让代码更清晰地表达“可能无值”的语义，减少错误。
