主页 / coding / 问题 / 78130891
Accepted
philip
Asked: 2024-03-09 08:49:12 +0800 CST

对 str 引用的引用向量进行排序如何对字符串而不是最外层引用进行排序？

  • 772

在学习时rust，我遇到了嵌入在线问题答案中的这段代码。我没想到这是正确的答案，因为我天真地认为elem_refs.sort()会按向量中的引用而不是字符串进行排序。

为什么 elem_refs.sort() 对字符串进行排序，而不是对字符串的引用（或者更确切地说是&str's）？显然，这很方便并且是期望的结果，但是这种行为记录在哪里？非常感谢您的见解。

fn main() {
    let list = ["b", "d" , "q", "a", "t" ];
    let mut elem_refs: Vec<&&str> = list.iter().collect();
    println!("{:?}", elem_refs);
    elem_refs.sort();
    println!("{:?}", elem_refs);
}

["b", "d", "q", "a", "t"]

["a", "b", "d", "q", "t"]

sorting

2 个回答

  1. 首先，sort需要特质Ord。在这里Ord实现引用，它取消引用参数并再次调用：Ord::cmp

    impl<A: ?Sized> Ord for &A
where
    A: Ord,
{
    #[inline]
    fn cmp(&self, other: &Self) -> Ordering {
        Ord::cmp(*self, *other)
    }
}

    当您调用时，编译器会查找forsort的实现。它找到上面的泛型，分配给，然后根据绑定，查找for的实现。它再次找到相同的，分配给，然后查找for的实现。它找到了here的具体实现，从而结束搜索。该实现链用于生成您的特定函数。Ord&&str&strAA: OrdOrd&strstrAOrdstrstr sort

    • 3
  2. Best Answer

    据我了解，这个问题有两个答案：“哲学”和“实践”。

    “哲学”答案是 Rust 更喜欢处理数据，而不是指针。即使你有一个值的引用，它通常也被视为只是该值的句柄，事实上，在幕后，引用只是一个指针，在内存中具有特定的地址，这是 Rust 不喜欢的细节想太多。（至少，这是我对 Rust 哲学的理解。请随意纠正我）
    即使你有两个引用，使用比较它们==也会按值比较它们（由于调用PartialEq::eq）。如果您确实想通过引用比较它们，则需要首先将它们转换为指针，或者调用像std::ptr::addr_eq. （据我了解，即使是通过引用进行比较的想法在 Rust 中也被认为是不惯用的）

    现在实际的答案是， 的实现sort使用Ord特征来决定排序切片中元素的顺序。（查看where签名上的子句sort）
    特征Ord（以及相关PartialOrd特征）的存在是为了按值决定类型的顺序，并且实际上是for调用的实现Ordstrself.as_bytes().cmp(other.as_bytes())来比较字符串中包含的实际字节。

    与此有些相关的是 Rust 中点运算符 ( ) 的行为.，它用于访问类型的字段和方法。在实际访问字段/方法之前，如果变量是引用，则在变量上使用点运算符总是会隐式取消引用该变量。
    如果它是嵌套引用，它甚至会多次取消引用它。这意味着对于任何类型T（甚至像 这样的基本类型i32），如果你有一个变量let my_var: &&&T = ...，并且你做了类似 的事情my_var.some_field，那将相当于(***my_var).some_field。
    这反过来意味着，在引用上调用的任何方法（例如由 的Ord实现调用的方法sort）都将处理引用内的实际数据，而不是引用本身。

    我想补充的一个免责声明是，我对 Rust 有点陌生，所以我所说的并不是 100% 正确。我愿意接受对此答案的评论来纠正我，以便我可以通过更正来编辑这个答案。

    • 1

相关问题