std::optional是C++17引入的模板类，用于安全表示可能不存在的值。它明确区分有值和无值状态，避免空指针或魔法值带来的风险。例如查找偶数时，返回std::optional<int>可清晰表达“未找到”情况。通过has_value()判断是否含值，用value_or()提供默认值更安全。适用于函数可能失败、需区分“未设置”与“默认值”等场景，提升接口清晰度。相比传统做法，无需魔法值或输出参数，更直观安全。注意避免用于基础类型的频繁传递，不滥用解引用，确保访问前检查值的存在性，从而减少运行时错误。
在C++17中引入的std::optional提供了一种类型安全的方式来表示可能不存在的值。相比使用指针或特殊值（如-1、nullptr）来表达“无值”状态，std::optional更清晰、更安全，能有效避免空指针解引用等常见错误。
什么是std::optional？
std::optional是一个模板类，封装了一个可选的值。它可以处于两种状态之一：包含一个有效值，或为空（即没有值）。这种机制特别适用于函数返回值可能不存在的情况。
例如，查找容器中某个元素的函数，找不到时不应返回非法地址或猜测值，而应明确表示“未找到”：
示例：查找数组中第一个偶数
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
#include <optional>
#include <vector>
std::optional<int> find_first_even(const std::vector<int>& nums) {
for (int n : nums) {
if (n % 2 == 0) {
return n; // 自动包装为 optional
}
}
return std::nullopt; // 显式表示无值
}
如何检查和访问optional中的值
有多种方式判断optional是否包含值，并安全地获取它：
- has_value()：返回bool，判断是否有值
- *op：解引用获取值（前提是有值，否则未定义行为）
- op.value()：获取值，若无值则抛出异常
- op.value_or(default)：有值则返回值，否则返回默认值
使用建议：
auto result = find_first_even({1, 3, 5});
if (result.has_value()) {
std::cout << "Found: " << *result << "\n";
} else {
std::cout << "No even number.\n";
}
// 或者用 value_or 提供默认值
int val = result.value_or(0); // 找不到就用0
何时使用std::optional
适合用于以下场景：
- 函数可能无法返回有效结果，比如解析字符串为整数
- 需要区分“未设置”和“默认值”的配置项
- 替代布尔+输出参数的复杂接口设计
- 构造函数中初始化失败但又不想抛异常的情况（配合工厂函数）
对比传统做法的优势：
不再依赖魔法值（如-1表示无效），也不需要用输出参数改变外部变量，接口更直观、不易误用。
注意事项与最佳实践
虽然std::optional很实用，但也需注意几点：
- 不要对primitive type频繁使用optional，除非语义上确实需要“缺失”状态
- 避免将optional作为函数参数传递（影响性能且可读性差），优先用重载或默认参数
- 注意拷贝和移动语义：optional会管理内部对象的生命周期
- 慎用*和value()，确保调用前已检查是否有值
基本上就这些。std::optional让C++中的“可空值”处理变得更现代、更安全。合理使用它，能让代码逻辑更清晰，减少运行时错误。不复杂但容易忽略的是：始终记得检查是否有值再访问。
