17370845950

std::optional 是 C++17 引入的用于明确表达“可能有值也可能无值”的工具，适用于函数本应返回对象但某些条件下无法构造有效结果的场景，如 map 查找失败、字符串解析非法、配置未设置等；它替代哨兵值和裸指针，不替代异常或 bool+输出参数；需注意类型限制（不可为引用/数组/void）、内存开销及避免嵌套。

std::optional 是 C++17 引入的标准库工具，用于明确表达“可能有值，也可能没有值”的语义，替代裸指针、特殊哨兵值（如 -1、nullptr）或自定义包装类来表示可选返回值。

什么时候该用 std::optional？

适用于函数**本应返回一个对象，但某些条件下无法构造有效结果**的场景。典型例子：

• 从 map 查找键：找不到时不应返回默认构造值（可能不合法），也不该抛异常（查找失败是常见情况）
• 解析字符串为数字：输入非法时无有效 int 可返回
• 异步操作未就绪、配置项未设置、缓存未命中等“暂时不可用”状态

它不是用来替代 bool 返回 + 输出参数，也不是替代异常处理（错误/异常仍该用 exception）。

基本用法：创建、检查、取值

声明一个可能为空的 int：

std::optional maybe_x; // 初始化为空（has_value() == false）
std::optional x = 42; // 直接初始化，内部含值
std::optional y{std::nullopt}; // 显式构造为空

检查并安全访问：

• if (maybe_x.has_value()) 或简写 if (maybe_x)
• *maybe_x —— 解引用获取值（运行时断言有值，否则未定义行为）
• maybe_x.value() —— 同上，但可自定义异常（重载 value_or() 更推荐）
• maybe_x.value_or(-1) —— 有值则返回值，否则返回默认值 -1（类型需可隐式转换）

作为函数返回值的典型写法

例如安全查找 map 中的值：

std::optional<:string> find_name(const std::map& db, int id) {
  auto it = db.find(id);
  if (it != db.end()) return it->second; // 自动转换为 optional
  return std::nullopt; // 或直接 return {};
}

调用方清晰表达意图：

auto name = find_name(db, 123);
if (name) {
  std::cout } else {
  std::cout }

注意边界与限制

• 不能存放引用、数组、void 类型；T 必须满足可移动（且若要原地构造，还需可复制或可移动）
• 不支持空状态的多态（即不能像 variant 那样存多种类型）
• optional 的大小 ≈ sizeof(T) + 1 字节（用于标记状态），对性能敏感场景需留意
• 避免链式 optional（如 optional>），语义混乱，应扁平化设计

std::optional 让“有没有值”成为类型系统的一部分，调用方无法忽略缺失情况，显著提升接口健壮性与可读性。