std::optional 是 C++17 引入的模板类，用于表示可能无值的情况，可安全封装有值或空状态，适用于查找、解析等可能失败的操作，避免指针或输出参数的弊端，提升代码清晰度与安全性。
在C++17之前，函数如果需要返回一个可能不存在的值，通常会使用指针（比如返回 nullptr 表示无值），或者用输出参数配合返回布尔值。这些方式要么容易出错，要么不够清晰。C++17 引入了 std::optional，提供了一种类型安全、语义明确的方式来处理“可能有值，也可能没有值”的情况。
什么是 std::optional？
std::optional
例如，从容器中查找某个元素，若找不到则不应返回无效引用或指针，而应返回一个“无值”状态。这时 std::optional 就非常合适。
基本用法示例
下面是一个简单的例子，展示如何使用 std::optional 实现一个安全的除法函数：
立即学习“C++免费学习笔记（深入）”；
#include#include std::optional divide(double a, double b) { if (b == 0.0) { return std::nullopt; // 表示无值 } return a / b; // 自动包装为 optional } int main() { auto result = divide(10, 3); if (result) { std::cout << "Result: " << *result << '\n'; } else { std::cout << "Division by zero!\n"; } auto bad_result = divide(10, 0); if (bad_result.has_value()) { std::cout << "Result: " << *bad_result << '\n'; } else { std::cout << "No valid result.\n"; } }
说明：
-
std::nullopt用于显式表示空值。 - 可以用条件判断（如
if (result)）检查是否有值。 - 用
*result解引用获取值（前提是有值，否则未定义行为）。 -
has_value()是成员函数，等价于static_cast。(result)
处理复杂类型和构造优化
std::optional 也支持非平凡类型，比如自定义结构体，并且可以使用 emplace 原地构造对象，避免不必要的拷贝：
struct Person {
std::string name;
int age;
};
std::optional find_adult(int id) {
// 模拟查找逻辑
if (id % 2 == 0) {
return std::optional{Person{"Alice", 25}};
}
return std::nullopt;
}
// 或者更高效地使用 emplace
std::optional create_person(bool should_create) {
std::optional opt;
if (should_create) {
opt.emplace("Bob", 30); // 原地构造
}
return opt;
}
这种方式避免了临时对象的创建与拷贝，提升性能，特别适用于大对象。
常见使用场景
std::optional 特别适合以下几种情况：
-
查找操作：容器中查找元素，找不到时返回
std::nullopt。 - 解析函数：字符串转数字、JSON 解析等可能失败的操作。
- 工厂函数：对象创建受条件限制，不一定能成功。
- 链式调用中的中间结果：每个步骤都可能失败，可用 optional 传递状态。
相比抛异常或使用输出参数，std::optional 更轻量、更直观，调用方必须显式检查是否有值，减少疏忽导致的错误。
基本上就这些。std::optional 让 C++ 的接口设计更清晰、更安全，是处理可选值的现代 C++ 推荐方式。
