对元组向量进行排序需要第二个值的引用吗？

Question

我有一个整数元组的向量,并希望通过每个元组的第二个元素对其进行排序:

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是a u16而不是对one(&u16)的引用.我可以通过引用b.1来解决这个问题:

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));
}

我不明白我为什么要这样做.特别是因为我也不需要参考a.1.

Answer 1

正如Aurora0001已经在评论中指出的那样,我们应该看一下以下的函数签名cmp():

fn cmp(&self, other: &Self) -> Ordering

我们看到这两个值都是通过引用获取的,所以你必须传递&b.1给方法而不是令人惊讶b.1.

特别是因为我也不需要参考a.1.

这是一个更有趣的问题;-)

简单的解决方案是,.(点)运算符执行自动解除引用以及自动借用.让我们看看它的实际效果:

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();
}

因此,.操作员可以帮助程序员并始终传递正确的self参数.

注意:你做的排序很常见.有一种方法更适合这项任务:[T]::sort_by_key().它看起来像这样:

// note: type annotations not required
let mut tuple_list2 = vec![(1, 5), (0, 17), (8, 2)];
tuple_list2.sort_by_key(|k| k.1);