std::optional可持有无默认构造函数的类型，因默认构造仅设为空状态；赋值或make_optional需T支持拷贝/移动构造，而无默认构造函数类常缺移动构造，故报错；须用emplace或in_place就地构造。
std::optional 可以持有无默认构造函数的类型，但你不能用 opt = T{...} 或 std::make_optional 初始化它——否则编译失败。
为什么 std::optional<t></t> 声明合法，但赋值就报错？
因为 std::optional 的默认构造不调用 T 的任何构造函数，只设内部状态为“空”；而赋值操作（operator=）或 std::make_optional 要求 T 支持拷贝或移动构造。无默认构造函数的类往往也没显式定义移动构造函数，编译器不会隐式生成，于是触发 error: use of deleted function 'T::T()' 或 no matching constructor。
常见错误现象包括：
-
std::optional<nodefault> opt = NoDefault(42, "hi");</nodefault>—— 编译失败 -
opt = std::make_optional<nodefault>(42, "hi");</nodefault>—— 同样失败（make_optional内部仍需先构造再移动）
必须用 emplace() 或 std::in_place 就地构造
这两个方式绕过临时对象和移动语义，直接在 std::optional 内部存储区调用 T 的任意构造函数。
立即学习“C++免费学习笔记（深入）”；
-
opt.emplace(42, "hello")：适用于变量已声明、后续按需构造的场景，支持完美转发 -
std::optional<nodefault> opt(std::in_place, 42, "hello");</nodefault>：仅限初始化表达式中使用，参数必须与NoDefault某构造函数精确匹配 - 别写
opt = NoDefault{...}，哪怕NoDefault有显式定义的移动构造函数，也容易因 const/volatile 限定符或 SFINAE 失败
多线程首次访问时怎么避免重复构造？
std::optional 本身**完全不提供线程安全保证**。多个线程同时调用 opt.emplace(...) 是未定义行为，可能 double-construct、内存踩踏或静默损坏。
- 必须搭配
std::call_once和mutable std::once_flag - 成员变量声明为
mutable std::optional<t> data_;</t>和mutable std::once_flag flag_; - 在 const 成员函数中调用
std::call_once(flag_, [this] { data_.emplace(...); });，之后返回*data_ - 注意：lambda 中禁止抛异常；
std::once_flag必须是类成员，不能是局部静态变量
什么时候该换用 std::unique_ptr？
当 T 构造开销极高、体积过大（比如含 KB 级数组），或需要跨线程转移所有权时，std::optional 的内联存储反而成负担——sizeof(std::optional<t>)</t> 会暴涨，复制/移动成本陡增。
-
std::unique_ptr<t></t>的大小固定为指针大小，延迟堆分配，适合大对象 - 但要自己处理异常安全：检查
if (!ptr_) ptr_ = std::make_unique<t>(...);</t>，而非裸new - 语义更清晰：表达的是“可能为空的资源所有权”，而非“尚未构造的值”
真正容易被忽略的是：即使你只打算“懒加载”，std::optional 实例一创建，那块内联缓冲区就已预留好——没省空间，也没躲过对齐开销；而线程安全必须靠 std::call_once 显式兜底，不是可选优化。
