Por que esses tipos de registro de conflitos?

Question

Considerando os seguintes tipos de gravação:

type drCode1Body = {DrCode : byte ; Name : string ; Timestamp : DateTime ; Size : uint32 ; Options : byte}
type drCode2Body = {DrCode : byte ; LastBlock : byte ; BlockNumber : uint16 ; BlockSize : uint16 ; BlockData : array<byte>}
type drCode4Body = {DrCode : byte ; Name : string ; Timestamp : DateTime ; Options : byte ; Size : uint16 ; Data : array<byte>}

Se eu tentar criar instâncias como esta (trechos de código, não o código inteiro):

{DrCode = 1uy ; Name = name ; Timestamp = timestamp ; Size = size ; Options = options}        

{DrCode = 2uy ; LastBlock = lastBlock ; BlockNumber = blockNumber ; BlockSize = blockSize ; BlockData = blockData}

{DrCode = 4uy ; Name = name ; Timestamp = timestamp ; Options = options ; Size = size ; Data = data }

Ele não aceita a primeira linha a ser válido. Mesmo que o tamanho na primeira linha é um valor uint32. Ele simplesmente diz "não atribuição dada para o campo 'Data'."

Alterar os nomes dos parâmetros não quer ajudar, Eu tentei isso assim:

 {new drCode1Body with DrCode = 1uy and Name = name and Timestamp = timestamp and Size = size and Options = options} 

Então eu recebo a seguinte exceção:

Esta expressão tem tipo drCode1Body mas é aqui utilizado com o tipo de drCode4Body

Enquanto estou indicando claramente o tipo de registro que eu quero aqui.

O que está acontecendo?

Answer 1

Você pode apenas escrever por exemplo.

{drCode1Body.DrCode = 1uy ; Name = name ; ...

para disambiguate quando rótulos de campo recordes sobrepõem.

(efetivamente o que acontece é como F # começa a ler os rótulos, ele procura para trás para o primeiro tipo registro com esses rótulos ... uma vez que vê DrCode e nome, ele pensa 'certamente você drCode4Body média!' ..., fornecendo diasmbiguation no primeiro tag campo que você dirigir o-inferência tipo na direção certa.)

código abaixo compila sobre F # 1.9.6.2:

#light
open System
type drCode1Body = 
  {DrCode : byte; Name : string; Timestamp : DateTime; Size : uint32; Options : byte}
type drCode2Body = 
  {DrCode : byte; LastBlock : byte; BlockNumber : uint16; BlockSize : uint16; BlockData : array<byte>}
type drCode4Body = 
  {DrCode : byte; Name : string; Timestamp : DateTime; Options : byte; Size : uint16; Data : array<byte>}
let name = ""
let timestamp = DateTime.Now 
let size = 0u
let size2 = 0us
let options = 0uy
let lastBlock = 0uy
let blockNumber = 0us
let blockSize = 0us
let blockData = [|0uy|]
let data = [|0uy|]
let r1 = {drCode1Body.DrCode = 1uy; Name = name; Timestamp = timestamp; Size = size; Options = options}        
let r2 = {DrCode = 2uy; LastBlock = lastBlock; BlockNumber = blockNumber; BlockSize = blockSize; BlockData = blockData}
let r3 = {DrCode = 4uy; Name = name; Timestamp = timestamp; Options = options; Size = size2; Data = data }