C++中的std::optional如何避免空指针？C++17返回值处理技巧【代码健壮性】

std::optional 用值语义替代空指针逻辑，强制调用方显式处理“有无值”，避免空指针解引用；禁用 optional，推荐 value_or() 和 structured binding 提升安全与简洁性。

std::optional 本身不是指针，它根本不会产生空指针——它用值语义替代了“可能为空”的指针逻辑，从而从源头规避空指针解引用风险。

用 optional 替代裸指针或返回 nullptr 的习惯

传统 C++ 中常靠返回 nullptr 表示失败（比如工厂函数、查找函数），调用方若忘记判空，就会崩溃。而 std::optional 强制你面对“有没有值”这个事实：

• 返回 std::optional，调用方必须显式检查是否有值（has_value() 或 operator bool()）才能安全取值
• 不能直接对 optional 解引用；必须用 *opt 或 opt.value() —— 后者在无值时抛异常，比静默崩溃更易定位问题
• 例如查找 map 中的元素：
    std::optional find_value(const std::map<:string int>& m, const std::string& k) {
      if (auto it = m.find(k); it != m.end()) return it->second;
      return std::nullopt;
    }

避免隐式转换和意外构造

optional 容易被误用成“可选指针”，但它的设计初衷是“可选值”。注意这些坑：

• 不要用 std::optional 来模拟“可能为空的指针”——这反而增加了间接层，且仍可能解引用空指针
• 禁止用 optional opt = nullptr;（编译不过），但小心 optional opt{}; 是空状态，不是默认构造的 T
• 想提供默认值？优先用 opt.value_or(default_val)，而不是先判空再分支，代码更简洁安全

与函数返回值配合提升健壮性

C++17 起，optional 非常适合做“可能失败的计算”的返回类型，替代错误码或异常（尤其在性能敏感或异常禁用场景）：

• 解析字符串为整数：std::optional try_parse_int(const std::string& s)，成功返回值，失败返回 std::nullopt
• 调用方自然写成：
    if (auto val = try_parse_int("123")) { use(*val); }
    // 不需要 try-catch，也不用传入输出参数或检查 errno
• 配合 structured binding（C++17）还能简化多值返回逻辑（如带状态的结果），但需封装为结构体 + optional

基本上就这些。optional 不是万能药，但它把“空值处理”从约定俗成的协作责任，变成了编译器可检查、调用方无法忽视的接口契约。