Art des Item-Eigenschaft in F #

Question

Betrachten Sie die Schnittstelle:

type IVector = 
    abstract Item : int -> float 

Nun wollen wir uns die Klasse definieren:

type DenseVector(size : int) = 
    let mutable data = Array.zeroCreate size 

    interface IVector with 
     member this.Item with get n = data.[n] 

Was eine Methode, um über Versorgung mutieren die n-te Eintrag der dichter Vektor? Dann wäre es schön, den obigen Code zu modifizieren, wie:

type DenseVector(size : int) = 
    let mutable data = Array.zeroCreate size 

    interface IVector with 
     member this.Item with get n = data.[n] 
          and set n value = data.[n] <- value 

Allerdings habe ich die folgende Fehlermeldung wegen der Unterzeichnung des abstrakten Methode Item in der IVector Schnittstelle:

Keine Zusammenfassung Eigentum wurde gefunden, das dieser Übersteuerung entspricht.

Also, was sollte die Unterschrift von Item in IVector sein?

Answer 1

type IVector = 
    abstract Item : int -> float with get, set 

Answer 2

Sie können DenseVector implementieren, ohne die ursprüngliche Schnittstelle zu ändern, während auch eine Setter wie folgt bereitstellt:

type IVector = 
    abstract Item: int -> float with get 

type DenseVector(size : int) = 
    let data = Array.zeroCreate size 
    interface IVector with 
     member this.Item with get i = data.[i] 
    member this.Item 
     with get i = (this :> IVector).[i] 
     and set i value = data.[i] <- value