std::optional要求T可默认构造是因默认构造时需值初始化，而emplace可绕过该限制直接placement-new构造对象。
std::optional 无法容纳没有默认构造函数的类型，除非你用 emplace —— 这不是限制，而是设计使然。
为什么 std::optional 要求 T 可默认构造？
因为 std::optional 的内存布局是 union + 状态位，内部需要一块“预留空间”来存放 T。但 union 成员不能有非平凡默认构造；标准库为兼容性，在 std::optional 默认构造时会尝试对 T 执行“值初始化”，这就要求 T 至少满足“可默认构造”或“可零初始化”。
但这只是默认构造时的约束 —— emplace 绕过了它。
- 默认构造
std::optional<t></t>：若T无默认构造函数，编译失败（如struct S { S(int) {} };） - 声明但不初始化：
std::optional<s> opt;</s>→ 编译不过 - 但
std::optional<s> opt; opt.emplace(42);</s>是合法的 —— 因为emplace不依赖T的默认构造，它直接调用S(42)
emplace 是唯一能安全构造无默认构造类的方式
你不能用 operator=、assign 或 std::make_optional 来塞入一个不可默认构造的类型，除非你提供完整参数列表且该类型支持对应构造函数。
立即学习“C++免费学习笔记（深入）”；
-
opt = S(42);→ 先构造临时S，再移动/拷贝：要求S可移动（或可拷贝） -
opt = std::make_optional<s>(42);</s>→ 同样先构造临时对象，再 move 构造optional内部存储 -
opt.emplace(42);→ 直接在optional内存中调用S(42)，不经过临时对象，也不要求S可移动/可拷贝
这意味着：对只接受特定参数、禁用拷贝/移动、或构造开销极大的类型（比如带资源句柄的类），emplace 是唯一可行路径。
常见错误：忘记检查 has_value() 后就调用 emplace
emplace 并不跳过析构 —— 如果 optional 当前已有值，emplace 会先调用原对象的析构函数，再 placement-new 构造新对象。这没问题，但容易被忽略的是异常安全边界。
- 若旧对象析构抛异常，新对象不会被构造（符合强异常保证）
- 若新对象构造抛异常，旧对象已析构，
optional变成nullopt - 所以不要在未确认状态时反复
emplace，尤其在循环或回调中 - 更安全的做法是显式
reset()后再emplace，或用if (!opt.has_value()) opt.emplace(...)
emplace 参数转发的陷阱：引用和 const 修饰
emplace 使用完美转发，参数类型必须严格匹配目标构造函数签名。常见翻车点：
- 传入
const std::string& s，但目标构造函数是MyClass(std::string&&)→ 不匹配，编译失败 - 传入字面量
"hello"，但构造函数期望std::string_view→ OK；若期望std::string→ 也会隐式构造临时std::string，但此时已绕过emplace的优势 - 建议：对复杂参数，先写好构造函数重载，再用
emplace调用；避免依赖隐式转换
最稳妥的写法是把参数类型和构造函数声明并排看一眼，确保它们字面一致。
真正难的不是调用 emplace，而是理解它不帮你做任何隐式转换、不替你管理生命周期、也不掩盖类型约束 —— 它只做一件事：在那块 union 内存里，用你给的参数，调一次 placement new。
