Tipo di proprietà Item in F #

Question

consideri l'interfaccia:

type IVector = 
    abstract Item : int -> float 

Ora, cerchiamo di definire la classe:

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

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

Che dire di fornitura di un metodo di mutare l'ingresso n-esimo del vettore denso? Quindi, sarebbe bello per modificare il codice di cui sopra come:

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 

Tuttavia, ho il seguente errore a causa della firma del metodo astratto Item nell'interfaccia IVector:

No proprietà astratta è stato trovato che corrisponde a questo override.

Allora, che cosa dovrebbe essere la firma del Item in IVector?

Answer 1

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

Answer 2

È possibile implementare DenseVector senza cambiare l'interfaccia originale, fornendo inoltre un setter come questo:

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