std::optional是一种用于表示可能无值的模板类，提供has_value、value_or等方法安全访问值，避免使用魔法值或指针，适用于函数返回、配置项等场景。
在C++17中引入的std::optional提供了一种安全、清晰的方式来表示可能不存在的值。相比使用指针或特殊值（如-1、nullptr）来表达“无值”状态，std::optional让代码语义更明确，减少出错可能。
什么是std::optional？
std::optional<T>是一个模板类，用来包装一个类型为T的值，这个值可以存在，也可以不存在。它本质上是一个“容器”，最多容纳一个元素。
常见使用场景包括：
- 函数返回可能失败的结果（例如查找操作）
- 配置项可能未设置
- 避免使用魔法值（如用-1表示无效索引）
基本用法与构造方式
你可以通过多种方式创建和使用optional对象：
立即学习“C++免费学习笔记（深入）”；
#include <optional>
#include <iostream>
std::optional<int> findValue(const std::vector<int>& vec, int target) {
for (size_t i = 0; i < vec.size(); ++i) {
if (vec[i] == target) {
return i; // 返回索引
}
}
return std::nullopt; // 表示未找到
}
int main() {
std::vector<int> data = {10, 20, 30};
auto result = findValue(data, 25);
if (result.has_value()) {
std::cout << "Found at index: " << result.value() << "\n";
} else {
std::cout << "Not found\n";
}
// 或者使用更简洁的写法
if (result) {
std::cout << "Index: " << *result << "\n"; // 解引用获取值
}
}
关键成员函数说明：
- has_value()：检查是否有值
- operator bool()：可直接用于条件判断
- value()：获取值，若无值则抛出异常
- value_or(default)：有值则返回值，否则返回默认值
- operator*：解引用获取值（需确保有值）
处理复杂类型与性能考虑
std::optional支持类类型，甚至可以包含不可复制的对象：
std::optional<std::string> createMessage(bool success) {
if (success) {
return "Operation succeeded";
}
return std::nullopt;
}
auto msg = createMessage(true);
if (msg) {
std::cout << *msg << "\n";
}
注意：
- 构造optional对象时不会立即构造内部对象，除非显式赋值
- optional本身大小是sizeof(T)加上状态标记（通常多1字节）
- 对性能敏感的场景，避免不必要的拷贝，建议使用emplace构造
错误处理与最佳实践
使用value()前务必确认值存在，否则会抛出std::bad_optional_access异常：
try {
std::optional<int> opt;
std::cout << opt.value(); // 抛异常！
} catch (const std::bad_optional_access&) {
std::cout << "No value present!\n";
}
推荐做法：
- 优先使用
if (opt)判断是否存在值 - 使用
value_or(fallback)提供默认值 - 避免频繁解引用，注意生命周期
- 不要用optional代替异常处理，它适用于“预期中的缺失”
基本上就这些。std::optional让可选值的处理变得更直观、更安全，是现代C++中值得广泛使用的工具。
