Iterator::any

Iterator::any 是一个函数，若传给它一个迭代器（iterator），当其中任一元素满足 谓词（predicate）时它将返回 true，否则返回 false（译注：谓词是闭包规定 的， true/false 是闭包作用在元素上的返回值）。它的签名如下：

  1. pub trait Iterator {
  2.     // 被迭代的类型。
  3.     type Item;
  5.     // `any` 接受 `&mut self` 参数（译注：回想一下，这是 `self: &mut Self` 的简写）
  6.     // 表明函数的调用者可以被借用和修改，但不会被消耗。
  7.     fn any<F>(&mut self, f: F) -> bool where
  8.         // `FnMut` 表示被捕获的变量最多只能被修改，而不能被消耗。
  9.         // `Self::Item` 指明了被捕获变量的类型（译注：是迭代器的元素本身的类型）
  10.         F: FnMut(Self::Item) -> bool {}
  12.         // 译注：原文说 `Self::Item` 表明变量是通过值传递给闭包的，这是说错了。
  13.         // `FnMut` 就表示闭包只能通过引用捕获变量。把类型为 `T` 的变量作为闭包
  14.         // 的参数不代表闭包会拿走它的值，也可能是拿走它的引用。
  15. }
  1. fn main() {
  2.     let vec1 = vec![1, 2, 3];
  3.     let vec2 = vec![4, 5, 6];
  5.     // 对 vec 的 `iter()` 举出 `&i32`。（通过用 `&x` 匹配）把它解构成 `i32`。
  6.     // 译注：注意 `any` 方法会自动地把 `vec.iter()` 举出的迭代器的元素一个个地
  7.     // 传给闭包。因此闭包接收到的参数是 `&i32` 类型的。
  8.     println!("2 in vec1: {}", vec1.iter()     .any(|&x| x == 2));
  9.     // 对 vec 的 `into_iter()` 举出 `i32` 类型。无需解构。
  10.     println!("2 in vec2: {}", vec2.into_iter().any(| x| x == 2));
  12.     let array1 = [1, 2, 3];
  13.     let array2 = [4, 5, 6];
  15.     // 对数组的 `iter()` 举出 `&i32`。
  16.     println!("2 in array1: {}", array1.iter()     .any(|&x| x == 2));
  17.     // 对数组的 `into_iter()` 通常举出 `&i32`。
  18.     println!("2 in array2: {}", array2.into_iter().any(|&x| x == 2));
  19. }

参见：

std::iter::Iterator::any