std::optional 是 C++17 引入的安全表示“值可能不存在”的工具；支持用 std::nullopt 初始化空值或直接构造有值对象，通过 has_value() 或布尔转换判断是否含值，推荐用 value_or() 安全取值，常用于函数返回以替代错误码。
std::optional 是 C++17 引入的工具，用来明确表示“某个值可能不存在”——它比用特殊值（如 -1、nullptr、INT_MIN）或额外布尔标志更安全、更清晰。
怎么创建和检查 optional
你可以用 std::nullopt 初始化一个空的 optional，也可以用值直接构造：
std::optionala; // 空，等价于 std::optional {std::nullopt} std::optionalb = 42; // 有值 42 std::optional<:string> c{"hello"};
判断是否有值，用 has_value() 或直接当 bool 用：
if (b) { /* b 有值 */ }if (c.has_value()) { /* c 有效 */ }
安全获取值的几种方式
别直接用 *opt 或 opt.value()，除非你 100% 确定它有值，否则会崩溃。
立即学习“C++免费学习笔记（深入）”；
-
*b—— 仅当确定非空时解引用 -
b.value()—— 有值返回值，否则抛std::bad_optional_access -
b.value_or(-1)—— 有值返回它，否则返回默认值（比如 -1） -
b.emplace(99)—— 原地构造新值（若已有值则先析构）
在函数返回中用 optional 表达“可能失败”
替代返回特殊错误码或用输出参数：
-
std::optionalfind_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，能让接口语义更清楚，减少隐式约定和空值误用。
