std::optional 默认构造要求 T 可默认或零初始化，故无默认构造函数的类型直接声明会失败；emplace 通过 placement new 原位构造，绕过该限制，是唯一支持不可默认构造、不可移动类型的初始化方式。
std::optional 本身不要求 T 有默认构造函数，但你必须用 emplace 初始化它；任何其他方式（包括 =、std::make_optional 或直接初始化）在 T 无默认构造时都会编译失败。
为什么 std::optional<t></t> 声明就报错？
这不是 emplace 的问题，而是默认构造 std::optional 这一步就卡住了。标准要求其内部 union 存储需能“容纳”一个 T，而默认构造时会尝试对 T 做值初始化——这隐式依赖 T 可默认构造或可零初始化。
-
struct S { S(int) {} };没有默认构造函数 -
std::optional<s> opt;</s>→ 编译失败：error: use of deleted function ‘S::S()’ -
std::optional<s> opt{std::nullopt};</s>→ 合法：跳过对S的初始化 -
std::optional<s> opt = std::nullopt;</s>→ 同样合法
emplace 是唯一能绕过默认构造限制的入口
emplace 不走默认构造 + 赋值的老路，而是直接在 optional 预留的未初始化内存上用 placement new 构造对象。它只关心你传的参数能否匹配 T 的某个构造函数，完全不碰 T 的默认构造函数。
-
opt.emplace(42);✅ 直接调用S(42) -
opt = S(42);❌ 先构造临时S(42)，再移动赋值 → 要求S可移动，且赋值路径内部仍可能触发默认构造检查 -
std::make_optional<s>(42);</s>❌ 编译失败：模板推导不支持构造参数包，且它仍要先构造临时对象 -
opt.emplace(S(42));⚠️ 错误：又引入了临时对象，失去原位意义
赋值 vs emplace：性能和语义差异很实在
即使 T 有默认构造，emplace 也比赋值更轻量——它省掉一次临时对象生命周期，这对重型类型（如含资源句柄、大缓冲区、不可移动类）是实打实的收益。
立即学习“C++免费学习笔记（深入）”；
- 赋值路径：
T temp(arg...)→optional::operator=(T&&)→ 移动构造 →temp.~T() -
emplace路径：直接::new (storage) T(arg...)，仅一次构造 - 对
std::mutex、std::atomic等禁用拷贝/移动的类型，emplace是唯一可行方式 - 若
optional已含值，emplace会先调用旧值析构函数 —— 确保T::~T()是noexcept，否则行为未定义
容易被忽略的边界情况
emplace 成功返回不等于值一定可用；它不检查构造函数是否抛异常，也不提供链式安全保证。
- 若
T的构造函数抛异常，optional会回到nullopt状态（旧值已析构，新值未构造），但不会通知你 - 调用后务必用
opt.has_value()或if (opt)确认状态，别假设“调用了就一定有值” -
emplace不接受std::initializer_list字面量写法：opt.emplace({1,2,3})可能不调用初始化列表构造函数；应显式写opt.emplace(std::initializer_list<int>{1,2,3})</int> - 参数转发是完美的：传
std::string&&就转发为右值引用，传const char*就匹配std::string(const char*)，但括号多套一层（如(("hello"))）可能引发重载歧义
