std::optional作为返回类型应写为std::optional<T> func(...);，不可用于引用模板参数；调用方须先检查has_value()或用value_or()安全取值，避免直接调用value()导致异常。
std::optional 作为返回类型时怎么写函数签名
直接用 std::optional<t></t> 替代裸指针或 T*，是最自然的表达方式。它明确告诉调用方：这个函数可能不返回有效值，且不依赖空指针或特殊哨兵值（比如 -1、nullptr）来表示“无”。
常见错误是误用 std::optional<t></t> —— 这在标准中是非法的，因为 std::optional 要求模板参数可复制/可移动，而引用类型不满足；若需返回可选引用，应改用 std::optional<:reference_wrapper>></:reference_wrapper> 或更常见的做法：返回 std::optional<t></t>（值语义）或裸指针（如 T*）。
- 正确写法：
std::optional<int> find_value(const std::vector<int>& v, int target);</int></int> - 错误写法：
std::optional<int> get_ref();</int>（编译失败） - 若必须返回引用语义，用
T*更直白，比如const int* find_ptr(...);
调用方如何安全取值，避免 value() 崩溃
value() 在无值时抛出 std::bad_optional_access，不是所有场景都适合异常路径。更推荐先检查再取值，或用 value_or() 提供默认回退。
- 显式检查：
if (auto opt = find_value(v, 42)) { use(*opt); }（注意解引用前确保有值） - 带默认值：
int x = find_value(v, 42).value_or(-1); - 避免裸
value()，除非你确定逻辑上一定有值（比如已用has_value()判定过） - 不要写
opt.value().some_method()这类链式调用，一旦中间为空就崩溃
和传统方案（指针 / 哨兵值）比，有什么实际差异
核心区别在于语义清晰性和类型安全性。指针隐含所有权模糊（谁释放？是否可空？），哨兵值依赖约定（比如 size_t 返回 std::string::npos），而 std::optional 把“可能为空”直接编码进类型系统。
立即学习“C++免费学习笔记（深入）”；
- 性能：多数实现是零开销抽象 —— 和裸值大小一致（加上一个布尔标记位），无堆分配
- 兼容性：C++17 起原生支持，无需第三方库；但旧代码若未启用 C++17，不能直接用
- 传参场景注意：
std::optional是值类型，传大对象时建议 const 引用：void process(const std::optional<heavy>& opt);</heavy> - 不能替代
std::unique_ptr：前者表示“值可能不存在”，后者表示“资源独占+可能为空”
容易被忽略的构造与移动细节
构造 std::optional 时，直接传值会触发拷贝或移动；想避免额外开销，可用 std::in_place 原地构造。
- 推荐写法：
return std::optional<:string>{std::in_place, "hello"};</:string>（避免临时 string 拷贝） - 返回局部变量时，编译器通常能优化移动，但显式用
std::move不必要，甚至有害（可能阻止 RVO） - 注意隐式转换：
std::optional<int> o = 42;</int>合法（会构造含值的 optional），但std::optional<:string> s = "abc";</:string>不合法（字符串字面量不能隐式转 std::string） - 清空用
opt.reset()或赋值opt = std::nullopt;，二者等价
最常踩的坑其实是把 std::optional 当成智能指针来用，或者在不需要值语义的场景（比如只读查找）强行套用，反而增加不必要的拷贝或内存布局开销。它真正适合的是「逻辑上可能无结果，且结果本身适合按值传递」的函数。
