std::optional是C++17引入的模板类，用于安全表示可能不存在的值。它通过明确语义、强制检查存在性（如has_value()或bool转换）、提供默认值（value_or）和避免空指针解引用，有效防止运行时错误。示例中find_first_even返回std::optional，调用者必须判断结果是否存在，再安全访问值，结合std::nullopt表示无值情况，提升了代码健壮性和可读性。
在C++中处理可能不存在的值时，std::optional提供了一种类型安全、清晰明确的方式来替代空指针或特殊返回值（如-1、nullptr等），从而有效避免空指针解引用带来的运行时错误。
什么是std::optional
std::optional是C++17引入的一个模板类，用于表示一个值可能存在，也可能不存在。它封装了一个可选值，调用者必须显式检查是否存在该值，才能安全访问。
相比使用裸指针（如T*）并返回nullptr来表示“无值”，std::optional更安全、语义更清晰。
如何用std::optional避免空指针问题
使用std::optional可以强制调用者处理“值不存在”的情况，避免意外解引用空指针。
Web Accessibility (WCAG 2 AA))
下载
将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。
立即学习“C++免费学习笔记（深入）”；
-
明确表达语义：函数返回
std::optional<int></int>比返回int*更清楚地表明结果可能无效。 -
防止非法访问：必须通过
has_value()或operator bool判断后再取值，否则直接调用value()会抛出异常。 - 自动管理生命周期：无需手动分配/释放内存，避免了指针相关的资源泄漏问题。
示例：查找容器中满足条件的元素
#include <optional>
#include <vector>
#include <iostream>
std::optional<int> find_first_even(const std::vector<int>& nums) {
for (int n : nums) {
if (n % 2 == 0) {
return n; // 返回包含值的optional
}
}
return std::nullopt; // 显式表示无值
}
int main() {
std::vector<int> data = {1, 3, 5, 7};
auto result = find_first_even(data);
if (result) {
std::cout << "找到偶数: " << *result << "\n";
} else {
std::cout << "未找到偶数\n";
}
}
关键操作和注意事项
掌握以下常用方法能更安全地使用std::optional：
-
检查是否有值：
if (opt)或opt.has_value() -
安全取值：
*opt（需确保有值）或opt.value_or(default)提供默认值 -
异常安全：
opt.value()在无值时会抛出std::bad_optional_access -
初始化为空：使用
std::nullopt
比如提供默认值的场景：
int value = result.value_or(0); // 如果没找到，用0代替基本上就这些。std::optional让“可能缺失的值”变得可见且不可忽略，从设计层面减少了空指针错误的发生。
