std::optional 不要求 T 有默认构造函数，但必须用 emplace 或 make_optional 初始化；直接赋值会因内部需默认构造而失败。
直接说结论：std::optional 本身不要求所包装类型有默认构造函数，但你**必须用 emplace（或 std::make_optional）来初始化它**，不能依赖默认构造 + 赋值——否则编译失败。
为什么不能用 operator= 给没有默认构造函数的类型赋值？
当你写 std::optional，编译器会尝试：先默认构造 opt（这步成功），再调用 opt.operator=(HeavyObject{...})。而该重载内部通常需要先析构旧值、再移动/拷贝新值——但若 HeavyObject 没有默认构造函数，std::optional 的内部联合体（union storage）就无法在未初始化状态下“预留空间”供后续赋值使用（标准要求其存储必须能 hold 一个 T，但不强制 T 可默认构造；不过赋值路径会隐式触发某些 SFINAE 不通过的分支）。实际错误常是：
error: use of deleted function ‘HeavyObject::HeavyObject()’
这不是 optional 的限制，而是赋值操作符实现中对“替换旧值”的隐含要求导致的间接失败。
emplace 是唯一安全的原点启动方式
emplace 绕过所有中间状态，直接在 optional 内部未初始化内存上用 placement new 构造对象。它不依赖 T 的默认构造函数，只依赖你传入的参数能否匹配某个构造函数。
- ✅ 正确：
opt.emplace(42, 3.14);—— 参数完美转发给HeavyObject(int, double) - ✅ 正确：
opt.emplace(std::move(some_temp));—— 支持右值引用转发 - ❌ 错误：
opt = HeavyObject(42, 3.14);—— 触发移动赋值，可能要求默认可构造上下文 - ⚠️ 注意：
std::make_optional(42, 3.14)也可行，但它先构造临时对象再 move 进 optional，多一次构造调用，不如emplace零开销
常见陷阱：忘记先 reset() 就反复 emplace
emplace 的语义是“销毁已有值（如有），再原位构造”。如果你在一个已含值的 optional 上连续调用 emplace，它会自动析构前一个对象——这对无默认构造函数的类型完全 OK，但要注意析构函数是否抛异常（optional::emplace 要求 T 的析构函数不能抛异常，否则行为未定义）。
- 若 T 析构可能抛异常，务必确保它被声明为
noexcept - 若你只是想“覆盖”，
emplace比reset(); emplace(...)更简洁高效 - 别误以为
emplace是“只在空时才构造”——它总是执行销毁+重建
构造参数复杂时，emplace 是唯一选择
比如类型 NetworkClient 的构造函数需要 std::string_view, std::chrono::milliseconds, 和一个自定义 Logger&：
std::optional<networkclient> client;
client.emplace("api.example.com", 5000ms, logger); // ✅ 直接传参，无临时对象
// client = NetworkClient{"api.example.com", 5000ms, logger}; // ❌ 编译失败（若无默认构造）或低效（若有）</networkclient>
这里 emplace 不仅能用，而且是**强制推荐路径**：它避免了任何隐式转换、临时对象生命周期管理，也绕开了对拷贝/移动构造函数的依赖——只要参数能匹配构造函数签名即可。
真正容易被忽略的是：emplace 的参数包展开发生在 optional 内部，不经过用户可见的临时对象；而一旦你写出任何形式的 T{...} 或 T(...)，就已经脱离了“原位”范畴，哪怕只是一行字面量。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
