在 F# 中调用基类显式接口方法

Question

好的，我从基类 A 派生了一个类型 B。 A 实现 IDisposable 显式但我必须在 B 中进行额外的清理，所以我在 B 中实现 IDisposable：

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

问题是：如何从 base 访问 Dispose 方法？

(base :> IDisposable).Dispose()

产生编译器错误：Unexpected symbol ':>' in expression. Expected '.' or other token.

做类似的事情

(i :> IDisposable).Dispose()

当然会在运行时产生StackOverflowException - 那么我该怎么做呢？抱歉，以前从未遇到过这样的事情...

Answer 1

调用基类显式接口可以使用反射来完成。
请参阅我对有关 C# 的相关问题的回答：
How to call an explicitly implemented interface-method on the base class

Answer 2

您不能使用 C# 或任何语言来执行此操作；显式接口不允许这样做。

Answer 3

您最好将清理逻辑放在虚拟方法中并只实现一次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，也许它被认为是不必要的。