Comment spécifier un type de retour automatique

Question

J'ai une classe abstraite appelée "RecordA" avec une certaine logique de découpage à partir de laquelle je veux sous-classer quelques classes. Je veux "Record" pour définir une méthode Abstract Slice qui doit être implémentée pour renvoyer son propre type, e. g. tapez "RecordB" lorsqu'il est découpé renvoie le type RecordB.

Est-ce possible dans Fsharp? Si non, pourquoi pas?

Answer 1

La seule façon pour une interface pour une méthode qui retourne un type différent en fonction de la classe concrète est de rendre paramétrique:

type Record<'Concrete> = 
    abstract member Slice : unit -> 'Concrete 

type RecordB() = 
    interface Record<RecordB> with 
     member this.Slice() = new RecordB()