实现静态array的emplace_back：placement new与移动赋值的取舍及注意事项

问题1：有没有优先选移动赋值而非placement new的理由？ #

• 异常安全性更靠谱：如果目标类型的移动赋值是noexcept且保证强异常安全，移动赋值版本出异常时，原对象状态还是确定可用的；但placement new版本得先析构旧对象，要是新对象构造抛异常，目标位置就成了未初始化状态，后续操作很容易出问题。
• 对象生命周期不中断：对那些要求“对象必须一直有效”的场景（比如RAII资源管理类），移动赋值只是转移资源所有权，对象本身一直是有效的；而placement new先析构再构造，中间有段时间目标位置没有有效对象，可能会导致资源泄漏或状态混乱。
• 代码更省心：要是类型的移动赋值已经经过充分测试和优化，直接复用就行，不用手动处理析构、placement new的内存对齐这些细节，降低出错概率。
• 兼容性更广：少数特殊类型可能对placement new有约束，但移动赋值是类型的标准操作，适配范围更宽泛。

问题2：用placement new的EmplaceBackPN还有啥要注意的？是不是完全有效？ #

关键注意事项 #

• 必须先手动析构旧对象：静态array销毁时会自动调用所有元素的析构函数，要是没先手动析构目标位置的旧对象就用placement new覆盖，同一内存区域的对象会被重复析构，直接触发未定义行为。
• 构造异常必须处理：要是placement new调用的构造函数抛出异常，旧对象已经被析构，这块内存就处于未初始化状态，必须添加异常处理逻辑（比如标记该位置不可用、恢复内存状态），否则后续操作必然出问题。
• 内存对齐要达标：虽然静态array的内存默认符合类型的对齐要求，但如果后续改用自定义内存池这类内存来源，必须确保目标内存的对齐规则符合alignof(元素类型)的要求，否则placement new会触发未定义行为。
• 特殊类型无法适配：像const类型、引用类型，或者包含不可移动/不可构造成员的类型，placement new根本无法正常工作，这类场景下该版本完全不可用。

有效性说明 #

只要严格遵守上述注意事项，EmplaceBackPN是完全有效的，而且性能确实优于移动赋值版本（避免了临时对象的创建和移动操作）。但它并非适用于所有场景，比如对异常安全性要求极高的场景，若移动赋值版本满足noexcept强异常安全，那还是移动赋值版本更可靠。

内容的提问来源于stack exchange，提问作者timmy george