llame a un método de interfaz explícita de clase base en F #

Question

Ok Derivo un tipo B de una clase base A. A implementa IDisposable explícita, pero tengo que hacer la limpieza adicional en B, por lo que aplicar IDisposable en B:

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

pregunta es: ¿cómo acceder a la Desechar método de la base?

(base :> IDisposable).Dispose() 

produce error del compilador: Unexpected symbol ':>' in expression. Expected '.' or other token.

Hacer algo como

(i :> IDisposable).Dispose() 

, por supuesto, se obtiene un StackOverflowException en tiempo de ejecución - así que ¿cómo puedo hacer esto? Lo siento, pero nunca he encontrado algo como esto antes ...

Answer 1

Probablemente sea mejor que pongas tu lógica de limpieza en un método virtual e implementes IDisposable solo una vez.

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() 

Como no hay modificador protected acceso, se puede utilizar un archivo de firma para hacer Close no pública (o marcarlo internal).

La palabra clave base solo se puede usar para el acceso de miembros, no de forma independiente. Es por eso que base :> IDisposable no funciona.

Buscando en Reflector, Dispose solo llama al público Close método. De modo que podría volver a implementar IDisposable y llamar al base.Close().

Puede tener este mismo escenario en C#. Las clases heredables que implementan IDisposable deben proporcionar una forma para que las subclases se "enchufen" a la eliminación. Esto generalmente se hace proporcionando una sobrecarga protected virtual Dispose(disposing) que se llama desde Dispose(). Por alguna razón, DuplexClientBase no sigue esta convención. Tal vez se consideró innecesario dado que Dispose meramente lo reenvía a Close.

Answer 2

No puede hacer esto desde C# o cualquier otro idioma; las interfaces explícitas no permiten esto.

Answer 3

La interfaz explícita de la clase base de llamadas se puede hacer utilizando la reflexión.
Véase mi respuesta a una pregunta relacionada acerca de C#:
How to call an explicitly implemented interface-method on the base class