std::optional该用于值可能缺失的场景（如查找、解析、配置读取），明确表达“有值或无值”语义；不该用于必然有值的操作、替代指针、三态标志或性能敏感的热路径。
std::optional 什么时候该用，什么时候不该用
当函数可能无法返回有效值（比如查找失败、解析出错、配置缺失），又不想用指针、异常或魔法值（-1、nullptr）时，std::optional 是最干净的选择。它明确表达“可能无值”的语义，且不引入堆分配或异常开销。
反例：返回 int 的函数内部用 std::optional<int></int> 包一层再解包——纯属自找麻烦；或者用它替代 bool 标志位（比如 std::optional<bool></bool> 表示三态），容易让调用方困惑，也浪费空间。
常见误用场景：
- 把
std::optional当作可空引用（它不能绑定到临时对象，也不能隐式转成引用） - 在性能敏感的热路径中频繁构造/析构含非平凡类型的
std::optional（比如std::optional<:string></:string>） - 忽略
value()在无值时抛std::bad_optional_access，直接调用不检查
如何安全访问 std::optional 的值
核心原则：永远先检查是否有值，再取值。别依赖 value() 的便利性，它不安全。
立即学习“C++免费学习笔记（深入）”；
推荐方式：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
has_value()判断：if (opt.has_value()) { use(opt.value()); } - 用
operator bool()（更简洁）：if (opt) { use(*opt); }注意：解引用*opt等价于opt.value()，仍要求有值 - 用
value_or(default_val)提供兜底：int x = opt.value_or(42); // opt 为空时返回 42
要求default_val类型可隐式转为目标类型，且不抛异常
错误写法：opt.value() 直接调用，没检查就 crash；或者 opt.value_or(some_expensive_function())，即使 opt 有值也会执行副作用函数。
std::optional 的构造和赋值要注意什么
它支持多种构造方式，但关键区别在于是否触发目标类型的构造：
-
std::optional<t> opt{t}</t>：拷贝构造（t是T类型） -
std::optional<t> opt{std::in_place, args...}</t>：就地构造T(args...)，避免中间拷贝 -
std::optional<t> opt = std::nullopt</t>：显式置空，比默认构造更清晰 - 赋值时：
opt = t触发赋值操作；opt = std::nullopt清空；opt = std::optional<t>{t}</t>是移动或拷贝，不推荐
陷阱：
-
std::optional<:string> opt = "hello"</:string>是合法的（字符串字面量隐式转std::string），但会触发一次临时对象构造；用std::in_place更高效：std::optional<std::string> opt{std::in_place, "hello"}; -
std::optional<const int> opt{42}</const>合法，但const成员会让opt = 99失败（无法赋值 const 类型）
与 std::variant 和指针相比，std::optional 的边界在哪
std::optional 只表达「T 或无」，不是「T 或 U 或 V」——那种情况该用 std::variant。它也不提供多态或间接访问能力，所以不能替代基类指针。
对比指针：
- 指针能表示“无效地址”“悬垂”“未初始化”，语义模糊；
std::optional只有“有值”或“无值”，状态明确 - 指针需要手动管理生命周期；
std::optional值语义，自动管理内部存储 - 指针可为
nullptr但指向堆内存；std::optional总是栈内存储（除非 T 本身动态分配）
真正容易被忽略的一点：std::optional 的大小至少是 sizeof(T) + 1（用于存储 has-value 标志），对小类型（如 int）影响不大，但对大结构体，它不会节省内存——它只是把“是否有效”的逻辑从外部状态变量移到了类型内部。
