std::optional通过类型安全的方式表示可能缺失的值，避免使用特殊标记或指针。它支持创建空值、赋值、检查是否存在（has_value、bool转换）、安全访问（value_or）等操作，适用于查找失败、配置缺失、解析错误等场景，提升代码清晰度与健壮性。
在C++17中引入的std::optional提供了一种类型安全的方式来表示可能不存在的值。相比使用指针或特殊值（如-1、nullptr）来表达“无值”状态，std::optional更加清晰、安全且易于使用。
基本用法：创建和赋值
std::optional是一个模板类，可以包装任何类型的值。它有两种状态：包含值或不包含值（即“空”状态）。
- 默认构造函数创建一个空的optional
- 可以通过直接初始化或emplace设置值
- 支持拷贝、移动和赋值操作
示例：
#include <optional>
#include <iostream>
std::optional<int> opt1; // 空值
std::optional<int> opt2 = 42; // 包含值42
std::optional<double> opt3{3.14}; // 初始化
if (opt2.has_value()) {
std::cout << "值为: " << opt2.value() << "\n";
}
检查值是否存在
判断optional是否有值是使用它的关键步骤。有多种方式可以检查：
立即学习“C++免费学习笔记（深入）”；
- has_value()：返回bool，明确表示是否包含值
- 隐式转换为bool：if (opt) 等价于 if (opt.has_value())
- 与std::nullopt比较：opt != std::nullopt
推荐使用if语句直接判断：
std::optional<std::string> find_name(int id) {
// 模拟查找逻辑
if (id == 42) return "Alice";
return std::nullopt;
}
auto result = find_name(42);
if (result) {
std::cout << "找到名字: " << *result << "\n"; // 解引用获取值
}
访问值的安全方式
访问optional中的值需要小心，避免未检查就使用。
- *opt：解引用获取值，若为空则行为未定义
- opt->：调用内部对象的方法，同样要求有值
- opt.value()：若无值会抛出std::bad_optional_access异常
- opt.value_or(default)：最安全的方式，若无值则返回默认值
建议优先使用value_or：
std::optional<int> config_value = get_config("timeout");
int timeout = config_value.value_or(30); // 默认30秒
应用场景举例
std::optional特别适合以下情况：
- 函数可能无法返回有效结果，比如查找操作
- 配置项可能不存在
- 解析字符串到数值时可能失败
- 替代nullptr用于非指针类型
例如实现一个安全的字符串转整数函数：
std::optional<int> to_int(const std::string& str) {
try {
size_t pos;
int value = std::stoi(str, &pos);
if (pos == str.size()) {
return value;
}
} catch (...) {
// 转换失败
}
return std::nullopt;
}
基本上就这些。std::optional让代码更清晰地表达“可选性”，减少因空值导致的错误。合理使用has_value、value_or和恰当的初始化方式，能写出更健壮的C++程序。
