std::optional 提供类型安全的可选值语义，避免空指针或魔数歧义。它定义于<optional>头文件，通过has_value()、bool转换或nullopt判断是否含值；推荐用value_or提供默认值以安全访问。适用于查找、配置读取等可能失败场景，如find_in_vector返回索引或nullopt，使代码更清晰健壮。
在C++17中，std::optional 是一个用于表示“可能包含值，也可能不包含值”的类型。它解决了传统C++中用指针或特殊值（如-1、nullptr）表示“缺失值”所带来的歧义和安全隐患。使用 std::optional 可以让代码更清晰、安全，避免空指针解引用等常见错误。
基本概念与头文件
std::optional 定义在 <optional> 头文件中，是一个模板类，可以包装任意类型的值。当 optional 对象没有值时，它是“未初始化”状态，可以通过特定方法检测。
例如，定义一个可能为空的整数：
#include <optional> #include <iostream> std::optional<int> maybe_value;
此时 maybe_value 不包含任何值，相当于“空”状态。
立即学习“C++免费学习笔记（深入）”；
如何赋值与判断是否有值
可以通过直接赋值、构造函数或 emplace 方法设置值。
maybe_value = 42; // 赋值
std::optional<int> val2{100}; // 构造时赋值
maybe_value.emplace(50); // 原地构造
判断是否包含值，有以下几种方式：
- 使用 has_value() 成员函数：返回 bool
- 像布尔一样使用：if (maybe_value)
- 与 std::nullopt 比较
if (maybe_value.has_value()) {
std::cout << "值为: " << *maybe_value << "\n";
}
if (maybe_value) {
std::cout << "值存在: " << *maybe_value << "\n";
}
访问值的安全方式
直接解引用（*op）或调用 value() 可能抛出异常，如果 optional 当前无值。
- *op：若无值，行为未定义（C++23起改为抛出异常）
- value()：若无值，抛出 std::bad_optional_access
- value_or(default)：推荐方式，若无值则返回默认值
std::optional<double> price; double p = price.value_or(0.0); // 安全获取，即使为空也返回 0.0
这种模式非常适合配置读取、查找操作等可能失败的场景。
实际应用场景示例
比如实现一个查找函数，找不到时不返回无效值或引发异常：
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 i; // 找到，返回索引
}
}
return std::nullopt; // 未找到
}
调用时可安全处理：
auto result = find_in_vector(data, 99);
if (result) {
std::cout << "找到于索引: " << *result << "\n";
} else {
std::cout << "未找到\n";
}
相比返回 -1 或抛异常，语义更明确，调用方不易出错。
基本上就这些。std::optional 让“可选值”变得类型安全且表达力强，是现代C++中处理可能存在缺失值的首选方式。合理使用能显著提升代码健壮性。
