即使提供了类型注释也需要

Question

我想做这样的事情：

trait Trait {
    type Type;

    fn function<T>(val1: &T, ty: T::Type)
        where T: Trait
    {}
}

struct Struct;
impl Trait for Struct {
    type Type = u32;
}

fn main() {
    let val = Struct;
    Trait::function(&val, 5u32);
}

我得到了错误：error[E0284]: type annotations required: cannot resolve `<_ as Trait>::Type == _` (c.frust playground)

但即使我添加类型注释（Trait::function::<Struct>(&val, 5u32)），我也有同样的错误。

有关此错误原因的任何线索？

Answer 1

该特征没有提及self 或Self，但您似乎希望它以某种方式推断您想要的实例。

假设您有另一个Trait 的实现：

struct Struct2;
impl Trait for Struct2 {
    type Type = u32;
}

然后，即使您将 Struct 引用作为第一个参数传递，这对于任何一种实现都是有意义的。没关系：

let val = Struct;
<Struct as Trait>::function(&val, 5u32);

这没关系：

let val = Struct;
<Struct2 as Trait>::function(&val, 5u32);

如果您打算使用传递给function 的类型来确定实例，则应将参数键入为Self 而不是T：

trait Trait {
    type Type;

    fn function(&self, ty: Self::Type) {}
}

现在，它可以正确推断实例而无需额外的类型注释。