rust - 另一个 Rust 泛型练习

Question

我正在尝试在 Rust 中实现类似 Monad 的特征。主要是为了好玩和熟悉类型系统。我很确定我将无法完全实现 Monad 特性，因为缺少“更高种类”，如本 reddit discussion 中所述。 ，但我想看看我能走多近。出于某种原因，我无法编译这段代码。似乎应该如此。谁能解释一下为什么？

trait Monad<T> {
    fn lift(val: T) -> Self;
}

struct Context<T>{ 
    val: T 
}

impl<T> Monad<T> for Context<T> {
    fn lift(x: T) -> Context<T> {
        Context{val: x}
    }
}

fn main() { 
    let c:Context<int> = Context<int>::lift(5i);
}

Answer 1

在特征中定义的静态方法必须通过它来调用。所以，你会:

let c: Context<int> = Monad::lift(5);