Một bài tập về phương pháp chống gỉ khác

Question

Tôi đang cố gắng thực hiện một tính năng giống như Monad trong Rust. Chủ yếu chỉ để cho vui và làm quen với hệ thống kiểu. Tôi khá chắc chắn rằng tôi sẽ không thể thực hiện đầy đủ tính trạng Monad do thiếu "loại cao cấp" như được giải thích trong số reddit discussion này, nhưng tôi muốn xem tôi có thể nhận được bao nhiêu. Đối với một số lý do tôi không thể lấy mã này để biên dịch. Có vẻ như nó nên. Ai đó có thể giải thích lý do tại sao? Cảm ơn.

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

Phương pháp tĩnh được xác định trong đặc điểm phải được gọi qua nó. Vì vậy, bạn phải:

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