如何使 trait 方法采用 &Self 参数

Question

我正在尝试使用一些默认方法实现来创建特征。其中一种方法必须采用相同类型的实例并执行一些计算。

这是我想要实现的简单示例：

struct A {
    val: f32,
}

trait S {
    fn val(&self) -> f32;

    fn add(&self, other: &Self) -> f32 {
        add(&self, other)
    }
}

impl S for A {
    fn val(&self) -> f32 {
        self.val
    }
}

fn add<T: S>(first: &T, second: &T) -> f32 {
    first.val() + second.val()
}

编译失败，报错：

15 | |     fn add(&self, other: &Self) -> f32 {
16 | |         add(&self, other)
   | |                    ^^^^^ expected `&Self`, found type parameter `Self`
17 | |     }

我不明白错误信息，因为 other 的类型是 &Self 而不是 Self，那么为什么编译器会不这么认为呢？

如果我将其更改为引用 add(&self, &other)（这似乎不对，因为 other 已经是引用类型），我会收到另一个错误：

   |
16 |         add(&self, &other)
   |         ^^^ the trait `S` is not implemented for `&Self`
...
26 | fn add<T: S>(first: &T, second: &T) -> f32 {
   |           - required by this bound in `add`

有没有办法通过默认的 trait 实现来实现这一点，或者这只适用于具体类型（例如在这个问题中：How do I implement the Add trait for a reference to a struct?）？

编辑：如果我将其称为add(self, other)，它会尝试发送特征对象，但我想通过引用发送对象。真的，我想发送具体的实现而不是 trait 对象。

error[E0277]: the size for values of type `Self` cannot be known at compilation time
  --> src/main.rs:16:9
   |
16 |         add(self, other)
   |         ^^^ doesn't have a size known at compile-time

Answer 1

您将&self 传递给add()，这使其成为双重引用，并且add() 的参数在类型上不一致。 add 的 T 显然是由第一个参数决定的，这就是为什么编译器似乎期望另一个参数也具有 &&Self 参数的原因。 （阅读错误消息末尾的注释。）

用add(self, other) 调用它，它会编译。请注意，您还需要通过添加+ ?Sized 来选择退出绑定在add 上的隐式Sized。

// rest as in your code

trait S {
    fn val(&self) -> f32;

    fn add(&self, other: &Self) -> f32 {
        add(self, other)
    }
}

fn add<T: S + ?Sized>(first: &T, second: &T) -> f32 {
    first.val() + second.val()
}

Playground