std::optional 声明 std::optional opt; 报错是因为默认构造会尝试对 T 值初始化，而 NoDefault 无可默认/零初始化构造函数；正确方式是用 std::in_place 或 emplace() 就地构造，避免拷贝/移动。
std::optional 可以持有无默认构造函数的类型，但你必须用 emplace() 或 std::in_place 构造；任何赋值、make_optional 或直接初始化都会编译失败。
为什么 std::optional<t></t> 声明就报错？
不是 optional 本身有问题，而是你写了类似 std::optional<nodefault> opt;</nodefault> 这样的代码——它触发了 optional 的默认构造，而该过程会尝试对 T 执行值初始化（value-initialization），这要求 T 至少可默认构造或可零初始化。
常见错误现象：error: use of deleted function 'NoDefault::NoDefault()' 或 error: no matching constructor for initialization of 'NoDefault'
- 正确写法是先声明空 optional：
std::optional<nodefault> opt;</nodefault>（不初始化） - 再用
emplace()构造：opt.emplace(42, "hello"); - 或者一步到位：
std::optional<nodefault> opt(std::in_place, 42, "hello");</nodefault>
emplace() 是唯一能绕过拷贝/移动约束的方式
opt = NoDefault{1, "x"} 或 opt = std::make_optional<nodefault>(1, "x")</nodefault> 都会失败，因为它们都依赖临时对象 + 移动/拷贝语义。而 NoDefault 往往禁用移动构造（显式删除或未定义），导致编译器找不到可用的构造路径。
立即学习“C++免费学习笔记（深入）”；
-
emplace()直接在optional内部预留内存上调用 placement new，参数完美转发给NoDefault的任意构造函数 - 不生成临时对象，不调用移动/拷贝构造，也不要求
NoDefault可移动 - 注意别写成
opt.emplace(NoDefault{1, "x"})—— 这反而又引入了临时对象
多线程下 emplace() 不是线程安全的
std::optional 本身**完全不提供线程安全保证**。多个线程同时对同一个 opt.emplace(...) 发起调用，属于未定义行为：可能 double-construct、内存踩踏、静默损坏。
- 若需延迟初始化且多线程访问，必须自己加锁（如
std::mutex）或使用双重检查+原子标志 -
emplace()成功后opt.has_value()一定为true，但构造函数若抛异常，opt会回到空状态（已析构旧值，新值未构造） - 不要依赖
emplace()的返回值做判断——它返回的是T&，不是布尔结果
最容易被忽略的一点：emplace() 看似只是“设个值”，但它会先析构已有值（如果存在），再就地构造新值。这意味着你的类型析构函数不能抛异常，否则整个操作不满足异常安全基本保证。
