std::optional可持有无默认构造函数的类型，但需用emplace()或std::in_place构造，避免赋值/拷贝；多线程下必须配合std::call_once，否则未定义行为；大对象应改用std::unique_ptr。
std::optional 可以持有无默认构造函数的类型，但你不能用 operator=、std::make_optional 或直接赋值初始化它——否则编译失败。
为什么 std::optional 声明成功却初始化失败？
因为 std::optional 默认构造不调用 T 的任何构造函数，只设为空状态；但一旦你写 opt = T{...} 或 std::make_optional<t>(...)</t>，编译器就要求 T 支持拷贝或移动构造（甚至可能隐式尝试默认构造）。而无默认构造函数的类，往往也没显式定义移动/拷贝构造函数，导致 error: use of deleted function 'T::T()' 或 no matching constructor。
-
std::optional<t></t>本身不要求T可默认构造，这是它和std::vector<t></t>的关键区别 - 错误常发生在 getter 函数里写
opt = HeavyObj{args}，而不是opt.emplace(args) - 即使
T有explicit构造函数，std::make_optional仍会因需要移动语义而失败
必须用 emplace() 或 std::in_place 构造
绕过拷贝/赋值路径，直接在 std::optional 内部缓冲区调用 T 的任意构造函数。只有这两种方式是标准且安全的：
- 延迟构造用
opt.emplace(arg1, arg2)：支持完美转发，适用于参数在运行时才确定的场景 - 声明即构造用
std::optional<t> opt(std::in_place, arg1, arg2)</t>：仅限初始化表达式中使用，不可用于后续赋值 - 避免
opt = T{...}、opt = std::make_optional<t>(...)</t>、opt.value_or(T{...})—— 这些都隐含拷贝/移动需求
多线程下必须配 std::call_once，否则 undefined behavior
std::optional 本身完全不提供线程安全保证。多个线程同时执行 opt.emplace(...) 可能 double-construct、内存踩踏，甚至静默损坏对象。
立即学习“C++免费学习笔记（深入）”；
- 类中声明
mutable std::optional<t> member_</t>和mutable std::once_flag flag_ - 在 const 成员函数中调用
std::call_once(flag_, [this] { member_.emplace(args); }); -
std::once_flag必须是类成员（不能是局部变量），且必须为mutable才能在 const 函数中修改 - 初始化 lambda 内禁止抛异常，否则程序可能终止；也别递归触发同个
std::call_once
大对象或极端性能场景慎用 std::optional
当 T 体积很大（比如含 2KB 静态数组），sizeof(std::optional<t>)</t> 会膨胀到 sizeof(T) + 1 字节以上，栈上预留空间成为负担，复制/移动开销陡增。
- 大对象（>几百字节）→ 改用
std::unique_ptr<t></t>：堆分配，sizeof固定为指针大小，但多一次内存分配 - 极致性能/嵌入式 → 手动
placement new+std::aligned_storage_t：完全控制内存布局，但需自行处理构造/析构/异常安全，极易出错 - 千万别用裸指针（
T*）封装 lazy init：new/delete 手动管理在现代 C++ 中基本没有正当理由，异常中途抛出会泄漏，多线程并发更危险
真正容易被忽略的是：即使你用了 emplace()，如果没配合 std::call_once，在多线程环境下第一次访问仍可能崩；而就算单线程，忘记判空就解引用（如直接写 *opt）会抛 std::bad_optional_access——这不是编译错误，是运行时陷阱。
