为什么添加第二个impl可以防止对参数进行反引用强制转换？

Question

尝试将impl添加Add<char> for String到标准库时遇到了这个问题。但是我们可以轻松地复制它，而无需操作员恶作剧。我们从这个开始：

trait MyAdd<Rhs> {
    fn add(self, rhs: Rhs) -> Self;
}

impl MyAdd<&str> for String {
    fn add(mut self, rhs: &str) -> Self {
        self.push_str(rhs);
        self
    }
}

很简单。这样，将编译以下代码：

let a = String::from("a");
let b = String::from("b");
MyAdd::add(a, &b);

请注意，在这种情况下，第二个参数表达式（&b）具有类型&String。然后将其反强制执行&str，然后函数调用起作用。

但是，让我们尝试添加以下内容：

impl MyAdd<char> for String {
    fn add(mut self, rhs: char) -> Self {
        self.push(rhs);
        self
    }
}

（操场上的一切）

现在，MyAdd::add(a, &b)上面的表达式导致以下错误：

error[E0277]: the trait bound `std::string::String: MyAdd<&std::string::String>` is not satisfied
  --> src/main.rs:24:5
   |
2  |     fn add(self, rhs: Rhs) -> Self;
   |     ------------------------------- required by `MyAdd::add`
...
24 |     MyAdd::add(a, &b);
   |     ^^^^^^^^^^ the trait `MyAdd<&std::string::String>` is not implemented for `std::string::String`
   |
   = help: the following implementations were found:
             <std::string::String as MyAdd<&str>>
             <std::string::String as MyAdd<char>>

这是为什么？对我来说，似乎只有在只有一个候选函数时才执行反强制。但这对我来说似乎是错误的。为什么规则会这样？我尝试浏览该规范，但在参数deref强制上未找到任何内容。

Answer 1

正如您自己所解释的，编译器会专门处理只有一个有效的情况impl，并可以使用它来驱动类型推断：

这里有一条注释，指出如果只找到一个 impl，编译器会“热切地确认”它，这允许发生 deref 强制（除其他外）。对于多个 impl 候选者来说，这种情况不会发生。

第二部分是deref 强制转换只会发生在已知预期类型的​​站点上，而不会推测地发生。请参阅参考资料中的强制转换站点。Impl 选择和类型推断必须首先显式地找到所MyAdd::add(&str)期望的，以尝试将参数强制为&str。

如果在这种情况下需要解决方法，请对第二个参数使用类似&*bor&b[..]或 的b.as_str()表达式。