Rust 闭包 Iterator::any
Iterator::any 是一个函数,若传给它一个迭代器(iterator),当其中任一元素满足谓词(predicate)时它将返回 true,否则返回 false(译注:谓词是闭包规定的, true/false 是闭包作用在元素上的返回值)。它的签名如下:
pub trait Iterator { // 被迭代的类型。 type Item; // `any` 接受 `&mut self` 参数(译注:回想一下,这是 `self: &mut Self` 的简写) // 表明函数的调用者可以被借用和修改,但不会被消耗。 fn any(&mut self, f: F) -> bool where // `FnMut` 表示被捕获的变量最多只能被修改,而不能被消耗。 // `Self::Item` 指明了被捕获变量的类型(译注:是迭代器的元素本身的类型) F: FnMut(Self::Item) -> bool {} // 译注:原文说 `Self::Item` 表明变量是通过值传递给闭包的,这是说错了。 // `FnMut` 就表示闭包只能通过引用捕获变量。把类型为 `T` 的变量作为闭包 // 的参数不代表闭包会拿走它的值,也可能是拿走它的引用。 }
fn main() { let vec1 = vec![1, 2, 3]; let vec2 = vec![4, 5, 6]; // 对 vec 的 `iter()` 举出 `&i32`。(通过用 `&x` 匹配)把它解构成 `i32`。 // 译注:注意 `any` 方法会自动地把 `vec.iter()` 举出的迭代器的元素一个个地 // 传给闭包。因此闭包接收到的参数是 `&i32` 类型的。 println!("2 in vec1: {}", vec1.iter() .any(|&x| x == 2)); // 对 vec 的 `into_iter()` 举出 `i32` 类型。无需解构。 println!("2 in vec2: {}", vec2.into_iter().any(| x| x == 2)); let array1 = [1, 2, 3]; let array2 = [4, 5, 6]; // 对数组的 `iter()` 举出 `&i32`。 println!("2 in array1: {}", array1.iter() .any(|&x| x == 2)); // 对数组的 `into_iter()` 通常举出 `&i32`。 println!("2 in array2: {}", array2.into_iter().any(|&x| x == 2)); }
Iterator::find 是一个函数,在传给它一个迭代器时,将用 Option 类型返回第一个满足谓词的元素。它的签名如下:pub trait Iterator { // 被迭代的类型。 ...