std::optional 是 C++17 引入的模板类，用于表示可能无值的情况。它封装一个值，可处于有值或无值（std::nullopt）状态，避免使用特殊值或指针表达空状态。适用于函数返回可能存在失败的场景，如查找、解析等。通过 has_value()、operator bool、value_or() 等方法安全访问值，提升代码安全性与可读性，是替代输出参数或异常处理的更优选择。
C++17 引入了 std::optional，用于处理可能“无值”的情况。它是一个模板类，能明确表示一个值可能存在，也可能不存在，避免使用指针或特殊值（如 -1、nullptr）来表达“空状态”，从而提升代码的安全性和可读性。
什么是 std::optional？
std::optional 是一个容器，最多容纳一个元素。它可以处于两种状态：
- 有值：包含一个合法的对象。
- 无值：等价于“空”或“未初始化”状态，用 std::nullopt 表示。
它特别适合用于函数返回值，当函数可能无法产生有效结果时，比如查找、解析或计算失败的情况。
基本用法示例
包含头文件：<optional>
立即学习“C++免费学习笔记（深入）”；
下面是一个简单的例子，演示如何创建和使用 optional：
#include <optional>
#include <iostream>
std::optional<int> divide(int a, int b) {
if (b == 0) {
return std::nullopt; // 返回无值
}
return a / b; // 自动包装为 optional
}
int main() {
auto result = divide(10, 2);
if (result.has_value()) {
std::cout << "结果: " << result.value() << "\n";
}
auto bad_result = divide(10, 0);
if (!bad_result) { // 可直接判断
std::cout << "除零错误！\n";
}
}
常用成员函数和操作
std::optional 提供了多种方式来检查和访问内部值：
- has_value()：返回布尔值，判断是否有值。
- *operator：解引用获取值（需确保有值，否则未定义行为）。
- value()：获取值，若无值则抛出异常 std::bad_optional_access。
- value_or(default)：若有值则返回值，否则返回默认值。非常实用。
- operator bool()：可直接用于条件判断。
示例：
std::optional<std::string> find_name(int id) {
if (id == 42) return "Alice";
return std::nullopt;
}
auto name_opt = find_name(999);
std::cout << "名字: " << name_opt.value_or("未知") << "\n"; // 输出“未知”
适用场景与优势
std::optional 特别适用于以下情况：
- 函数查找某个元素但可能找不到（如 map 查找）。
- 解析字符串转数字，失败时不希望抛异常。
- 需要返回多个值中的一个可选值。
- 替代布尔 + 引用输出参数的“成功/失败 + 值”模式。
相比传统做法（如用指针返回 nullptr 或使用输出参数），optional 更清晰、更安全，且支持移动语义和复杂类型。
基本上就这些。合理使用 std::optional 能让代码逻辑更直观，减少空值处理的疏漏。不复杂但容易忽略。
