std::optional不能直接用==比较两个空值，因为operator==要求内部有值才能比较内容，两个空optional默认不满足可比较前提；正确做法是用has_value()判断是否为空再决定如何比较。
std::optional 为什么不能直接用 == 比较两个空值？
因为 std::nullopt 是一个标记，不是值；std::optional<T> 的 operator== 要求内部有值才能比较内容，两个空的 std::optional 默认不满足“可比较”的前提——除非你显式写成 opt1 == std::nullopt && opt2 == std::nullopt。
- 正确写法是统一用
has_value()判断是否为空，再决定怎么比 - 如果 T 本身支持
==，且你确定两个都有值，才能安全用opt1.value() == opt2.value() - 别依赖隐式转换：把
std::optional<int>当int传给需要int&的函数会编译失败
std::optional 构造时传 std::nullopt 和默认构造的区别？
没区别。两者都构造出空状态的 std::optional，但语义不同：默认构造更自然，std::nullopt 更适合在函数调用、初始化列表等上下文中显式表达“我就是要空”。
-
std::optional<std::string> s1;和std::optional<std::string> s2{std::nullopt};行为一致 - 但在函数参数里：
foo(std::optional<int> x = std::nullopt)比foo(std::optional<int> x = {})更易读 - 注意：
std::optional<T>的默认构造不会调用T的默认构造，这是它轻量的关键
从 std::optional 取值时，value()、value_or()、operator* 怎么选？
取决于你对“空”的容忍度和错误处理策略。
-
value()：空时抛std::bad_optional_access，适合你 100% 确认有值，或想让崩溃暴露逻辑错误 -
value_or(default_val)：最常用，空时返回默认值，default_val类型要能隐式转成T，且不修改原 optional -
*opt或opt->some_method()：和value()一样危险，空时未定义行为（通常 crash），仅限断言后使用
std::optional 在返回值中用了，调用方不检查就解引用会怎样？
运行时崩溃或未定义行为，而且这种 bug 很难被静态分析或单元测试覆盖到——尤其当分支路径少、测试没跑空分支时。
立即学习“C++免费学习笔记（深入）”；
- 推荐模式：永远先用
if (opt.has_value()) { ... }或 C++17 的 if-init 语法：if (auto opt = get_something(); opt.has_value()) { ... } - 避免链式调用：
process(*get_opt().value().subfield)这种写法一旦中间某步为空，根本没法定位是哪一环炸的 - 注意移动语义：调用
value()或operator*不会移走值，但std::move(opt).value()会——如果 T 是不可拷贝类型，这点很关键
最常被忽略的是：optional 不解决“业务逻辑上该不该为空”的问题，只帮你把“空”这个状态显式编码进类型。要不要允许空、空了怎么兜底，还得靠人想清楚。
