std::optional 默认构造后为空，不调用T的默认构造函数；赋值需T可拷贝/移动，若T禁用则失败；emplace通过placement new原位构造，绕过拷贝/移动限制，支持任意可访问构造函数。
std::optional 为什么不能用默认构造赋值？
因为 std::optional 的核心设计是“就地存储”，它内部用 union + bool 标志位管理内存，不依赖 T 是否可默认构造。但如果你写 std::optional<nondefaulttype> opt = NonDefaultType{...}</nondefaulttype> 或直接 opt = ...，编译器会尝试调用 T 的拷贝/移动构造函数——而如果 T 没有默认构造函数，往往也禁用了拷贝或移动（比如某些 RAII 类、move-only 类型），这时赋值操作就会失败。
常见错误现象：
error: use of deleted function 'NonDefaultType::NonDefaultType(const NonDefaultType&)'-
error: no matching constructor for initialization of 'NonDefaultType'（出现在std::optional<nondefaulttype> opt{arg1, arg2}</nondefaulttype>写法中）
emplace 是怎么绕过默认构造限制的？
emplace 不走赋值路径，而是直接在 optional 已分配好的内部存储区上调用 placement new 构造 T。它把参数完美转发给 T 的任意构造函数，只要该构造函数存在且可访问，就能成功。
关键点：
立即学习“C++免费学习笔记（深入）”；
-
emplace会先检查当前是否有值：若有，先析构旧对象；若无，直接构造新对象 - 它不依赖
T的默认、拷贝或移动构造函数，只依赖你传入的参数能否匹配某个构造函数 - 即使
T是 move-only、delete 了拷贝、甚至没有默认构造函数，emplace依然可用
示例：
struct Socket {
explicit Socket(int fd) : fd_(fd) { /* ... */ }
Socket(const Socket&) = delete;
Socket(Socket&&) = default;
private:
int fd_;
};
<p>std::optional<Socket> sock;
sock.emplace(123); // ✅ 成功：直接调用 Socket(int)
// sock = Socket(123); // ❌ 编译失败：尝试调用被删除的拷贝构造
emplace 和 in_place 构造的区别在哪？
两者都能实现原位构造，但触发时机和语义不同：
-
std::in_place是构造时使用的标签，只能用于std::optional的初始化列表或直接构造，例如：std::optional<socket> sock{std::in_place, 123}</socket> -
emplace()是运行时成员函数，适用于已存在的optional对象，支持多次重置构造，更灵活 - 如果对象已经含值，
emplace会安全析构旧值再构造新值；而std::in_place只能用在构造阶段
性能上无差异，都是原位构造。选哪个取决于使用场景：初始化时用 std::in_place，后续修改用 emplace。
容易踩的坑：参数类型不匹配、异常安全性、重载歧义
emplace 完美转发参数，看似简单，实则对类型精度很敏感：
- 传入字面量
42和传入int x = 42; emplace(x)可能触发不同重载（前者是右值，后者是左值），尤其当T有多个构造函数时 - 如果构造函数可能抛异常，
emplace会确保：若构造失败，optional保持nullopt状态（这是标准保证） - 避免传入临时
std::string等长生命周期对象作参数——它们在emplace调用结束后即销毁，但若T内部仅存引用，就会悬垂
最稳妥的做法：始终传值或明确移动（如 emplace(std::move(str))），让 T 自己决定如何持有数据。
真正复杂的地方不在语法，而在你是否清楚 T 的每个构造函数签名、是否禁用了哪些特殊成员函数、以及你传进去的参数到底绑定到了哪个重载——这些决定了 emplace 能不能静默通过，还是在深夜编译失败。
