Rustのfilterで&が２つ必要な理由がわかりません

Question

実現したいこと

rustの仕組みを理解したい。

発生している問題・分からないこと

ソースコードで、

filter(|&x| x != a) -> コンパイルエラー
map(|&x| x + a) -> ok

となる理由が調べてみても、どうにもわかりません。
iter()は参照を返すのだから、|&x|でいいと思ってしまいます。
filter(|&&x| x != a)としないといけないのは、なぜなのでしょうか？

エラーメッセージ

error[E0277]: can't compare `&{integer}` with `{integer}`
 --> and.rs:6:45
  |
6 |     let v2: Vec<_> = c.iter().filter(|&x| x != a).collect(); // エラー
  |                                             ^^ no implementation for `&{integer} == {integer}`
  |
  = help: the trait `PartialEq<{integer}>` is not implemented for `&{integer}`
help: consider dereferencing here
  |
6 |     let v2: Vec<_> = c.iter().filter(|&x| *x != a).collect(); // エラー
  |                                           +

error: aborting due to 1 previous error

該当のソースコード

fn main() {
    let a = 3;
    let c = vec![3, 5, 8, 9, 4, 2, 5];

    let v1: Vec<_> = c.iter().map(|&x| x + a).collect();
    let v2: Vec<_> = c.iter().filter(|&x| x != a).collect(); // エラーが出る

    println!("{:?}", v1);
    println!("{:?}", v2);
}

試したこと・調べたこと

• teratailやGoogle等で検索した
• ソースコードを自分なりに変更した
• 知人に聞いた
• その他

上記の詳細・結果

google検索では、いまいち回答がない(探し方が悪いかも)。
chatGPTでは何度聞いても&xと&&xに違いがないように聞こえる。

補足

特になし

Answer 1

参照を返すイテレータもそうでないイテレータもあります。 例えば into_iter は実体を返す (ムーブする) イテレータを返します。 そしてその場合でも filter 自体のためにムーブする (所有権を奪う) わけにはいかないので参照で受け取るようになっています。

fn main() {
    let a = 3;
    let c = vec![3, 5, 8, 9, 4, 2, 5];

    // into_iter が返すイテレータは実体を返す
    // その場合の filter に渡すクロージャは参照を受け取る
    let v2: Vec<_> = c.into_iter().filter(|&x| x != a).collect();

    println!("{:?}", v2);
}

故に参照を返すイテレータと参照を受け取らなければならない filter との合わせ技の場合は二重の参照になってしまいます。

参照が二重になってしまう状況については公式ドキュメントでも言及されているので参考にしてください。

Comments

[SQzz]

ありがとうございます。一日悩んでたので助かりました。
まさかドキュメントに書いてあるとは。

見た感じ

filter()
skip_while()
take_while()
find()

あたりが２重参照になりえるようですね。

細かいことは置いといて、そういう仕様と理解して勉強していきます。
ありがとうございました。