std::optional 该在什么函数签名里用？
只在「可能无有效返回值」且调用方需要区分「成功但值为空」和「根本没结果」时才用 std::optional。比如查找函数：找不到就该是 std::nullopt，而不是抛异常或返回哨兵值（如 -1、nullptr）。
- ✅ 推荐：
std::optional<:string> find_user_name(int user_id)</:string>—— ID 可能不存在，返回空是合法状态 - ❌ 避免：
std::optional<int> parse_int(const std::string& s)</int>—— 解析失败属于错误，更适合用std::expected（C++23）或抛std::invalid_argument - ⚠️ 注意：不要用它替代布尔标志位，比如
std::optional<bool></bool>表达「未设置/真/假」——这会让调用方必须检查has_value()才敢解包，反而增加认知负担
解包前必须检查 has_value() 吗？
必须。直接调用 value() 或 * / -> 操作符而未确认有值，行为是未定义的 —— 大多数标准库实现会 abort 或抛 std::bad_optional_access，但不保证。
- 安全写法优先用
if (auto opt = get_config(); opt.has_value()) { use(*opt); } - 想默认值就用
opt.value_or("default")，别写opt ? *opt : "default"—— 冗余且易漏判 - 用
value()仅限你 100% 确认前置逻辑已保证非空（例如刚从emplace()构造完），否则静态分析工具（如 clang-tidy）会报 warn
移动语义和拷贝开销怎么控制？
std::optional 本身只存一个布尔位 + 对齐填充，但内部对象的构造/析构成本全在你传入的类型上。别让它成为性能盲区。
- 传入大对象（如
std::vector）时，优先用移动构造：return std::optional<:vector>>{std::move(result)};</:vector> - 避免反复赋值：连续多次
opt = x;会触发旧值析构 + 新值构造，比直接opt.emplace(x)多一次开销 - 如果内部类型不可移动（如含
const成员），std::optional的emplace和赋值都会退化为拷贝 —— 这时得权衡是否真需要 optional，还是改用指针 +std::unique_ptr
和 nullptr、-1、特殊返回值比，优势在哪？
核心是类型安全和意图明确：编译器能阻止你把 std::optional<int></int> 当成 int 直接用，也避免魔数污染接口契约。
立即学习“C++免费学习笔记（深入）”；
-
find_first_positive({-1,-2})返回-1？那 -1 是结果还是错误码？调用方永远要查文档 -
std::optional<int></int>强制调用方显式处理空状态：if (auto v = find_first_positive(...)) { ... }，漏掉if编译不过（配合 -Wmaybe-uninitialized 等警告） - 兼容性注意：C++17 起才有，老项目若需支持 C++14，别硬套；可用
absl::optional或自定义轻量 wrapper，但别自己重实现内存布局
最常被忽略的是隐式转换：别给自定义类型加 operator bool() 或 operator T()，否则 std::optional 的存在性检查会被绕过，变成静默错误。
