std::optional适合替代裸指针、全局错误码或自定义result类型，但仅适用于“计算成功但结果不存在”的语义场景，如缓存未命中、配置未设置等；它不适用于表示计算失败（应抛异常）或需暴露错误类型的场景。
std::optional 适合替代什么返回方式
直接用 std::optional 替代裸指针、全局错误码、或自定义 Result<t e></t> 类型（在没有 std::expected 的旧标准下）是合理的，但它不是万能空值兜底方案。比如函数本该抛异常（如资源不可用、权限不足），硬塞成 std::optional 反而模糊语义；又比如返回 std::optional<:string></:string> 却频繁调用 value() 而不检查 has_value()，等于把空指针崩溃换成 std::bad_optional_access 崩溃。
- 返回值语义明确为“可能无结果”（例如查缓存未命中、配置项未设置、JSON 字段缺失）
- 调用方能自然地用
if (auto v = f()) { ... *v ... }消费 - 不想暴露内部错误类型，也不愿用异常中断控制流
别直接调用 value()，优先用 has_value() 或 operator bool()
value() 是危险操作：一旦 optional 为空，立刻抛 std::bad_optional_access。生产代码里应避免裸调用，除非你 100% 确认它有值（比如刚用 if 检查过）。
- 用
if (opt.has_value()) { use(*opt); }最直白安全 - 更惯用的是
if (opt) { use(*opt); }——std::optional重载了operator bool() - 需要默认值时，用
opt.value_or(default_val)，比三元运算符更清晰 - 想链式处理？C++23 有
transform()，但 C++17/20 中建议先解包再处理，避免嵌套if
构造和返回 std::optional 的常见陷阱
构造 std::optional<t></t> 时，不要误用花括号初始化触发聚合构造（尤其对 trivial 类型），也不要忘记移动语义带来的开销差异。
- 返回局部对象时，直接写
return T{...};，编译器会自动包装成std::optional<t></t>（C++17 NRVO + 复制省略通常生效） - 想返回空值？用
return std::nullopt;，别写return {};（对某些类型可能意外调用默认构造） - 若
T没有默认构造函数，不能用std::optional<t> opt;</t>默认构造后赋值，得用std::optional<t> opt{std::in_place, arg1, arg2};</t> -
std::optional<:vector>></:vector>这类大对象，返回时确保移动语义生效（函数返回右值，接收方用auto res = f();即可）
和异常、bool 返回混用时的边界怎么划
std::optional 表达的是“计算成功但结果不存在”，不是“计算失败”。这两者必须分清，否则逻辑会迅速混乱。
- 查数据库主键：存在 →
std::optional<record></record>；不存在 →std::nullopt；连接失败 → 抛std::runtime_error - 解析用户输入数字：格式合法 →
std::optional<int></int>；非法 → 抛异常或返回std::expected<int parseerror></int>（C++23） - 函数签名同时返回
std::optional<t></t>和bool（比如“是否命中缓存”）？说明职责没拆开，应该拆成两个函数，或改用struct { std::optional<t> val; bool cached; };</t>
空返回本身不难处理，难的是准确判断“空”到底代表业务上的哪一层含义——是缺失、是未配置、是不可达，还是根本没尝试。选错语义载体，后面所有 if 和 value_or 都只是在掩盖问题。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
