std::optional比pair更清晰表达“可能无值”语义，避免哨兵值和空指针问题，支持安全解包、默认回退与移动优化，且具备编译期类型安全。
std::optional比返回pair更清晰地表达“可能无值”语义
用 std::optional 作返回值，直接告诉调用者：这个函数要么成功返回一个 T，要么什么也不返回（不是异常，也不是默认构造的假值）。不像 std::pair 那样需要手动检查 .first，也避免了用哨兵值（比如 -1、nullptr）带来的歧义和类型不安全。
常见错误现象：返回 T* 或 T& 时，调用方容易忽略空指针检查；返回 T 加额外 bool* 输出参数，接口臃肿且易被忽略。
- 调用方只需用
if (auto res = func()) { use(*res); }，语义一目了然 - 不能隐式转换为
bool，必须显式调用has_value()或用if (opt)（依赖上下文转换），减少误用 - 移动语义友好：返回临时
std::optional不会触发深拷贝，比传引用+输出参数更高效
避免异常开销又不牺牲错误可追溯性
在性能敏感路径（如高频解析、配置读取）中，抛异常代价高且不可控。而 std::optional 把“失败”降级为值语义，调用方可以按需决定是立即处理、传播还是静默跳过。
使用场景：配置项缺失、JSON 字段不存在、缓存未命中、数值解析失败（如 std::stoi 的替代封装）。
立即学习“C++免费学习笔记（深入）”；
- 不强制调用方写
try/catch，也不要求全局异常策略统一 - 配合
std::optional::value_or()提供默认回退，例如config.get_port().value_or(8080) - 注意：
value()在无值时抛std::bad_optional_access—— 这不是设计用来日常兜底的，而是用于断言场景；滥用会导致和异常一样的运行时开销
与指针、特殊值、返回码相比的类型安全性差异
std::optional 是类型系统的一部分，编译器能静态检查是否解包前已确认有值。而 int* 或 -1 表示“无效”，无法阻止你直接对空指针解引用或把 -1 当合法端口号用。
参数差异明显：指针允许悬空、重解释；哨兵值依赖文档约定；返回码需额外变量接收且易被忽略。
- 不能对
std::optional直接做算术运算，强制你先解包或提供默认值 - 支持
std::nullopt字面量，初始化直观：std::optional<:string> s = std::nullopt; - 不支持引用类型（
std::optional非法），避免生命周期陷阱 —— 这是刻意限制，不是缺陷
实际使用时最容易被忽略的内存与移动细节
std::optional 内部通常用 union + 构造标记实现，大小至少为 sizeof(T) + sizeof(bool)（可能因对齐更大）。对小类型（如 int）影响不大，但对大结构体要注意栈空间占用。
性能影响关键点在于：它不自动移动内部值。如果你返回的是 std::optional，且 BigObj 移动成本高，务必确保返回表达式本身是右值（如 return std::move(obj);），否则可能触发拷贝。
- 不要写
return std::optional（拷贝构造），改用{t}; return t;（编译器会自动包装） - 避免在循环内反复构造/析构
std::optional<:vector>>，考虑复用对象或改用指针+池化 - 调试时注意：某些调试器对
std::optional显示不友好，has_value()返回 false 时，内部存储可能仍是垃圾值，别依赖其内容
