एफ # जेनेरिक स्ट्रक्चर में अतिरिक्त __dummy फ़ील्ड क्यों है?

Question

एफ # इंटरएक्टिव उपयोग करके, आप निम्न आकारों की पुष्टि कर सकते हैं:

// sizeof<A> = 4 bytes 
type A (i: int) = struct end 

// sizeof<B<int>> = 8 bytes (use any type parameter) 
type B<'T> (i: int) = struct end 

अतिरिक्त आकार के लिए कारण सामान्य मामले में एक पूर्णांक __dummy क्षेत्र की उपस्थिति हो रहा है। फिर से एफ # इंटरएक्टिव का उपयोग करना, आप इस का उपयोग कर typeof देख सकते हैं:

• typeof<A> से पता चलता DeclaredFields = [|Int32 i|]
• typeof<B<int>>DeclaredFields = [|Int32 i; Int32 __dummy|]

से पता चलता मुझे समझ नहीं आता क्यों इस __dummy क्षेत्र जोड़ा गया है।

मुझे लगता है कि कोड में जोड़ने के लिए जिम्मेदार यहाँ है:

let requiresExtraField = 
    let isEmptyStruct = 
     (match ilTypeDefKind with ILTypeDefKind.ValueType -> true | _ -> false) && 
     // All structs are sequential by default 
     // Structs with no instance fields get size 1, pack 0 
     tycon.AllFieldsAsList |> List.exists (fun f -> not f.IsStatic) 

    isEmptyStruct && cenv.opts.workAroundReflectionEmitBugs && not tycon.TyparsNoRange.IsEmpty 

मैं:

if requiresExtraField then 
    yield mkILInstanceField("__dummy",cenv.g.ilg.typ_int32,None,ILMemberAccess.Assembly) ] 

Line 6290 जहां requiresExtraField परिभाषित किया जाता है:

https://github.com/fsharp/FSharp.Compiler.Service/blob/master/src/fsharp/ilxgen.fs

Line 6377 यह दिखाता है मान लें कि isEmptyStruct का मतलब यह है कि संरचना में कोई उदाहरण फ़ील्ड नहीं है। लेकिन लिखित कोड यह जांच रहा है कि संरचना में कोई उदाहरण फ़ील्ड है, जो कि मेरे समेत अधिकांश structs के लिए सच है। मुझे लगता है कि अंतिम परीक्षण का अंतिम भाग यह है कि क्या कोई सामान्य प्रकार पैरामीटर हैं। तो requiresExtraFieldtype A (जेनेरिक नहीं) और truetype B (सामान्य प्रकार) के लिए false है।

क्या यह एक कंपाइलर बग है, या कोड सही है? यदि यह सही है, तो __dummy फ़ील्ड का उद्देश्य क्या है? क्या कोई रास्ता है जिससे मैं इसे टालने से बच सकता हूं?

एक और परीक्षण के रूप में, मैं आश्चर्यजनक रूप से मेरी एक और केवल उदाहरण क्षेत्र, और नहीं हटाया, मैं निम्न आकारों मिला है, दिखा रहा है कि __dummy क्षेत्र नहीं रह गया है जोड़ा गया है:

// sizeof<AA> = 1 
type AA = struct end 

// sizeof<BB<int>> = 1 
type BB<'T> = struct end 

कारण मैं करना चाहते हैं एक संदर्भ प्रकार के बजाए एक मूल्य प्रकार यह है कि मैं अपने डेटा संरचनाओं में इन वस्तुओं में से कई को संग्रहीत करूँगा, न केवल उन्हें पास कर रहा हूं।

Answer 1

मेरी मूल पोस्टिंग के नीचे टिप्पणियों में @jyoung द्वारा स्पष्टीकरण दिया गया है।

requiresExtraField की अंतिम पंक्ति cenv.opts.workAroundReflectionEmitBugs का परीक्षण भी करती है। यह ध्वज fscopts.fs में सेट किया गया प्रतीत होता है। कोड की पंक्ति है:

workAroundReflectionEmitBugs=tcConfig.isInteractive; // REVIEW: is this still required? 

तो अतिरिक्त __dummy क्षेत्र की समस्या को केवल एफ # इंटरएक्टिव में होता है।