应返回 std::optional（t 为值类型），禁用引用包装；安全取值须显式检查 has_value() 或用 value_or()；避免用于容器元素、函数参数及abi稳定接口。
std::optional 返回值该怎么写函数签名
函数该返回 std::optional<t></t>，而不是裸指针或 T*，更不是靠抛异常或全局错误码来表示“无值”。它把“是否有值”这个语义直接编码进类型系统里，调用方无法忽略——编译器会强制你处理 has_value() 或用 value_or() 提供默认。
常见错误是返回 std::optional<t></t>：C++ 标准禁止（引用不能被 optional 包装），编译直接报错 error: forming pointer to reference type 'T&'。真要返回引用语义，得用 std::optional<:reference_wrapper>></:reference_wrapper>，但多数时候没必要，直接返回值拷贝更安全清晰。
- 值类型小（如
int、std::string）：直接返回std::optional<t></t> - 值类型大且只读场景：考虑返回
const T&+ 单独的 bool 判定，比std::optional<t></t>更轻量（避免拷贝构造） - 不要在接口中混用
std::optional和nullptr：同一语义用一种方式表达，否则调用方要同时写两套判空逻辑
调用时怎么安全取值，不崩也不漏判空
最常踩的坑是直接调 value() —— 它在无值时抛 std::bad_optional_access，线上崩了才看到日志。这不是防御性编程，是埋雷。
真正安全的取值路径只有两条：显式检查 + 取值，或用默认值兜底。前者适合必须区分“有/无”的业务逻辑（比如配置项缺失需报错），后者适合可降级场景（比如缓存未命中就查 DB）。
立即学习“C++免费学习笔记（深入）”；
- 必须区分状态：先
if (opt.has_value()) { ... opt.value() ... }，别省那行判断 - 允许降级：直接
opt.value_or(default_value)，注意default_value类型要和T可转换（否则编译失败） - 用
operator*或operator->前，确保已通过has_value()或value_or()确认有值——它们不检查，行为未定义
和传统 nullptr / 返回码对比，性能差多少
std::optional 在绝大多数情况下零开销：它本质是带布尔标记的 union，空间就是 sizeof(T) + 1（对齐后可能略多），和手动加一个 bool valid; 差不多。关键不是内存，是调用方能否静态确定是否需要处理空分支。
相比 nullptr，它不依赖约定（比如“返回空指针表示失败”），不引入空悬指针风险；相比返回码，它避免把业务数据和错误状态耦合在同一个返回值里（比如 int 既要表示结果又要表示 -1=error）。
- 移动语义友好：
std::optional支持std::move，大对象返回不会意外拷贝 - 不支持隐式转换到
bool（防止if (opt) {...}这种易误读写法），必须显式调has_value()或operator bool()（后者是 C++17 起才有的，且名字不直观） - 注意编译器优化：启用
-O2后，has_value() + value()组合通常被内联为单次条件跳转，和手写 if-else 汇编几乎一样
哪些地方千万别用 std::optional
它不是万能空值解药。三个典型误用场景：容器元素、函数参数、已有稳定 ABI 的接口。
往 std::vector<:optional>></:optional> 里塞东西？空间浪费翻倍（每个元素多 1 字节标记），且 cache 不友好；真要表示“某位置无效”，用 std::vector<:optional>></:optional> 不如用 std::vector<t></t> + 单独的 std::vector<bool></bool> 标记位，或者直接用稀疏结构（如 std::map）。
- 函数参数别用
std::optional<t></t>表示“可选参数”：调用方必须写func(std::optional<int>{5})</int>，太啰嗦；该用函数重载或默认参数 - 已有 DLL / SO 导出函数改返回
std::optional？ABI 不兼容，二进制层面结构变了，下游链接直接失败 - 嵌入式或硬实时环境慎用：部分老标准库实现（如某些 Android NDK 版本）的
std::optional构造/析构可能触发动态分配（虽然标准不允许，但实现有 bug）
最容易被忽略的是移动后的状态：std::optional 移动后变成 std::nullopt，但很多人以为原对象还能用。一旦在移动后调 has_value()，得到的是 false——这没错，但如果你没意识到移动已清空它，逻辑就会悄悄出错。
