rust - 需要类型注解——为什么关联类型被区别对待？

Question

在下面的程序(play)中，FooBar特质提供了 bar方法，而是 bar 返回的对象的实际类型似乎是隐藏的。如果我使用类型参数而不是关联类型，它会起作用(play)。

为什么关联类型被区别对待？还是我做错了？

use std::ops::DerefMut;

pub trait FooBar: Sized {
    type Assoc: Sized + DerefMut<Target=Self>;

    fn foo(&mut self) -> Option<Self::Assoc>;

    fn bar(mut this: Self::Assoc) -> Result<Self::Assoc, Self::Assoc> {
        unimplemented!()
    }
}

#[derive(Debug)]
struct Test(u32);

impl FooBar for Test {
    type Assoc = Box<Test>;
    fn foo(&mut self) -> Option<Self::Assoc> {
        unimplemented!()
    }
}

fn main() {
    let mut tt = Test(20);
    let tt_foo: Box<Test> = tt.foo().unwrap(); // this is ok
    let tt_bar: Box<Test> = FooBar::bar(Box::new(tt)).unwrap(); // but not this
    assert_eq!(tt_bar.0, 20);
}

Answer 1

如果你的方法是

fn bar(mut this: Self::Assoc) -> Result<Self::Assoc, Self::Assoc>

然后你尝试调用它

FooBar::bar(Box::new(tt))

Rust 如何知道 Self 是什么类型？ Box::new(tt) 是 Self::Assoc 对的，但是你不能从中得到 Self，有几种类型可能有相同的 Assoc。

这就是 rustc 提示的地方:

type annotations required

您必须注释Self 是什么类型:

let tt_bar: Box<Test> = <Test as FooBar>::bar(Box::new(tt)).unwrap();

或等同于:

let tt_bar: Box<Test> = Test::bar(Box::new(tt)).unwrap();