Find Closureの引数に2つのアンパサンドが必要なのはなぜですか？

Question

私は、によってRustと遊んでいます。これは、OCamlでの私の機能スタイルの実装に基づいています。私は、Rustが機能スタイルのコードでどのように運賃を払っているかを見たいと思っていました。

最終結果：これは動作し、非常に高速です。これはOCamlよりはるかに高速です。それは、命令型C/C++の速度にほとんど触れています。これは本当にクールです。

私には問題がありますが、このコードの最後の行に2つのアンパサンドが必要なのはなぜですか？

let moves_and_scores: Vec<_> = moves_and_boards 
    .iter() 
    .map(|&(column,board)| (column, score_board(&board))) 
    .collect(); 
let target_score = if maximize_or_minimize { 
    ORANGE_WINS 
} else { 
    YELLOW_WINS 
}; 
if let Some(killer_move) = moves_and_scores.iter() 
    .find(|& &(_,score)| score==target_score) { 
     ... 

私はそれらを追加したのは、コンパイラエラーが私にそれを「誘導」しているからです。しかし、私は理由を理解しようとしています...私は、コンパイラがどのようなタイプのものを私に伝えるために、「尋ねる」ためにスタックオーバーフローの他の場所で言及したトリックを使用：

：このエラーの原因

let moves_and_scores: Vec<_> = moves_and_boards 
    .iter() 
    .map(|&(column,board)| (column, score_board(&board))) 
    .collect(); 
let() = moves_and_scores; 

...

src/main.rs:108:9: 108:11 error: mismatched types: 
expected `collections::vec::Vec<(u32, i32)>`, 
    found `()` 
(expected struct `collections::vec::Vec`, 
    found()) [E0308] 
src/main.rs:108  let() = moves_and_scores; 

...期待どおり、moves_and_scoresはタプルのベクトルです：Vec<(u32, i32)>です。しかし、その後、すぐに次の行に、iter()とfind()クロージャパラメータに恐ろしい重アンパサンドを使用するように私を強制：

if let Some(killer_move) = moves_and_scores.iter() 
    .find(|& &(_,score)| score==target_score) { 

はなぜfind閉鎖は2つのアンパサンドが必要なのですか？私はそれがなぜ必要なかもしれないのかを知ることができました（時間と空間を節約するために参照によってタプルを渡します）が、なぜ2つですか？それはiterのためですか？つまり、は参照を作成し、次にfindは各入力の参照を期待しているので、参照の参照は必要ですか？

これがそうであれば、間違いなく、Rustのかなり醜いデザインの欠陥ですか？

実際、findとmapと残りのすべての機能プリミティブは、コレクション自体の一部になると思います。私がiter()に何らかの機能スタイルの作業を強制することは、すべての可能な機能チェーンでこのような「二重アンパサンド」を強制するとさらに負担になります。

私は何か明白であることを望んでいます - ご迷惑をおかけしておりません。

Answer 1

ここでこの

moves_and_scores.iter() 

はあなたに借りベクトルの要素の反復子を提供します。あなたはこれがどのような種類のAPIドキュメントに従っている場合、あなたはそれが借りスライスのためだけのイテレータだということに気づくでしょう、これはTはあなたのケースで(u32, i32)あるItem=&TとIteratorを実装しています。

次に、&Itemをパラメータとする述語を取るfindを使用します。シスItemはあなたの場合は既に参照です、述語は&&(u32, i32)を取らなければなりません。

pub trait Iterator { 
    ... 
    fn find<P>(&mut self, predicate: P) -> Option<Self::Item> 
    where P: FnMut(&Self::Item) -> bool {...} 
    ...   ^

唯一の項目を検査し、ブール値を返すことになっていますので、それはおそらくthisのように定義されました。これは、値渡しのアイテムを必要としません。 TがCloneある場合

あなたは(u32, i32)の反復子をしたい場合は、

moves_and_scores.iter().cloned() 

cloned()を書くことができはItemタイプTとItemタイプ&T 1へと1からイテレータを変換します。これを行うもう1つの方法は、iter()の代わりにinto_iter()を使用することです。

moves_and_scores.into_iter() 

2つの違いは、最初のオプションクローン借り要素2つのベクトルを消費し、そこから要素を移動しながら、ということです。

この

|&&(_, score)| score == target_score 

のようにラムダを書き込むことにより、あなたは「二重の参照を」destructureとi32のローカルコピーを作成します。 i32はCopyという単純なタイプなので、これは許可されています。代わりに、必要に応じてドット演算子が自動的に何度でも参照解除ので、あなたはまた、

|move_and_score| move_and_score.1 == target_score 

を書くことができ、あなたの述語のパラメータを構造化代入の

。