Rust 这 4 种写法都通过编译了，但不知道我这样理解是对的吗？

代码出自 rustlings：

第一种：

fn count_iterator(map: &HashMap<String, Progress>, value: Progress) -> usize { // 文档中说 iter 返回 (&'a K, &'a V)，也就是 map 的 K 和 V 的引用组成的 tuple 。 // 然后这个 tuple 被 deconstruct 了，且 V move 给了 v ，顺带地 map 也被 move 了？ map.iter().filter(|(_, &v)| v == value).count() } 

第二种：

fn count_iterator(map: &HashMap<String, Progress>, value: Progress) -> usize { // 无法理解为什么要 2 次 deref map.iter().filter(|(_, v)| **v == value).count() } 

第三种：

fn count_iterator(map: &HashMap<String, Progress>, value: Progress) -> usize { // 请问这里 value 也是 move 给了 v 吗？那和第一种的区别是？ map.iter().filter(|&(_, &v)| v == value).count() } 

第四种：

fn count_iterator(map: &HashMap<String, Progress>, value: Progress) -> usize { // 首先 &(_, v) borrow map 的 (&'a K, &'a V)，然后这个 tuple 被 deconstruct ，v 是 // &'a V ，所以 deref v 拿到值，从而和 value 参数的值进行比较 map.iter().filter(|&(_, v)| *v == value).count() } 

理解上可能有误，还请大佬们指正，谢谢！