std::optional用于替代魔数和非法状态，强制显式处理有值/无值情况，避免隐式假设；需判空后访问，支持value_or回退，不适用于动态内存管理或需错误信息的场景。
std::optional 用来替代「魔数」和「非法状态」
当一个函数可能无法返回有效值（比如查找失败、解析出错），传统做法常靠返回 -1、nullptr、std::string{""} 等“哨兵值”表示“无结果”。但这些值本身属于合法数据范围，容易被误用或忽略检查。例如 find_user_id() 返回 -1，调用方可能直接参与计算，导致逻辑错误。std::optional 强制你显式处理“有值”和“无值”两种情况，从类型层面杜绝隐式假设。
构造和访问 std::optional 必须显式判空
不能像裸指针那样直接解引用，也不能像普通变量那样默认使用。所有访问都要求先确认是否含值，否则行为未定义（debug 模式下通常抛异常）。
-
opt.has_value()或opt.operator bool()判断是否存在有效值 -
opt.value()获取值——若无值则抛std::bad_optional_access -
opt.value_or(default_val)安全回退，默认值类型需可隐式转换为T -
*opt和opt->仅在确定有值时可用，否则 UB
std::optional<int> find_first_positive(const std::vector<int>& v) {
for (int x : v) {
if (x > 0) return x;
}
return std::nullopt; // 明确表示“找不到”
}
auto result = find_first_positive({-1, -2, 0});
if (result) { // 等价于 result.has_value()
std::cout << "Found: " << *result << "\n";
} else {
std::cout << "Not found\n";
}
和指针、特殊值、异常相比的取舍
std::optional 不是万能替代品，适用场景有限制：
Yarn - Control and Access Threads.com via the CLI
下载
通过 yarn-threads-cli 与 Threads（Meta）交互。当用户想要阅读首页动态、点赞、收藏的帖子或特定帖子时使用；查看...
- 不适用于需要动态内存管理的场景（它内部是栈上存储，
T必须满足is_trivially_destructible等约束） - 比裸指针多一点空间开销（通常 1 字节 tag + 对齐填充），但远小于堆分配成本
- 比抛异常更轻量，适合高频、预期可能失败的路径（如配置项解析、map 查找）
- 不能代替
std::expected表达失败原因——它只回答“有没有”，不回答“为什么没有”
常见误用：忘记移动语义和拷贝代价
std::optional<std::string> 的拷贝会触发字符串深拷贝；返回大对象时建议用 std::move 转移所有权。另外，不要用 std::optional<T&>——引用类型不被允许，编译器会直接报错。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
std::optional<std::vector<int>&>→ 编译失败 - 低效写法：
return std::optional<HeavyStruct>{obj};→ 多一次拷贝 - 推荐写法：
return std::optional<HeavyStruct>{std::move(obj)};
真正难的是设计 API 时判断该不该用 std::optional：不是所有“可能为空”的地方都适合——比如工厂函数返回 std::unique_ptr 更自然；而纯计算型接口（如 parse_int）用 std::optional<int> 就很干净。
