std::optional适用于逻辑上可能无值的场景，如查找失败；不适用于必须返回对象仅未初始化的情况，此时应选指针或异常。
std::optional 什么时候该用，什么时候不该用
它不是万能的空值替代品，只适合「逻辑上可能没有值」的场景。比如函数返回一个查找结果，查不到就真的没有；但如果是接口设计上必须返回某个对象，只是暂时没初始化好，用 std::optional 反而增加调用方负担——这时候该用指针或直接抛异常。
常见误用：把 std::optional 当成“可为空的 int”来存数据库字段，结果忘了它不支持隐式转换，if (opt == 0) 编译不过，得写 if (opt && *opt == 0)。
构造和访问 optional 的三种安全方式
别直接解引用未检查的 std::optional，*opt 或 opt.value() 在无值时是未定义行为（release 模式下可能静默崩溃）。
- 用
opt.has_value()判断后再访问：if (opt.has_value()) { use(*opt); } - 用
opt.value_or(default_val)提供兜底值：int x = opt.value_or(-1); - 用
std::optional::operator->()配合 if 初始化（C++17 起）：if (auto p = opt) { use(*p); }
注意 value_or 会触发默认构造 + 移动，对大对象有开销；has_value() 是零成本判断，但多一次分支。
移动语义和赋值陷阱
std::optional 内部存储对象，所以拷贝/移动行为取决于所含类型。如果 T 不可拷贝，std::optional 也不可拷贝；如果 T 移动后处于有效但未指定状态，std::optional 移动后也一样。
容易踩的坑：
- 给已含值的
opt赋std::nullopt：正确写法是opt = std::nullopt;，不是opt = {};（后者可能调用 T 的默认构造） - 从函数返回临时
std::optional：确保函数返回类型明确是std::optional，否则可能触发隐式转换失败或模板推导错误 - 在容器里存
std::optional：它比裸指针占更多内存（通常多 1 字节对齐填充），且不能像unique_ptr那样转移所有权
和指针、异常、bool 返回的对比选择
它和 T* 的核心区别在于语义：指针强调“地址是否有效”，std::optional 强调“值是否存在”。前者可为空、可悬垂、可算术运算；后者只表达存在性，更安全但也更受限。
和异常比：异常适合“错误情况”，std::optional 适合“正常但无结果”的情况。比如解析配置项失败，用 std::optional 表示“该项未配置”；但若配置格式非法，则该抛 std::invalid_argument。
和 std::pair 比：后者要手动管理两个字段，易出错；std::optional 把存在性封装进类型系统，编译器能帮你拦住很多错误，比如忘记检查就解引用。
真正难的是边界情况：比如函数可能返回“成功但无数据”“失败”“超时”，这时单靠 std::optional 不够，得配合 std::variant 或自定义状态枚举。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
