在F＃中調用一個基類顯式接口方法

Question

好的，我從基類A得到B類型。 A實現IDisposable明確的，但我必須做額外的清理工作在B，所以我實現BIDisposable：

interface IDisposable with 
    member i.Dispose() = 
     // ... additional work 
     base.Dispose() // <- want to do but cannot 

的問題是：如何從基地訪問的Dispose法？

(base :> IDisposable).Dispose() 

產生編譯器錯誤：Unexpected symbol ':>' in expression. Expected '.' or other token.

做這樣的事情

(i :> IDisposable).Dispose() 

當然

產生對運行時StackOverflowException - 我怎麼能做到這一點？對不起，但從未遇到過這樣的事情......

Answer 1

你可能最好把你的清理邏輯放在一個虛擬方法中，並且只實現IDisposable一次。

type A() = 
    abstract Close : unit -> unit 
    default __.Close() = 
    printfn "Cleaning up A" 
    interface System.IDisposable with 
    member this.Dispose() = this.Close() 

type B() = 
    inherit A() 
    override __.Close() = 
    printfn "Cleaning up B" 
    base.Close() 

既然沒有protected訪問修飾符，您可以使用簽名文件，以使Close非公開（或標記它internal）。

base關鍵字只能用於成員訪問，而不能單獨使用。這就是爲什麼base :> IDisposable不起作用。

尋找反射器，Dispose只調用公衆Close方法。因此，您可以重新實施IDisposable並改爲撥打base.Close()。

您可以在C＃中使用相同的場景。實施IDisposable的可繼承類應該爲子類提供一種「插入」處理的方法。這通常通過提供從Dispose()調用的protected virtual Dispose(disposing)過載來完成。無論出於何種原因，DuplexClientBase不遵循此約定。考慮到Dispose僅轉發至Close，可能它被認爲是不必要的。

Answer 2

你不能從C＃或任何語言做到這一點;顯式接口不允許這樣做。

Answer 3

調用基類顯式接口可以使用反射來完成。
見我的回答對C＃一個相關的問題：
How to call an explicitly implemented interface-method on the base class