एफ # में, मैं किसी भी प्रकार के प्राथमिक कन्स्ट्रक्टर वाले स्थिर फ़ील्ड को कैसे प्रारंभ करूं?

Question

मेरे पास एक एफ # वर्ग है जो कई रचनाकारों के साथ एक .net वर्ग से निकला है। उन सभी को बेनकाब करने के लिए, मैं एक प्रकार का प्राथमिक कन्स्ट्रक्टर के साथ लागू करता हूं। अब मैं एक स्थिर क्षेत्र जोड़ना चाहता हूं। मैं स्थैतिक क्षेत्र कैसे शुरू करूं? इस पर विचार करें:

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

अब, मैं कैसे एक तरीका है कि ठीक एक बार चलता है, तो प्रकार प्रयोग किया जाता है, और बिल्कुल नहीं करता है, तो प्रकार इस्तेमाल कभी नहीं किया है में "myStatic" क्षेत्र को प्रारंभ करते हैं? अनिवार्य रूप से, मुझे सी # स्थिर कन्स्ट्रक्टर ब्लॉक के बराबर की आवश्यकता है।

Answer 1

F# spec, खंड 8.6.3 अतिरिक्त वस्तु वर्ग में कंस्ट्रक्टर्स देखें:

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.

उदाहरण:

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