f # prywatna klasa publiczna

Question

Mam klasę Java i muszę napisać podobną w języku F #. Jak zdefiniować prywatną klasę publiczną w języku f #?

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

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

Answer 1

Jest to całkowicie możliwe w języku F #. F # działa najpierw, nie jest czysto funkcjonalny - i jest to jedna z jego głównych zalet. F # jest pragmatyczny i ta konstrukcja poniżej pozwala osiągnąć dokładnie taki sam wynik, nawet jeśli typ KnownParsing nie jest "zagnieżdżony" w języku Java lub C#.

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 są przydatne do realizacji interfejsów lub klasy abstrakcyjne, ale klasa „rodzic” (ten, który tworzy wyrażenie Object) nie będzie w stanie uzyskać dostęp do jego wnętrzności. Lub, bardziej poprawnie, nie ma sposobu na tworzenie elementów wewnętrznych innych niż elementy interfejsu/abstrakcyjne w jakikolwiek inny sposób poza komórkami ref poza samym wyrażeniem obiektu. Ma to wpływ na wydajność, taki jak ciśnienie GC dla komórek ref.

Zobacz przykład z mojego projektu open-source o tym, jak wyrażenia obiektów i typy "zagnieżdżone przez" działają zamiennie dla implementacji IEnumerator. Na this line używam typu private jak w tej odpowiedzi i działa dobrze. W całym projekcie używam F # głównie w sposób imperatywny, ponieważ jest to jedyny sposób na uzyskanie przyzwoitej wydajności. I muszę powiedzieć, że najbardziej lubię F # ponad C# nawet dla imperatywnego kodu.

Answer 2

Jak już mówiono, F # obecnie nie obsługuje klas zagnieżdżonych.

Jedno obejście jest takie, jak pokazuje V.B., z dwiema oddzielnymi klasami, z których jedna jest prywatna.

Jeśli jednak wewnętrzna klasa jest prosta (tylko z jedną lub dwiema metodami), istnieje alternatywne podejście, , które ma używać zamknięcia jako poor-person's object. W poniższym kodzie funkcja tworzy dwie funkcje i zwraca je jako parę. Wówczas knownParsingSet zawiera pary funkcji, a nie wystąpienia klas.

Jeśli w klasie zagnieżdżonej jest tylko jedna metoda, to podejście jest w porządku, ponieważ jedna klasa metod jest po prostu funkcją. Dla więcej niż jednej metody w klasie zagnieżdżonej staje się dość brzydka, dlatego F # ludzie rozwiązują problem z użyciem innych technik. :)

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())