Rust 中的字符串相等：引用和取消引用如何工作？

Question

作为 Rust 新手，我正在解决 Project Euler 问题以帮助我了解该语言。问题 4 涉及回文，我找到了两种创建回文向量的解决方案，但我不确定它们是如何工作的。

我使用的是字符串向量products，其计算方式如下：

let mut products = Vec::new();
for i in 100..500 {
    for j in 500..1000 {
        products.push((i * j).to_string());
    }
}

为了将这些产品过滤到只有回文的产品，我有以下两种解决方案：

解决方案 1：

let palindromes: Vec<_> = products
    .iter()
    .filter(|&x| x == &x.chars().rev().collect::<String>())
    .collect();

解决方案 2：

let palindromes: Vec<_> = products
    .iter()
    .filter(|&x| *x == *x.chars().rev().collect::<String>())
    .collect();

它们都产生了正确的结果，但我不知道为什么！

在解决方案 1 中，我们将字符串的引用与我们刚刚创建的字符串的引用进行比较？

在解决方案 2 中，我们取消引用对字符串的引用并将其与取消引用的新字符串进行比较？

我希望能够做到的事情：

let palindromes: Vec<_> = products
    .iter()
    .filter(|x| x == x.chars().rev().collect::<String>())
    .collect();

希望有人能给我解释一下：

• 我的两种解决方案有什么区别，为什么它们都有效？
• 为什么我不能只使用 x 而不在我的过滤器函数中引用或取消引用它？

谢谢！

Answer 1

1. Vec<String>.iter() 在引用上返回一个迭代器 (&String)。
2. .filter() 的闭包参数采用对迭代器项的引用。所以传递给闭包的类型是双重引用&&String。
3. |&x| 告诉闭包期待一个引用，所以 x 现在是 &String 类型。

第一个解决方案：collect 返回一个String，其中& 获取引用。 x 也是对字符串的引用，所以比较的是两个&String。

第二种解决方案：将取消引用运算符* 应用于x，从而产生String。右边很有趣：collect 的 String 结果被取消引用。这会产生一个字符串切片，因为String implements Deref<Target=str>。现在比较的是String 和str，这是有效的，因为它在标准库中是implemented（注意a == b 相当于a.eq(&b)）。

第三种解决方案：编译器解释为什么它不起作用。

特征 std::cmp::PartialEq<std::string::String> 没有为 &&std::string::String 实现

左侧是对字符串 (&&String) 的双重引用，右侧只是一个 String。 您需要让双方达到相同的“参考水平”。所有这些工作：

x.iter().filter(|x| x == &&x.chars().rev().collect::<String>());
x.iter().filter(|x| *x == &x.chars().rev().collect::<String>());
x.iter().filter(|x| **x == x.chars().rev().collect::<String>());