std::optional 可持有无默认构造函数的类型，因其默认构造仅设空标记而不调用T构造；但赋值或make_optional会触发T的移动/拷贝，若T删了这些函数则编译失败，须用emplace或in_place就地构造。
std::optional 可以持有无默认构造函数的类型，但你不能用默认构造、赋值或 std::make_optional 初始化它——否则编译失败。
为什么 std::optional 声明成功却初始化报错？
因为 std::optional 的默认构造只设置内部“空”标记位，不调用 T 的任何构造函数；但一旦你写 opt = T{...} 或 std::make_optional，编译器就会尝试拷贝/移动构造 T，而无默认构造函数的类往往也删掉了隐式生成的移动构造函数。
- 典型错误信息：
error: use of deleted function 'T::T()'或error: no matching constructor for initialization of 'T' -
std::optional本身不要求T可默认构造，但它的赋值操作符和值构造函数要求T可移动（或可拷贝） - 这不是 bug，是标准设计：强制你走就地构造路径，避免临时对象和多余开销
必须用 emplace() 或 std::in_place 构造
这两个方式绕过拷贝/移动语义，在 std::optional 内部存储区直接调用 T 的任意构造函数。这是唯一安全的标准做法。
-
opt.emplace(arg1, arg2)：适用于运行时参数已知、且需延迟到首次访问才构造的场景 -
std::optional：仅限声明时使用，参数必须与opt(std::in_place, arg1, arg2) T某个构造函数精确匹配 - 别写
opt = T{...}、opt = std::make_optional、(...) std::optional—— 全都会触发移动/拷贝，大概率失败{T{...}}
多线程下 emplace() 必须配 std::call_once
std::optional 完全不提供线程安全保证。多个线程同时执行 opt.emplace(...) 是未定义行为：可能 double-construct、内存踩踏、甚至静默损坏对象状态。
- 必须搭配
mutable std::once_flag和std::call_once，在 const 成员函数中完成同步初始化 -
std::once_flag必须是mutable，否则std::call_once无法修改其内部状态 - 不能把
std::once_flag声明为局部变量——每次调用都新建一个 flag，完全失效
生命周期与栈空间占用容易被忽略
std::optional 的生命周期绑定宿主对象，析构时自动调用 T 的析构函数（如果已构造）；但它始终在栈上预留 sizeof(T) + 1 字节，不管是否已构造。
- 对超大
T（比如含 2KB 静态数组的结构体），sizeof(std::optional显著膨胀，复制/移动开销陡增) - 此时
std::optional不再是轻量选择，应改用std::unique_ptr（堆分配，sizeof固定为指针大小） - 手动 placement new +
std::aligned_storage_t虽然零开销，但必须显式管理构造/析构/异常安全，极易出错，仅限极端性能场景
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
