std::optional是C++17引入的模板类，用于表示可能不存在的值，解决传统空值表达不清晰的问题。它位于头文件中，可包装任意类型，支持默认构造、nullopt初始化及直接赋值。通过has_value()或布尔上下文判断是否含值，推荐使用value_or提供默认值以避免未定义行为。典型应用场景包括：返回查找结果（如find_first_even函数）、避免魔法值歧义、延迟成员初始化（如User类nickname_）。注意不能直接包装引用类型，需用reference_wrapper；解引用前必须确保有值，否则未定义行为；其性能开销小，语义清晰，是现代C++处理可选值的首选方案。
在C++17中引入的std::optional是一种用于表示“可能存在或可能不存在”的值的类型。它解决了传统C++中难以表达“空值”或“无返回值”的问题，特别是在函数返回值的场景中非常有用。
什么是std::optional？
std::optional 是一个模板类，位于
比如一个函数需要查找某个元素，但该元素可能不存在。过去常用指针返回（nullptr 表示找不到），或者抛异常，或者用 bool + 引用输出参数。而使用 std::optional 更清晰、更安全。
基本用法
声明和初始化方式如下：
立即学习“C++免费学习笔记（深入）”；
- std::optional
opt; // 默认构造，无值 - std::optional
price = std::nullopt; // 显式设为空 - std::optional<:string> name = "Alice"; // 包含值
- std::optional
num = 42;
检查是否有值：
- if (opt.has_value()) { ... }
- if (opt) { ... } // 支持布尔上下文
获取值（注意安全）：
- *opt // 解引用获取值（若无值则未定义行为）
- opt.value() // 若无值会抛出 std::bad_optional_access
- opt.value_or(default_value) // 推荐方式：无值时返回默认值
实际应用场景
1. 函数返回可能不存在的结果
例如实现一个查找数组中满足条件的第一个偶数：
#include#include std::optional find_first_even(const std::vector & nums) { for (int n : nums) { if (n % 2 == 0) { return n; // 直接返回值 } } return std::nullopt; // 明确表示没找到 }
调用时可以安全判断：
auto result = find_first_even({1, 3, 5, 8, 9});
if (result) {
std::cout << "找到偶数: " << *result << std::endl;
} else {
std::cout << "没有偶数" << std::endl;
}
2. 避免使用魔法值
传统做法可能用 -1 或 0 表示“无效值”，但这些可能是合法数据。
std::optional 能彻底避免歧义。
3. 构造函数或工厂函数中延迟初始化
成员变量可以用 std::optional 在构造时暂不赋值，后续再设置：
class User {
std::optional nickname_;
public:
void set_nickname(std::string nick) {
nickname_ = std::move(nick);
}
std::string get_nickname_or_default() const {
return nickname_.value_or("Anonymous");
}
};
注意事项
std::optional 不能用于引用类型（如 std::optional
性能方面，std::optional 带有一小部分开销（通常是一个 bool 标志位），但对于大多数场景完全可以接受。
不要对没有值的 optional 解引用，否则行为未定义。推荐使用 .has_value() 判断或 value_or 提供默认值。
基本上就这些。std::optional 让代码语义更清晰，减少空指针或 magic number 的滥用，是现代C++中处理可选值的首选方式。
