In F #, wie initialisiere ich statische Felder in einem Typ ohne primären Konstruktor?

Question

Ich habe eine F # -Klasse, die von einer .NET-Klasse mit mehreren Konstruktoren abgeleitet ist. Um sie alle verfügbar zu machen, implementiere ich einen Typ ohne primären Konstruktor. Jetzt möchte ich ein statisches Feld hinzufügen. Wie initialisiere ich das statische Feld? Bedenken Sie:

type MyType = 
    inherit DotNetType 
    [<DefaultValue>] static val mutable private myStatic : int 
    new() = { inherit DotNetType() } 
    new (someArg:string) = { inherit DotNetType(someArg) } 

Nun, wie kann ich die „myStatic“ Feld in einer Art und Weise zu initialisieren, die genau einmal ausgeführt wird, wenn der Typ verwendet wird, und schon gar nicht, wenn der Typ nie verwendet? Im Wesentlichen brauche ich das Äquivalent eines C# statischen Konstruktorblocks.

Answer 1

Siehe F# spec, Abschnitt 8.6.3 Weitere Objektkonstruktoren der Klassen:

For classes without a primary constructor, side effects can be performed after the initialization of the fields of the object by using the additional-constr-expr then stmt form.

Beispiel:

type MyType = 
    inherit DotNetType 
    [<DefaultValue>] static val mutable private myStatic : int 
    new() = { inherit DotNetType() } then MyType.myStatic <- 1 
    new (someArg:string) = { inherit DotNetType(someArg) } 
    static member Peek = MyType.myStatic 

MyType.Peek |> printfn "%d" // prints 0 
MyType() |> ignore 
MyType.Peek |> printfn "%d" // prints 1