更新时间： 2026-08-27
写函数时经常遇到这种问题：查找一个东西，可能找不到。返回值怎么办？老办法是返回特殊值（-1、空字符串、nullptr），或者传个 bool 出来。std::optional<T>（C++17）提供了更干净的答案——一个"可能装着 T，也可能空着"的盒子。
本文要回答：optional 解决什么痛点？has_value()/value_or() 怎么用？它和指针、和哨兵值相比好在哪？
一、为什么需要 optional
看一个经典场景：从配置里按 key 取整数值，key 可能不存在：
// 老办法 1：特殊值哨兵
int get_port() {
if (config_has("port")) return config_port();
return -1; // 用 -1 表示"没有"——万一配置真给了 -1 呢？
}
// 老办法 2：输出参数
bool get_port(int& out) {
if (!config_has("port")) return false;
out = config_port();
return true;
}
// C++17：optional
std::optional<int> get_port() {
if (!config_has("port")) return std::nullopt; // 明确表示"无值"
return config_port();
}哨兵值的毛病：特殊值可能恰好是合法值（配置里真写了 -1 怎么办），而且读代码的人不知道"哪个值是特殊值"。输出参数把语义藏在 bool 里，啰嗦。optional 把"有没有值"变成类型的一部分——用类型表达"可能没有"，这正是现代 C++ 的一贯风格。
二、基本用法
#include <optional>
#include <string>
std::optional<std::string> find_user(int id); // 可能查不到
// 构造
std::optional<int> a = 42; // 有值
std::optional<int> b; // 无值（默认构造）
std::optional<int> c = std::nullopt; // 无值（显式）
// 判空
if (a.has_value()) { /* 有值 */ }
if (b) { /* 无值时不进入 */ } // 隐式 bool 转换
// 取值
int v1 = a.value(); // 有值返回，无值抛 std::bad_optional_access
int v2 = a.value_or(0); // 有值返回，无值返回 0（推荐）
int v3 = *a; // 解引用（不检查！无值时是 UB）三个取值方式，优先级排列：
| 方式 | 行为 | 无值时 | 适用 |
|---|---|---|---|
value() | 有值返回 | 抛异常 | 确定有值 / 想报错 |
value_or(x) | 有值返回，无值返回 x | 返回默认值 | 最常用 |
* 解引用 | 直接取 | 未定义行为 | 已判空后的热点路径 |
日常代码里 value_or 用得最多——"有就用，没有用默认值"一步到位。* 要在 if (opt) 判过空之后再用，和裸指针 *p 的风险一样。
三、optional 与指针的对比
std::optional<T> 和"指向 T 的指针"都能表达"可能没有"，差别在哪：
| 维度 | T* | std::optional<T> |
|---|---|---|
| 值存储 | 对象在别处（指针指向） | 值内嵌在 optional 里 |
| 生命周期 | 指针不拥有对象 | optional 拥有值 |
| 空值 | nullptr | nullopt |
| 误用风险 | 悬垂、忘记释放 | 无所有权问题 |
| 大小 | 一个指针大小 | T 的大小 + 标志位 |
关键区别：optional 是"值语义"——它自己持有 T（内存里就是 T + 有没有 的标记），不需要额外分配堆内存，不用管释放。指针是"引用语义"——指向别处的对象，所有权要操心。所以"返回一个可能没有的小对象"用 optional，"返回一个可能没有的大对象（不想拷贝）"才考虑指针或引用。
@startuml
left to right direction
skinparam nodeFontSize 13
skinparam backgroundColor #FFFFFF
rectangle "std::optional<int>" as opt #E8F1FF {
node "标志：有无" as flag #DCE9FF
node "存储：int 本体" as store #D9FFE2
}
rectangle "int*" as ptr #FFF3D6 {
node "指针 → 堆上的 int" as p1 #FFF3D6
}
opt -[hidden]right- ptr
note bottom of opt
optional 自带存储，
不需要堆分配
end note
@enduml四、C 对照
C 里没有 optional，最接近的组合是"结构体 + 标志位"：
typedef struct {
int value;
int has_value; // 0 或 1
} OptionalInt;| 需求 | C（手写结构体） | C++（std::optional） |
|---|---|---|
| 表示可能无值 | 加标志字段 | 类型自带 |
| 构造 | 手动初始化 | 默认 / nullopt / 有值 |
| 判空 | if (o.has_value) | if (o) |
| 取默认值 | 手动三目 | o.value_or(d) |
| 忘记判空 | 用垃圾值 | * 是 UB，value() 会抛 |
| 通用性 | 每种类型写一套 | 模板，任何类型都能用 |
C 的手写方案每个类型都要重新造一遍（OptionalInt、OptionalStr……），模板的 optional 一劳永逸。
五、optional 的典型场景
- 查找函数返回值：查表、查配置、查数据库——"可能查不到"
- 解析函数的可选参数：
std::optional<size_t>表示"长度参数，可不传" - 异常敏感的旧代码迁移：不想抛异常（性能/接口约束），又不想用哨兵值
- 成员字段"可有可无"：
std::optional<std::string> nickname;比空字符串更有语义
注意一个细节：optional<T> 里装的是 T 的副本。如果 T 很大（比如 std::vector），返回 optional 会有拷贝成本——现代 C++ 的返回值优化（NRVO）通常能消掉，但心里要有数。装大对象时，optional<std::unique_ptr<T>> 之类的组合要小心：unique_ptr 本身是移动的，倒没大问题，只是"optional 套指针"和裸指针语义又接近了，想清楚再选。
六、与本站主线衔接
- 48 篇（nullptr）：空指针与 optional 是两种"可能没有"的表示，指针走引用语义、optional 走值语义
- 41 篇（pair/tuple）：函数"返回多个值/可能无值"的组合拳
- 52 篇（variant）：optional 是"两个类型"的 variant 特例（
optional<T>≈variant<nullopt_t, T>） - 54-57 篇（异常）：optional 是"不想抛异常"时的替代方案之一
七、一句话总结
std::optional<T> 是"可能没有值"的值语义容器——自己持有 T、无堆分配、has_value() 判空、value_or(x) 取默认值一步到位；它替代了哨兵值、输出参数和"可选指针"，用类型把"可能没有"表达清楚。