我有一个整数元组的向量,并希望通过每个元组的第二个元素对其进行排序:
fn main() { let mut tuple_list2: Vec<(u16,u16)> = vec![(1,5),(0,17),(8,2)]; tuple_list2.sort_by(|a,b| a.1.cmp(b.1)); }
编译器抛出一个错误,因为b.1是一个u16而不是对一个(& u16)的引用.我可以通过引用b.1来解决这个问题:
fn main() { let mut tuple_list2: Vec<(u16,b| a.1.cmp(&b.1)); }
我不明白我为什么要这样做.特别是因为我也不需要引用a.1.
解决方法
正如Aurora0001已经在评论中指出的那样,我们应该看看
the function signature of
cmp()
:
fn cmp(&self,other: &Self) -> Ordering
我们看到这两个值都是通过引用来获取的,所以你不得不将& b.1传递给方法而不是b.1.
Especially because I do not need to reference
a.1
,either.
这是一个更有趣的问题;-)
简单的解决方案就是,. (点)运算符执行自动解除引用以及自动借用.让我们看看它的实际效果:
struct Foo; impl Foo { fn takes_value(self) {} fn takes_ref(&self) {} fn takes_mut_ref(&mut self) {} } fn main() { let mut a = Foo; // all of those work thanks to auto-borrowing a.takes_ref(); a.takes_mut_ref(); a.takes_value(); // -------- let b = Foo; let c = &mut b; // these work as well c.takes_ref(); c.takes_mut_ref(); // this one works,*if* the type implements `Copy` c.takes_value(); }
所以 .运算符可以帮助程序员并始终传递正确的自我参数.
注意:你做的排序很常见.有一种方法更适合这项任务:[T]::sort_by_key()
.它看起来像这样:
// note: type annotations not required let mut tuple_list2 = vec![(1,2)]; tuple_list2.sort_by_key(|k| k.1);