rust - 用静态函数为特征实现特征

Question

trait Trait<T> {
    fn equality() -> bool;
}

impl<T> PartialEq for Trait<T> {
    fn eq(&self, other: &Trait<T>) -> bool {
        self.equality()
    }
}

结果

main.rs:5:23: 5:31 error: the trait `Trait` cannot be made into an object [E0372]
main.rs:5 impl<T> PartialEq for Trait<T> {

删除静态方法使其可编译。带有 &self 参数的方法也会编译。

Answer 1

它归结为一个称为对象安全的问题，您可以在RFC 255 中找到相关信息。 ;休恩有a good explanation of object safety in his blog ，也是。

基本上，创建特征对象需要隐含地定义其自身特征对象的特征；在这种情况下，这将是 impl<'a, T> Trait<T> for Trait<T> + 'a .如果可以为所有方法编写有意义的定义，那么特征就是对象安全的。静态方法在这种情况下没有意义——fn equality() -> bool 的主体是什么？是，没有 Self键入周围调用 equality方法？它需要凭空提取一个 bool 值，但它恭敬地拒绝这样做。