syntax - F# 中 Item 属性的类型

Question

考虑接口(interface):

type IVector = 
    abstract Item : int -> float

现在，让我们定义类:

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

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

那么提供一种方法来改变密集向量的第 n 个条目呢？然后，将上面的代码修改为:

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

但是，由于抽象方法 Item 的签名，我收到以下错误。在 IVector界面:

未找到与此覆盖对应的抽象属性。

那么， Item 的签名应该是什么？在 IVector ?

Answer 1

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