17370845950

std::optional 是 C++17 引入的安全表示“值可能不存在”的工具；支持用 std::nullopt 初始化空值或直接构造有值对象，通过 has_value() 或布尔转换判断是否含值，推荐用 value_or() 安全取值，常用于函数返回以替代错误码。

std::optional 是 C++17 引入的工具，用来明确表示“某个值可能不存在”——它比用特殊值（如 -1、nullptr、INT_MIN）或额外布尔标志更安全、更清晰。

怎么创建和检查 optional

你可以用 std::nullopt 初始化一个空的 optional，也可以用值直接构造：

• std::optional a; // 空，等价于 std::optional{std::nullopt}
• std::optional b = 42; // 有值 42
• std::optional<:string> c{"hello"};

判断是否有值，用 has_value() 或直接当 bool 用：

• if (b) { /* b 有值 */ }
• if (c.has_value()) { /* c 有效 */ }

安全获取值的几种方式

别直接用 *opt 或 opt.value()，除非你 100% 确定它有值，否则会崩溃。

• *b —— 仅当确定非空时解引用
• b.value() —— 有值返回值，否则抛 std::bad_optional_access
• b.value_or(-1) —— 有值返回它，否则返回默认值（比如 -1）
• b.emplace(99) —— 原地构造新值（若已有值则先析构）

在函数返回中用 optional 表达“可能失败”

替代返回特殊错误码或用输出参数：

• std::optional find_first_even(const std::vector& v) {
  for (int x : v) if (x % 2 == 0) return x;
  return std::nullopt; // 找不到就返回空
}
• 调用时：if (auto res = find_first_even({1,3,5})) { std::cout

注意：optional 不是万能的，有些情况不适合

• 不适用于需要多态或运行时类型擦除的场景（考虑 std::variant 或指针）
• 不应包装已自带“空状态”的类型（比如 std::shared_ptr 本身就能为空）
• 值类型必须可移动（最好也可拷贝），且不能是引用或数组

基本上就这些。用好 std::optional，能让接口语义更清楚，减少隐式约定和空值误用。