std::optional不支持深层空传播和线程安全延迟初始化，必须手动检查空状态、加同步机制并正确构造；解引用前未检查会抛std::bad_optional_access；多层嵌套需每层判空；多线程初始化须用mutable std::once_flag与std::call_once；无默认构造函数类型只能用emplace或std::in_place初始化；大对象延迟初始化应优先考虑std::unique_ptr而非std::optional。
std::optional 不能自然支持深层空传播，也做不到线程安全的延迟初始化——必须手动加检查、加同步、选对构造方式，否则运行时崩或静默损坏。
std::optional 解引用前不检查空状态必抛 std::bad_optional_access
这不是编译错误，是运行期崩溃。尤其在多层嵌套（如 user.profile.avatar）时，漏掉任意一层 has_value() 或 if (opt) 就会炸。
-
if (opt)是最简明安全的检查方式，调用operator bool()，语义清晰且零开销 - 禁止把
*opt或opt->member写在if (opt) { }外部、else分支里，或跨作用域保存引用 -
opt.value()虽然会检查并抛异常，但生产环境不该靠异常做流程控制 -
opt.value_or(default_val)只适用于只读访问 + 默认值构造成本极低的场景；传临时对象（如opt.value_or(std::regex{})）可能绑定到已析构的临时量，应改用static const std::regex empty_regex;
多线程下直接 if (!opt.has_value()) opt.emplace() 是未定义行为
两个线程同时进入判断、都看到空、都调用 emplace()，结果可能是 double-construct、内存踩踏、缓冲区静默损坏——不是竞态警告，是 UB。
- 必须搭配
mutable std::once_flag和std::call_once，且once_flag必须是类成员（不能是局部变量） - lambda 内禁止抛异常；若初始化可能失败（如文件读取失败），需提前捕获并转为可观察状态（如设标志位或用
std::expected） -
std::optional和std::once_flag都得声明为mutable，否则无法在constgetter 中修改 - 别用
const_cast绕过 —— 破坏 const 正确性，且解决不了std::once_flag的修改需求
T 没有默认构造函数时，赋值和 make_optional 全部编译失败
std::optional<NoDefault> opt; 声明合法，但 opt = NoDefault{42, "hi"}、opt = std::make_optional<NoDefault>(42, "hi")、甚至 opt.value_or(NoDefault{42, "hi"}) 都会触发 error: use of deleted function 'NoDefault::NoDefault()' 或移动构造失败。
立即学习“C++免费学习笔记（深入）”；
- 唯一合法路径是
opt.emplace(arg1, arg2)（运行时就地构造）或声明时用std::optional<T> opt(std::in_place, arg1, arg2) -
emplace()完美转发参数，注意引用类型生命周期：若传入临时std::string，确保它活过emplace()执行完成 -
std::in_place仅限初始化表达式中使用，不可用于后续赋值 - 不要写
opt.reset(); opt.emplace()——reset()只在已有值需显式销毁时才必要，纯属冗余
深层引用 + 大对象 + 延迟初始化？std::optional 很可能不是最佳选择
当 T 体积大（如含 2KB 静态数组）、构造开销高、或需被多个持有者共享时，std::optional 的内联存储反而成负担：sizeof 膨胀、移动开销剧增、栈空间浪费。
- 大对象 + 延迟构造 → 改用
std::unique_ptr<T>：sizeof 固定为指针大小，但多一次堆分配 - 需共享所有权 → 改用
std::shared_ptr<T>，配合std::atomic<std::shared_ptr<T>>或std::call_once保障首次构造安全 - 极致性能/嵌入式场景 → 手动管理
std::aligned_storage_t+ placement new，但必须显式处理构造/析构/异常安全，极易出错 - 真正容易被忽略的是：
std::optional的“空”只表示“尚未构造”，不代表“构造失败”；错误处理逻辑要下沉到初始化阶段，而不是靠解引用后的异常兜底
