F # generic 구조체에 여분의 __dummy 필드가있는 이유는 무엇입니까? F # 대화를 사용

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 필드의 존재가 될 것으로 보인다. 다시 F # 대화를 사용하면이 typeof를 사용하여 볼 수 있습니다

• typeof<A>는 DeclaredFields = [|Int32 i|]
• typeof<B<int>>이 __dummy 필드가 추가되었습니다 왜 이해가 안 DeclaredFields = [|Int32 i; Int32 __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 

I을 :

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이 보여 가정 해보자.은 구조체에 인스턴스 필드가 없음을 의미합니다. 그러나 작성된 코드는 구조체 이에 있는지 여부를 테스트하는 것입니다. 인스턴스 필드는 광산을 포함한 대부분의 구조체에서 true가됩니다. 최종 테스트의 마지막 부분은 일반적인 유형 매개 변수가 있는지 여부입니다. 따라서 requiresExtraField은 type A (일반이 아님)의 경우 false이고 type B (일반 유형의 경우)은 true입니다.

이것은 컴파일러의 버그입니까? 아니면 코드가 맞습니까? 그것이 올 바르면이 __dummy 필드의 목적은 무엇입니까? 내가 그것을 피할 수있는 방법이 있습니까?

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

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

내가 가지고 싶은 이유 : 다른 테스트로

, 나는 내가 __dummy 필드가 더 이상 추가되었음을 보여주는, 다음과 같은 크기를 가지고, 놀랍게도 내 유일한 인스턴스 필드, 그리고 제거 참조 유형이 아닌 값 유형은 데이터 구조에 이러한 객체를 많이 전달하는 것이 아니라 많은 객체를 저장한다는 것입니다.

Answer 1

설명은 @jyoung이 저의 원래 게시글 아래에있는 설명에 있습니다.

마지막 줄의 requiresExtraField도 cenv.opts.workAroundReflectionEmitBugs입니다. 이 플래그는 fscopts.fs에 설정된 것으로 보입니다. 코드 줄은 다음과 같습니다

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

그래서 여분의 __dummy 필드의 문제는 F # 대화에 발생합니다.