std::optional用于安全表示可能无值的情况。1. 可声明为std::optional<T>，默认或用std::nullopt初始化为空，赋值后含值；2. 用if(opt)判断是否含值，*opt获取值，value()可能抛异常；3. value_or提供默认值；4. 避免解引用空值，不适用多状态空值场景。
在C++17中引入的std::optional提供了一种类型安全的方式来表示可能不存在的值。它特别适合用于函数返回值，避免使用指针或异常来传达“无结果”的情况。
1. 基本用法：声明和初始化
std::optional<T>可以保存一个类型为T的值，或者为空（即没有值）。
- 默认构造表示空值
- 可以用
std::nullopt显式表示空 - 也可以直接赋值或构造有值的状态
示例：
#include <optional>
#include <iostream>
std::optional<int> find_value(const std::vector<int>& vec, int target) {
for (int v : vec) {
if (v == target) {
return v; // 返回有值
}
}
return std::nullopt; // 返回空
}
2. 检查是否包含值
通过上下文转换或has_value()判断是否存在值。
立即学习“C++免费学习笔记（深入）”；
推荐方式：
- 用
if (opt)判断是否有值 - 用
*opt获取值（前提是有值） - 或使用
value()，但会抛出异常若为空
安全访问示例：
std::optional<int> result = 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让代码更清晰地表达“可能无值”的语义，减少错误。
