17370845950

推荐用隐式布尔转换判空（if (opt)），最简洁安全；其次可用has_value()；避免与nullopt比较。取值前必须判空，否则UB；默认值用value_or()；构造赋值需注意初始化状态。

std::optional 判空最直接、推荐的方式是用 隐式布尔转换（即 if (opt)），而不是手动比较 has_value() 或与 nullopt 比较——它更简洁、安全、符合惯用法。

判空的三种写法，优先级从高到低

✅ 推荐：隐式转换（最自然、最常用）

• if (opt) { /* 有值 */ }
• if (!opt) { /* 为空 */ }
• 底层调用 has_value()，但语义清晰，无额外开销

⚠️ 可用但稍冗余：显式调用 has_value()

• if (opt.has_value()) { /* 有值 */ }
• 适合强调“是否含有效值”的逻辑场景，比如调试或文档化意图
• 和隐式转换性能一致，但代码略长

❌ 不推荐：与 std::nullopt 比较

• if (opt != std::nullopt) —— 可读性差，且对自定义类型可能触发不必要的构造/比较
• 除非你明确需要区分“未初始化”和“值等于默认构造结果”，否则没必要

取值前必须先判空，否则行为未定义

opt.value() 和 *opt 都要求 optional 非空；若为空，前者抛 std::bad_optional_access，后者触发未定义行为（UB）。

• 安全写法：if (opt) use(*opt); 或 if (opt) use(opt.value());
• 想提供默认值？用 opt.value_or(default_val)，它内部已自动判空
• 避免裸解引用：int x = *opt;（没检查）→ 危险！

构造和赋值的常见正确姿势

✅ 正确初始化

• std::optional opt1{42}; —— 有值
• std::optional opt2{}; 或 std::optional opt2 = std::nullopt; —— 为空
• std::optional<:string> opt3{"hello"}; —— 支持直接构造含值对象

✅ 安全赋值

• opt = 100; → 自动就地构造（若已有值则析构旧值再构造新值）
• opt = std::nullopt; → 清空为无效状态
• opt = std::optional{200}; → 移动赋值，高效

配合函数返回值使用的典型模式

把可能失败的计算封装成返回 std::optional 的函数，调用方自然处理“无结果”情况：

• 示例：查找 map 中键对应的值
• std::optional find_value(const std::map<:string int>& m, const std::string& k) { auto it = m.find(k); return (it != m.end()) ? std::optional(it->second) : std::nullopt; }
• 调用：if (auto val = find_value(m, "key")) { std::cout （利用 if 初始化 + 隐式判空）