std::optional 是 C++17 引入的轻量级可选类型，用于显式表达“可能有值也可能无值”，避免指针空解引用和特殊值语义冲突，强制调用方处理无值情况，提升类型安全与接口自文档性。
std::optional 是 C++17 引入的标准库类型，用于显式表示“可能有值，也可能没有值”的状态。它不是指针、不是智能指针、也不依赖空值语义（比如 nullptr 或 -1），而是一个轻量级的、可拷贝/移动的容器，封装一个 T 类型的对象，并提供安全的“存在性检查”机制。
为什么不用返回指针或特殊值？
传统做法如返回 nullptr（需 caller 检查）、或约定特殊返回值（如 -1 表示失败），都存在隐患：
- 指针易引发空解引用、生命周期管理混乱；
- 特殊值可能和合法结果冲突（比如查找函数返回索引，-1 是常见错误码，但 -1 也可能是有效索引？不，但 size_t 下连负数都表示不了）；
- 调用方容易忽略检查，编译器无法强制约束。
std::optional 把“是否有值”变成类型系统的一部分：返回 std::optional<int></int> 的函数，调用者必须显式处理“无值”分支，否则代码无法通过编译（尤其配合 value() 时，若未检查就调用会抛异常）。
基本用法与关键操作
声明、构造、检查和取值都很直观：
立即学习“C++免费学习笔记（深入）”；
Web Accessibility (WCAG 2 AA))
下载
将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。
-
std::optional<int> x = 42;</int>—— 有值； -
std::optional<double> y;</double>或std::nullopt—— 无值； -
if (x) { ... }或x.has_value()判断是否存在； -
*x或x.value()取值（value()在无值时抛std::bad_optional_access）； -
x.value_or(0)提供默认值，安全且简洁。
C++ 处理可选返回值的最佳实践
不是所有场景都适合 optional，但满足以下条件时，它是首选：
- 函数逻辑上“可能成功返回一个 T”，而非“返回资源所有权”（后者优先用
std::unique_ptr）； - T 是可移动甚至可拷贝的，且体积不大（optional 内部按值存储，大对象考虑是否要 move 构造）；
- 调用方需要区分“没结果”和“结果为默认值”（例如查找 map 中 key，0 和未找到语义不同）；
- 避免隐式转换干扰：不要让 optional 参与算术或布尔隐式转换（它不支持 bool 转换，这点比指针更安全）。
小技巧：对只读场景，可返回 const std::optional<t>&</t> 避免拷贝；但多数情况直接返回值语义更清晰、编译器也会优化掉多余拷贝（RVO/NRVO）。
注意边界情况
几个容易踩坑的点：
-
std::optional<t></t>要求 T 是可析构、可移动（或可拷贝）的；不能用于不完整类型或 void； - 对引用类型不支持：
std::optional<int></int>是非法的（可用std::reference_wrapper曲线救国，但通常没必要）； - 嵌套 optional（如
optional<optional>></optional>）极少需要，往往说明设计可以简化； - 和异常共存时保持一致：optional 适合“预期失败”（如查找失败），异常仍用于“意外错误”（如 I/O 崩溃、内存耗尽）。
基本上就这些。用好 std::optional，能让接口更自文档化、更健壮，也更符合现代 C++ 的零开销抽象理念。
