std::mem::swap()与std::intrinsics::typed_swap()的差异及使用疑问

核心差异：稳定性与抽象层级 #

• std::mem::swap()是稳定公开API：它从Rust 1.0起就属于稳定标准库接口，拥有明确的文档、安全保证和向后兼容承诺。参数&mut T本身就确保了两个指针可读写、非重叠，内部的unsafe块已经替调用者处理了所有安全前提，无需用户承担unsafe代码的风险。
• std::intrinsics::typed_swap()是编译器内部接口：这类intrinsics是Rust编译器的私有实现细节，不属于稳定公开API，仅在nightly版本中可用。编译器团队可能随时修改、移除这类接口，没有向后兼容的保证，直接使用会导致代码无法在稳定版Rust编译，且未来版本可能突然失效。

封装的关键价值 #

哪怕swap看起来只是简单调用typed_swap，这个封装依然不可或缺：

• 隐藏unsafe风险：将unsafe操作封装在安全的公共函数内，确保所有调用者都遵守&mut T的安全约定，避免误用引发未定义行为。
• 统一API体验：std::mem::swap()是Rust标准库的统一交换接口，开发者无需了解编译器内部intrinsics细节，就能写出可移植、易维护的代码。
• 预留优化空间：如果未来编译器针对特定类型优化交换逻辑，std::mem::swap()可以无缝升级，调用它的代码无需任何修改；而直接使用typed_swap会因编译器改动导致代码失效。

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