std::optional 应用于值确实可选的场景（如查找、解析），而非必须有值或需资源管理的情形；默认构造后须检查 has_value() 再解引用，推荐用 if (opt.has_value()) { use(opt.value()); } 避免未定义行为与异常。
std::optional 什么时候该用，什么时候不该用
它不是万能的空值替代品，而是为“可能没有值”这个语义设计的。比如函数本就该有明确失败路径（如查找不存在的键、解析失败），这时用 std::optional 比返回 nullptr 或抛异常更轻量、更可预测；但若逻辑上必须有值（如配置加载失败就该崩溃），硬套 std::optional 反而掩盖问题。
常见错误现象：std::optional<t> x; if (x) { use(*x); }</t> 看似安全，但如果 T 是未初始化类型（如原始数组、含非默认构造成员的类），x 构造后内部值未定义，解引用前没检查 has_value() 就直接 *x，行为未定义。
- 只在值确实“可选”时使用——比如缓存查找、字符串转数字、容器
at()的安全封装 - 避免用于需要资源管理的场景（如
std::optional<:unique_ptr>></:unique_ptr>容易误判所有权） - C++17 起可用，但 MSVC 19.14+、GCC 7.1+、Clang 4.0+ 才完整支持；旧编译器慎用
构造和取值的三种写法，哪一种最不容易出错
核心原则：显式检查比隐式转换安全。不要依赖 if (opt) 自动转换，尤其当 T 有布尔转换运算符时，容易和 opt.has_value() 混淆。
推荐写法：
立即学习“C++免费学习笔记（深入）”；
-
if (opt.has_value()) { use(opt.value()); }—— 最直白，无歧义 -
if (auto p = opt.value_or(nullptr)) { use(p); }—— 适合有默认值的指针类场景 -
if (opt) { use(*opt); }—— 仅当T绝对不可能有自定义operator bool()，且你确认opt已赋值（非默认构造）
别写：use(opt.value()); —— value() 在无值时抛 std::bad_optional_access，线上崩得无声无息。
和指针、异常、返回码相比，性能和语义差异在哪
它不分配堆内存，对象大小通常是 sizeof(T) + 1（加一个字节存状态），比 std::unique_ptr 轻得多；但比裸指针或返回码多一次判断开销，不过现代 CPU 分支预测很准，实际影响微乎其微。
关键区别在语义清晰度：
- 指针：调用方得自己记住“可能为空”，文档和类型系统都不约束
- 异常：控制流跳转重，不适合高频失败场景（如解析每行日志）
- 返回码 + 输出参数：接口臃肿，容易忘记检查返回码
-
std::optional：类型即契约，强制调用方面对“可能无值”这一事实
注意：移动语义很重要。如果 T 移动代价大（如大字符串），std::optional<t></t> 移动也会触发 T 的移动；必要时考虑 std::optional<:reference_wrapper t>></:reference_wrapper> 避免拷贝。
容易被忽略的兼容性细节
很多老项目还在用 C++14，但 std::optional 是 C++17 标准特性。别指望它在 GCC 6 或 Clang 3.9 下编译通过。
另外几个坑：
-
std::optional<void></void>非法，别试 -
std::optional<t></t>不允许，引用不能是 optional 的模板参数；要用std::optional<:reference_wrapper>></:reference_wrapper> - 聚合初始化不支持：不能写
std::optional<point>{1,2}</point>，得用std::optional<point>{Point{1,2}}</point>或std::make_optional(Point{1,2}) - 和
std::variant混用时，std::holds_alternative<:optional>>(v)</:optional>这种写法是错的——std::optional是模板，不是具体类型
真正难的是让团队所有人理解：它不是“更安全的指针”，而是表达“计算结果可能不存在”的新语法糖。用错地方，比不用还糟。
