std::optional用于表示可能不存在的值，提升代码安全与可读性；可通过默认构造、直接初始化或make_optional创建，支持has_value、value_or及bool判断访问，适用于函数返回可能存在失败的情况，避免空指针或magic number滥用。

在C++17中引入的std::optional是一个非常实用的工具，用于表示一个值可能存在也可能不存在。它特别适合用来替代指针或使用特殊值（如-1、nullptr）来表示“无值”的情况，从而提升代码的安全性和可读性。

std::optional的基本用法

std::optional<T>是一个模板类，包装了一个类型为T的值，这个值可以存在也可以不存在。

创建一个std::optional对象有几种方式：

• 默认构造：创建一个空的optional
• 直接初始化：传入一个值
• 使用std::make_optional

// 示例代码 #include <optional> #include <iostream> std::optional<int> opt1; // 空值 std::optional<int> opt2 = 42; // 包含值42 auto opt3 = std::make_optional<double>(3.14); // 推荐用于复杂类型 if (opt2.has_value()) { std::cout << "值是: " << opt2.value() << "\n"; }

检查和访问optional中的值

不能直接使用*操作符访问值（虽然支持，但不安全），推荐先判断再取值。

立即学习“C++免费学习笔记（深入）”；

Accessibility Review

对设计或页面进行 WCAG 2.1 AA 无障碍审计。触发关键词：“audit accessibility”、 “check a11y”、 “is this accessible?” 或在审查设计时使用。

下载

• has_value()：返回是否包含有效值
• value()：获取值，若为空会抛出异常
• value_or(default)：若存在则返回值，否则返回默认值
• operator bool()：可用于条件判断

std::optional<std::string> getName(bool valid) { if (valid) return "Alice"; return std::nullopt; // 显式表示无值 } auto name = getName(false); if (name) { std::cout << *name << "\n"; // 可用*解引用 } else { std::cout << "无名字\n"; } // 更安全的方式 std::cout << name.value_or("Unknown") << "\n";

在函数返回值中使用optional

当函数可能无法返回有效结果时，使用std::optional比返回指针或使用输出参数更清晰。

std::optional<int> divide(int a, int b) { if (b == 0) return std::nullopt; return a / b; } auto result = divide(10, 3); if (result) { std::cout << "结果: " << *result << "\n"; } else { std::cout << "除零错误\n"; }

相比抛异常或使用bool+引用输出，这种方式更简洁且不易出错。

注意事项和最佳实践

避免滥用：不是所有“可能为空”的场景都适合用std::optional。例如容器本身就可以为空，不需要包装成optional<vector<T>>。

• 适用于逻辑上“可能没有结果”的函数返回值
• 避免对性能敏感的场合频繁拷贝大对象
• 注意value()调用前必须确保有值，否则抛std::bad_optional_access
• 用std::nullopt显式表示空值，提高可读性

基本上就这些。合理使用std::optional能让代码更清晰地表达“可选值”的语义，减少空指针或 magic number 的使用。