std::optional用于安全表示可能无值的情况，避免指针或异常；通过has_value、*操作符、value_or等方法检查和访问值，结合nullopt处理空状态，提升代码安全性与可读性。
在C++17中，std::optional 提供了一种安全的方式来表示可能不存在的值。它特别适用于函数返回值，当结果可能无效或无法计算时，可以避免使用指针或异常来传达“无值”状态。
std::optional 基本用法
std::optional 是一个模板类，包装了一个可选类型的值。它可以处于“有值”或“无值”（即空）状态。
定义头文件：
#include
常见初始化方式：
- 创建一个空 optional：std::optional
opt; - 直接赋值有值：std::optional
opt = 42; - 使用 make_optional（推荐）：auto opt = std::make_optional(100);
- 显式构造空值：std::optional
empty_opt{};
检查和访问值
必须先确认是否有值，再进行访问，否则可能导致未定义行为。
立即学习“C++免费学习笔记（深入）”；
- 用 has_value() 判断是否包含有效值：if (opt.has_value()) { ... }
- 用 *operator 直接解引用获取值（需确保有值）：int val = *opt;
- 用 value() 获取值，若为空会抛出异常 std::bad_optional_access
- 用 value_or(default) 安全获取默认值：int result = opt.value_or(-1); // 若无值则返回 -1
实际应用场景示例
比如实现一个可能失败的除法函数：
std::optionalif (b == 0.0) return std::nullopt;
return a / b;
}
调用时安全处理：
auto result = safe_divide(10, 3);if (result) {
std::cout } else {
std::cout ailed!" }
与 nullopt 和其他操作配合
std::nullopt 表示一个空的 optional，可用于赋值或比较。
- 清空已有值：opt = std::nullopt;
- 比较两个 optional：opt1 == opt2 在值相等或都为空时为 true
- 支持移动和拷贝语义，适合用在容器或函数传参中
基本上就这些。std::optional 让代码更清晰地表达“可能无值”的逻辑，减少错误，提升安全性。不复杂但容易忽略。
