std::optional是C++17引入的模板类，用于表示可能有值或为空的状态，避免使用指针或异常；它通过has_value()或上下文判断是否存在值，提供*、->、value()和value_or()等访问方式，推荐使用value_or()确保安全；常用于查找等可能失败的操作，提升代码健壮性和类型安全性。
在C++17中引入的std::optional是一个用于表示“可能包含值，也可能为空”的类型。它特别适用于函数返回值，用来表明计算可能失败或结果不存在，避免使用指针或异常来传达这种状态。
基本概念
std::optional<T>是一个模板类，包装了一个类型为T的值，这个值可以存在也可以不存在。
当没有有效值时，它处于“空”状态，用std::nullopt表示。
头文件：
#include <optional>
立即学习“C++免费学习笔记（深入）”；
创建和初始化 optional
可以通过多种方式创建一个std::optional对象：
- 默认构造：创建一个空的optional
- 直接初始化：传入一个值
- 使用 std::make_optional：更安全的构造方式（C++17起）
示例：
#include <optional>
#include <iostream>
<p>std::optional<int> opt1; // 空 optional
std::optional<int> opt2 = 42; // 包含值 42
std::optional<double> opt3 = std::nullopt; // 显式空
auto opt4 = std::make_optional<std::string>("hello"); // 包含字符串
检查值是否存在
使用has_value()或上下文转换判断是否包含有效值：
if (opt2.has_value()) {
std::cout << "值是: " << *opt2 << "\n";
}
<p>// 或者更简洁地：
if (opt2) {
std::cout << "值是: " << *opt2 << "\n";
}
访问 optional 中的值
有几种方式获取值，注意安全性：
- *opt：解引用，若为空则行为未定义
- opt->member：访问成员，同样要求有值
-
opt.value()：若无值会抛出
std::bad_optional_access异常 - opt.value_or(default)：推荐！若无值则返回默认值
示例：
std::optional<int> result;
<p>// 模拟可能失败的计算
if (true /<em> 条件 </em>/) {
result = 100;
}</p><p>// 安全访问
int val = result.value_or(-1); // 如果为空，返回 -1
std::cout << "结果: " << val << "\n";
实际应用场景
常见于查找函数或可能失败的操作：
std::optional<int> find_in_vector(const std::vector<int>& vec, int target) {
for (size_t i = 0; i < vec.size(); ++i) {
if (vec[i] == target) {
return static_cast<int>(i); // 找到，返回索引
}
}
return std::nullopt; // 未找到
}
<p>// 使用示例
auto index = find_in_vector({1, 3, 5, 7}, 5);
if (index) {
std::cout << "找到，索引为: " << *index << "\n";
} else {
std::cout << "未找到\n";
}
注意事项
不要随意解引用空 optional，会导致未定义行为。
优先使用value_or()提供默认值，提升代码健壮性。
对于复杂类型，std::make_optional可避免临时对象问题。
基本上就这些。std::optional 让“无值”变得显式且类型安全，是现代 C++ 中处理可选值的首选方式。
