Tip

Question

arayüzü düşünün: Şimdi

type IVector = 
    abstract Item : int -> float 

bize sınıfını tanımlayalım:

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

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

n-inci girişi mutasyona arz konusunda ne bir yöntemdir yoğun vektör

yok soyut özelliği:

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 

Ancak, ben çünkü IVector arayüzünde soyut yöntemin Item imza aşağıdaki hatayı alıyorum: Sonra, yukarıdaki kodunu değiştirmek iyi olurdu Bu geçersiz kılma karşılık gelen bulundu.

IVector'da Item imzası ne olmalıdır?

Answer 1

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

Answer 2

Ayrıca böyle bir ayarlayıcı sağlarken orijinal arayüz değiştirmeden DenseVector uygulayabilirsiniz: Mükemmel

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