Vec::drain_filter与extract_if的区别及前者被移除原因咨询

一、drain_filter 被移除的原因 #

• drain_filter自始至终都是Rust的不稳定试验性特性，从未进入稳定版。它的设计存在诸多缺陷：迭代器语义不符合标准库的统一规范，在并发安全、边界错误处理等场景下有模糊性，且与其他集合的类似接口设计脱节，导致后续维护成本过高。
• 核心团队最终决定用设计更严谨、接口更统一的extract_if替代它，逐步移除了这个试验性接口。早期文档未标注弃用移除，是因为它从未达到稳定发布的阶段，属于试验特性的迭代替换。

二、两者的核心区别 #

• 状态差异：drain_filter从未稳定，仅存在于旧版不稳定工具链中；extract_if已标准化，现在是Rust稳定版中集合（如Vec）的正式接口。
• 迭代器安全性：
  • drain_filter的迭代器实现存在非直观的风险，比如闭包中若不当持有原集合引用，容易触发未定义行为。
  • extract_if重新设计了生命周期与访问规则，严格遵循借用检查器要求，闭包参数逻辑更清晰，彻底规避了这类潜在安全问题，同时保留了“移除并返回满足断言元素”的核心功能。
• 接口一致性：extract_if的命名和行为与标准库内其他集合（如HashSet）的同类接口保持统一，而drain_filter是早期试验阶段的命名，不符合后续统一的设计规范。

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