std::optional 仅延迟构造，不延迟内存分配、不代理资源、不支持空传播；误用于文件句柄等会导致内存膨胀、竞态崩溃、生命周期错位三类问题。
std::optional 不能真正延迟加载深层资源，它只延迟构造，不延迟内存分配、不代理外部资源、也不支持链式空传播；强行用它管理文件句柄、网络连接或大对象，会踩内存膨胀、竞态崩溃、生命周期错位三类坑。
std::optional 解引用前不检查空状态必抛 std::bad_optional_access
这不是编译错误，是运行期崩溃。尤其在多层嵌套（如 user.profile.avatar_url）时，漏掉任意一层判空就会炸。
-
if (opt)是最简明安全的检查方式，调用operator bool()，语义清晰且零开销 - 禁止把
*opt或opt->member写在if (opt) { }外部、else分支里，或跨作用域保存引用 -
opt.value()虽然会检查并抛异常，但生产环境不该靠异常做流程控制 -
opt.has_value()可读性稍弱，且多一次函数调用，除非用于断言或日志
多线程下 if (!opt.has_value()) opt.emplace() 是未定义行为
两个线程同时进入判断、都看到空、都调用 emplace()，结果不是“后到者失败”，而是 double-construct、缓冲区踩踏、静默损坏——C++ 标准明确定义为 undefined behavior。
- 必须配对使用
mutable std::optional<t></t>和mutable std::once_flag -
std::call_once(flag, [this]{ _opt.emplace(args); });必须在const成员函数中调用 - lambda 内严禁抛异常；若初始化可能失败（如读配置失败），需提前捕获并转为可观察状态（如设
std::atomic_bool _init_failed） -
std::once_flag必须是类成员，不可为局部静态变量——否则每次调用都新建 flag，失去同步意义
std::optional 无法处理引用类型，也不能嵌套
你不能写 std::optional<t></t>，编译器会直接报错：'T&' is not a valid template argument for 'std::optional'。原因很实在：optional 的“空”状态靠布尔标记 + 内联存储区实现，而引用没有“未绑定”的合法值。
- 正确做法只有两个：
std::reference_wrapper<const t></const>（需#include <functional></functional>），或原始指针 /std::unique_ptr<t></t> - 出现
std::optional<:optional>></:optional>基本说明建模出了问题——它不表达“更空”，只带来三重陷阱：判空要两层、value_or()失效、语义污染 - 真实场景中几乎总能扁平化：把“配置可能缺失且即使存在也可能未加载”合并为单个
std::optional<loadedconfig></loadedconfig>，把“未加载”作为其内部状态
大对象或共享场景应放弃 std::optional，改用 std::shared_ptr 或 std::unique_ptr
若 T 含 2KB 静态数组，std::optional<t></t> 占 2049 字节栈空间，哪怕你从没调用 emplace()。移动开销剧增，且析构时只调 T::~T()，不会自动关闭句柄、释放 mmap 区域或断开连接。
- 大对象（>1KB）、需跨线程转移、构造代价远高于堆分配开销 → 改用
std::unique_ptr<t></t>：堆上延迟分配，sizeof固定为指针大小，移动廉价 - 需被多个持有者共享、或要求自定义释放逻辑（如卸载 DLL、关闭 fd）→ 用
std::shared_ptr<t></t>，配合std::atomic<:shared_ptr>></:shared_ptr>或std::call_once保证首次构造安全 - 禁止写
if (!ptr) ptr = std::make_shared<t>()</t>—— 此操作非原子，存在竞态窗口 - 若
T没有默认构造函数，std::make_optional和赋值全部编译失败；唯一合法路径是opt.emplace(arg1, arg2)或声明时用std::in_place
真正容易被忽略的是：std::optional 的“空”只表示“尚未构造”，不代表“构造失败”。它不携带错误信息，也不支持重试或 fallback 策略；一旦初始化失败（比如文件读取失败），你得自己记录状态、暴露接口供调用方查询——这已经超出 std::optional 的能力边界。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
