std::optional用于函数返回值时需先检查再取值，推荐用if(opt)和value_or()而非value()，注意初始化用std::nullopt、避免嵌套及序列化适配。
std::optional 在函数返回值中怎么写才不崩溃
直接用 std::optional 代替裸指针或哨兵值（比如 -1、nullptr）返回可能为空的结果，是安全的，但前提是别忘了检查。最常见崩溃就是拿到 std::nullopt 还强行调用 value()。
- 必须在取值前用
has_value()或operator bool()判断，比如if (opt) { use(opt.value()); } - 别用
value()代替value_or(T{})——前者在空时抛std::bad_optional_access，后者直接兜底，更适合多数业务逻辑 - 返回局部对象时，
std::optional会移动构造，没问题；但返回大对象（如std::vector）要注意移动语义是否被触发（C++17 guaranteed copy elision + move 联合保障，一般不用干预）
和 nullptr、-1、bool+out 参数比，到底省了什么
不是语法糖，是类型安全升级：编译器能强制你面对“空”这个状态，而不是靠文档或约定。
-
std::optional<int></int>和int*行为完全不同：int*可能悬垂、可为空、可被 reinterpret_cast，std::optional<int></int>只有两种确定状态（有值 / 无值），且不可隐式转成int - 比
bool get_value(int& out)更清晰：调用方不用预分配变量，也不用拆解返回码和数据；错误路径和正常路径在类型层面就分离了 - 注意：
std::optional占用空间 ≥sizeof(T) + 1（通常对齐后更大），别在内存敏感热循环里高频构造小对象的 optional（比如std::optional<char></char>实际可能占 2 字节甚至更多）
std::nullopt_t 和 {} 初始化容易搞混的点
初始化方式不同，语义和行为也不同，尤其在模板推导和重载解析里会出问题。
-
std::optional<int> opt = std::nullopt;</int>明确表示“我就是要空”，类型安全，推荐 -
std::optional<int> opt{};</int>是值初始化，等价于std::nullopt，但某些老编译器（GCC -
std::optional<int> opt = {};</int>不合法——{}无法隐式转成std::nullopt_t，编译报错，别这么写 - 函数参数默认值写
= std::nullopt，别写= {}，避免 SFINAE 失败或重载歧义
和 boost::optional 或自定义 Maybe 的兼容性陷阱
标准 std::optional 不兼容 boost 版本，也不能和手写的 Maybe<t></t> 混用——连 operator== 都不会自动定义。
立即学习“C++免费学习笔记（深入）”；
- 跨模块传递时，确保所有代码都用 C++17
std::optional，别让头文件混入boost::optional声明 - 不能直接把
boost::optional<int></int>赋给std::optional<int></int>，要显式构造：std::optional<int>{boost_opt ? boost_opt.get() : std::nullopt}</int> - 序列化（如 JSON、protobuf）需额外处理：
std::optional本身不提供to_json()，得自己写适配逻辑，别指望它自动映射成 null
真正麻烦的是嵌套 optional（比如 std::optional<:optional>></:optional>）——语义模糊，调试时难分辨是外层空还是内层空，这种结构八成说明设计该重构了。
