与 `.enumerate()` 不匹配的类型：预期类型 `u8`，找到参考 `&_`

Question

下面的sn-p不能编译

use rand::Rng;

fn main() {
    let mut rng = rand::thread_rng();
    let indices_of_odd_numbers = (1..100)
        .map(|_| rng.gen::<u8>())
        .enumerate()
        .filter(|(_, &x)| x % 2 == 1)
        .map(|(i, _)| i)
        .collect::<Vec<_>>();
    println!("{:?}", &indices_of_odd_numbers);
}

带有错误消息

   Compiling playground v0.0.1 (/playground)
error[E0308]: mismatched types
 --> src/main.rs:9:22
  |
9 |         .filter(|(_, &x)| x % 2 == 1)
  |                      ^^- expected due to this
  |                      |
  |                      expected `u8`, found reference
  |                      help: you can probably remove the explicit borrow: `x`
  |
  = note:   expected type `u8`
          found reference `&_`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
error: could not compile `playground`

To learn more, run the command again with --verbose.

但是，当我将.filter(|(_, &x)| x % 2 == 1) 替换为.filter(|(_, x)| *x % 2 == 1) 时，它可以顺利编译。此外，一旦我摆脱了.enumerate()，以下使用模式匹配将x 隐式遵从u8 的sn-p 也会编译

use rand::Rng;

fn main() {
    let mut rng = rand::thread_rng();
    let odd_numbers = (1..100)
        .map(|_| rng.gen::<u8>())
        .filter(|&x| x % 2 == 1)
        .collect::<Vec<_>>();
    println!("{:?}", &odd_numbers);
}

我不明白为什么模式匹配不适用于.enumerate()。为什么编译器不能推断 x 应该是 u8 并在第一个 sn-p 中取消引用它？

Answer 1

enumerate() 创建一个元组，在您的情况下，(usize, u8)、filter() 通过引用发送Iterator 的Item，所以&(usize, u8) 不是(&usize, &u8)。所以|(_, &x)| 没有意义，因为您尝试取消引用u8 的编译器。您可以做的是|&(_, x)|，但编译器又一次足够聪明，建议只需删除&x 中的&，您的原始文件就会编译。

.filter(|(_, x)| *x % 2 == 1) 更复杂，|(_, x)| 可以写成|(_, ref x)| 的倒数&x 这意味着以x 为参考。所以这里编译器会自动添加 ref 关键字，然后您只需取消引用 x 即可。它更明确但不需要。

更多关于RFC 2005和binding modes的信息