*解包必须先确认有值，否则触发未定义行为；value()安全但抛异常；推荐value_or()零开销兜底或and_then()链式处理。
std::optional 的 * 解包必须先确认有值
* 是重载的解引用操作符，行为等同于 value()，但不进行运行时检查。如果 std::optional 为空（has_value() == false），使用 * 会触发未定义行为（UB），不是抛异常，也不是断言失败——它可能静默崩溃、返回垃圾值或让程序行为不可预测。
- 只在你**100% 确保已调用过
has_value()且结果为true** 时才用* - 常见安全组合：
if (opt.has_value()) { auto& x = *opt; // ✅ 此时 safe } - 不要写
auto x = *opt;在 if 外，哪怕你“觉得”它一定有值
value() 解包会在空值时抛 std::bad_optional_access
value() 是带边界检查的访问方式：内部调用 has_value()，失败则抛出 std::bad_optional_access 异常。它比 * 安全，但代价是运行时开销和异常路径依赖。
- 适合调试阶段或错误必须显式暴露的场景
- 注意：抛异常意味着调用方需处理或允许传播，否则程序终止
- 示例：
try { auto x = opt.value(); // ❌ 空时抛 std::bad_optional_access } catch (const std::bad_optional_access&) { // 处理空值逻辑 } - 在性能敏感或禁用异常的项目中（如嵌入式、游戏引擎核心），应避免
value()
更推荐的解包方式：value_or() 和 and_then()（C++23）
真正安全的解包往往不是“强制取值”，而是“提供默认或链式处理”。value_or() 是最常用、零开销、无异常的安全兜底方案。
-
value_or(default_val)：有值返回值，无值返回拷贝/移动default_val（要求类型可构造） - 适合绝大多数“缺省即合理”的场景，比如配置读取、缓存 fallback
- 示例：
int x = opt.value_or(42); // ✅ 安全，无异常，无 UB
- C++23 的
and_then()支持函数式链式处理，避免手动判空：auto result = opt.and_then([](int v) -> std::optional<int> { return (v > 0) ? std::optional<int>(v * 2) : std::nullopt; });
容易被忽略的陷阱：const 与引用语义
解包后的对象生命周期和 const 正确性常被误判。尤其当 std::optional 是 const 或绑定到临时对象时，* 和 value() 返回的引用类型不同，影响后续使用。
立即学习“C++免费学习笔记（深入）”；
-
const std::optional<t>& opt</t>下，*opt返回const T&；opt.value()同样返回const T& - 但若你写
auto x = *opt;，x是值拷贝；而auto& x = *opt;才是引用——后者在opt生命周期外使用会悬垂 - 最稳妥的引用模式：
if (opt.has_value()) { const auto& ref = *opt; // ✅ 明确 const + 引用，且作用域受控 use(ref); }
实际项目里，value_or() 覆盖 70% 以上解包需求；has_value() + * 用于需要修改原值或性能极致的分支；value() 只在异常策略明确且可接受开销时启用。别让“方便”掩盖了空值处理的真实意图。
