Loại Item bất động sản trong F #

Question

Xem xét giao diện:

type IVector = 
    abstract Item : int -> float 

Bây giờ, chúng ta hãy xác định các lớp:

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

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

gì về cung cấp một phương pháp để biến những entry n-thứ của vector dày đặc? Sau đó, nó sẽ được tốt đẹp để thay đổi mã trên như:

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 

Tuy nhiên, tôi nhận được lỗi sau vì chữ ký của phương pháp trừu tượng Item trong giao diện IVector:

Không có tài sản trừu tượng đã được tìm thấy tương ứng với ghi đè này.

Vì vậy, chữ ký của Item trong IVector là gì?

Answer 1

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

Answer 2

Bạn có thể thực hiện DenseVector mà không thay đổi giao diện ban đầu khi cũng cung cấp một setter như thế này:

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