为何Rust迭代器的find与position方法函数签名存在差异?
关于Rust迭代器find和position方法predicate参数的差异
首先需要澄清:你给出的position方法签名存在错误,Rust标准库中Iterator::position的实际签名是:
fn position<P>(&mut self, predicate: P) -> Option<usize> where P: FnMut(&Self::Item) -> bool,
它的predicate同样接收&Self::Item类型的参数,和find保持一致。不过我们可以从两个方法的设计目标出发,理解为什么它们的参数设计会遵循这样的逻辑:
核心原因:方法的目标决定了所有权处理方式
find方法:需要返回匹配元素,必须保留所有权
find的作用是找到第一个满足条件的元素并返回它。如果predicate接收的是Self::Item(值),调用predicate时元素的所有权会被转移到闭包中,迭代器就无法再将这个元素返回给调用者了。因此find的predicate只能接收元素的引用,这样元素的所有权仍由迭代器持有,找到匹配项后可以顺利将元素(或其引用,取决于迭代器的Item类型)返回。position方法:仅需判断匹配,无需保留元素所有权,但选择统一用引用
position只需要确认元素是否符合条件,最终返回的是索引而非元素本身。理论上它可以选择接收Self::Item,但标准库选择让它接收引用,主要有两个原因:- API一致性:和
find、any、all等其他迭代器方法保持统一的参数风格,降低学习成本; - 避免不必要的消耗:如果元素不是
Copy类型,传递值会导致元素被消耗,而position并不需要消耗元素,使用引用可以避免这种不必要的所有权转移。
- API一致性:和
示例验证
比如我们用一个Vec<String>的迭代器:
let mut words = vec!["hello".to_string(), "world".to_string(), "rust".to_string()].into_iter(); // find方法:predicate接收&String,返回Some(String) let found = words.find(|s| s.starts_with("h")); assert_eq!(found, Some("hello".to_string())); // position方法:predicate同样接收&String,返回Some(usize) let mut words2 = vec!["hello".to_string(), "world".to_string(), "rust".to_string()].into_iter(); let pos = words2.position(|s| s.starts_with("w")); assert_eq!(pos, Some(1));
可以看到,两个方法的predicate都接收元素的引用,既满足了各自的功能需求,又避免了不必要的所有权转移。
内容的提问来源于stack exchange,提问作者progquester
相关产品推荐
相关产品推荐

