重寫在F＃

Question

下面的代碼產生「T1 T1 T2」繼承的成員。我想知道是否有人可以請告訴我如何改變它以獲得「t1 t2 t2」。在t2中使用「覆蓋」而不是「成員」是錯誤的，我不明白爲什麼。我很高興看到RTFM，只要我能知道FM的外觀和用途。

提前千恩萬謝的，對不起，如果我錯過了，爲什麼我想應該是不可能的哪些根本原因。

type myinterface = 
    abstract member doit : unit -> unit 

type t1() = 
    interface myinterface with 
     member x.doit() = printf "t1\n" 

type t2() = 
    inherit t1() 

    member x.doit() = printf "t2\n" 

let override_test() = 
    let t1 = t1() :> myinterface 
    let t2 = t2() 
    let t2i = t2 :> myinterface 
    t1.doit() 
    t2i.doit() 
    t2.doit() 

Answer 1

這應該有你想要的行爲：

type myinterface = 
    abstract member doit : unit -> unit 

type T1() = 
    interface myinterface with 
     member x.doit() = printfn "t1" 

type T2() = 
    inherit T1() 
    member x.doit() = printfn "t2" 
    interface myinterface with 
     member x.doit() = x.doit() 

let override_test() = 
    let t1i = T1() :> myinterface 
    let t2 = T2() 
    let t2i = t2 :> myinterface 
    t1i.doit() 
    t2i.doit() 
    t2.doit()