f # private Klasse innerhalb der öffentlichen

Question

Ich habe eine Java-Klasse und ich muss eine ähnliche in F # schreiben. Wie kann ich eine private Klasse innerhalb von public in f # definieren?

public class KnownRuleGoals { 
    void record() { 
     knownParsingSet.add(new KnownParsing()); 
    } 

    private class KnownParsing { 
     Rule [] knownParsing; 
     KnownParsing() { 
     ... 
     } 
     void doWork() { ... } 
    } 
} 

Answer 1

Es ist in F # durchaus möglich. F # ist zuerst funktional, nicht rein funktional - und das ist eine seiner großen Stärken. F # ist pragmatisch und dieses Konstrukt unten ermöglicht es, genau das gleiche Ergebnis zu erzielen, auch wenn der Typ KnownParsing nicht in Java oder C# -Sequenzen "verschachtelt" ist.

type KnownRuleGoals() = 
    let knownParsingSet : List<KnownParsing> = List() 
    member this.Record() = 
     knownParsingSet.Add(new KnownParsing()) 

and private KnownParsing() = 
    let foo = "private fields" 
    member this.DoWork() = failwith "TODO implementation" 

Object expressions sind nützlich für die Schnittstellen oder abstrakte Klassen Umsetzung, aber die „Eltern“ Klasse (die, die ein Objekt Ausdruck schafft) nicht in der Lage sein, den Zugriff auf seine Einbauten. Oder, genauer gesagt, es gibt keine Möglichkeit, andere Einbauten als Interface/Abstract-Member auf andere Weise als über Ref-Zellen außerhalb des Objektausdrucks selbst zu erstellen. Dies hat Auswirkungen auf die Leistung, wie GC-Druck für Ref-Zellen.

Siehe this Beispiel in meinem Open-Source-Projekt darüber, wie Objektausdrücke und "geschachtelt über und" Typen austauschbar für IEnumerator Implementierung funktionieren. Auf this line verwende ich private Typ wie in dieser Antwort und es funktioniert gut. Im ganzen Projekt verwende ich F # in meist imperativer Weise, da dies der einzige Weg ist, anständige Leistung zu bekommen. Und ich muss sagen, ich mag F # am häufigsten über C#, auch für Imperativ-Code.

Answer 2

Wie bereits erwähnt, unterstützt F # derzeit keine verschachtelten Klassen.

Eine Abhilfe ist, wie von V. B. gezeigt, mit zwei separaten Klassen, von denen eine privat ist. Wenn die innere Klasse einfach ist (nur mit einer oder zwei Methoden), gibt es einen alternativen Ansatz, , der einen Abschluss als poor-person's object verwenden soll. Im folgenden Code erstellt die Funktion KnownParsing zwei Funktionen und gibt sie als Paar zurück. Die knownParsingSet enthält dann Paare von Funktionen anstelle von Instanzen von Klassen.

Wenn es nur eine Methode in der geschachtelten Klasse gibt, dann ist dieser Ansatz in Ordnung, da eine Methode nur eine Funktion ist. Für mehr als eine Methode in der geschachtelten Klasse wird es ziemlich hässlich, weshalb F # Leute das Problem mit anderen Techniken lösen. :)

type KnownRuleGoals() = 

    let knownParsingSet = System.Collections.Generic.HashSet() 

    // use a function 
    let KnownParsing() = 
     let knownParsing = [||] 
     let doWork() = 
      () // do something 
     let doWork2() = 
      () // do something 
     // return the pair of functions 
     doWork,doWork2 

    // the member/method comes after the closure because 
    // definitions must come before usage. 
    member this.record() = 
     knownParsingSet.Add(KnownParsing())