如何使用默认构造函数创建记录类

Question

结构有默认构造函数，就像我这样做一样，

type tagONEDEV_FlowRec =
    struct
        .......
    end

我可以执行 new DeviceModel.tagONEDEV_FlowRec() 但它不适用于此：

let (<++|) device bytes size =
    let unmanagedPtr = Marshal.AllocHGlobal(size : int)
    Marshal.Copy( (bytes : byte array), 0, unmanagedPtr, size)
    Marshal.PtrToStructure(unmanagedPtr, (device : obj)) // Here
    Marshal.FreeHGlobal(unmanagedPtr)

我在这里需要一个类似的记录类

[<type:StructLayout(LayoutKind.Sequential, Pack=1, CharSet=CharSet.Ansi)>]
type tagONEDEV_FlowRec = { 
    mutable ....;}

，或者

type tagONEDEV_FlowRec =
    class
        .......
    end

但这里没有默认构造函数和结构非常大到零手动初始化它们，那么我如何将此类与默认构造函数一起使用？

如果我找不到解决方案，我认为在 C# 甚至 VB.NET 上重新编码这部分对我来说会更快。听起来很像拐杖解决方案，但看起来我还无法使用 F# OOP 部分进行拨号。

另外：我不想输入的是：

               {TimeRec     = 0; 
                Num         = 0us;
                FlagErr     = 0us;
                C6          = 0.0;
                C2H6        = 0.0;
                C3H8        = 0.0;
                CH4         = 0.0;
                CO2         = 0.0;
                iC4H10      = 0.0;
                iC5H12      = 0.0;
                neoC5H12    = 0.0;
                N2          = 0.0;
                nC5H12      = 0.0;
                O2          = 0.0;
                nC4H10      = 0.0;
                He          = 0.0;
                H2          = 0.0;
                H2O         = 0.0;
                id          = 0us; }

<-这是我默认想要的，因为我有更大的结构，并且编写这样的构造函数是邪恶的。

Answer 1

看来我找到了一个有效的技巧：

[<type:StructLayout(LayoutKind.Sequential, Pack=1, CharSet=CharSet.Ansi)>]
type tagONEDEV_FlowRec =
    class
        [<DefaultValue>] val RecTime         : int;
        [<DefaultValue>] val FlowTime        : int;
        [<DefaultValue>] val AbsPress        : single;
        [<DefaultValue>] val T               : single;
        [<DefaultValue>] val DP_V_FlowRate   : single;
        [<DefaultValue>] val Volume          : double;
        [<DefaultValue>] val Energy          : double;
        [<DefaultValue>] val id              : UInt16;
        new() = {} 
    end

Answer 2

如果您出于某种原因确实想要初始化一条记录，正如约翰所说，有
“黑客解决方案”。

这是我的：（我同意如果你必须这样做，你可能做错了，但我向你保证我的确实对我所做的事情有帮助:)。

let rec unsafeDefaultValues (x:System.Type) = 
  if x.IsValueType then System.Activator.CreateInstance(x)
  else if (Microsoft.FSharp.Reflection.FSharpType.IsRecord x) then
    let cntr = x.GetConstructors() |> Array.pick Some
    let values = 
      cntr.GetParameters()
      |> Array.map (fun p -> unsafeDefaultValues p.ParameterType)
    cntr.Invoke(values)
  else if (Microsoft.FSharp.Reflection.FSharpType.IsTuple(x)) then
    let tupleValues = 
      Microsoft.FSharp.Reflection.FSharpType.GetTupleElements(x)
      |> Array.map (unsafeDefaultValues)
    Microsoft.FSharp.Reflection.FSharpValue.MakeTuple(tupleValues, x)
  else if (x.IsArray) then
    box (System.Array.CreateInstance(x.GetElementType(), 0))
  else
    null

let unsafeDefaultValuesFor<'a> = unsafeDefaultValues typeof<'a> :?> 'a

这里是你将如何使用它：

type A = {
  String : string
  Int : int
  StringOption : string Option
}

type B = {
  String : string
  Int : int
  A : A  
}

unsafeDefaultValuesFor<B>

结果将如下所示：
{字符串=空;整数=0； A = {字符串= null;整数=0； StringOption = null;};}

Answer 3

正如 jpalmer 试图解释必须使用参数初始化记录一样。我认为您应该尝试使用

type MyStruct =
    struct
        val mutable myInt : int
        val mutable myString : string
    end

此处查看： MSDN Docs Explicit字段

是的，我知道有更多的代码行和额外的“struct”、“end”和一些“val”，但这真的这么难吗？如果您的类型使用了 1000 个属性，无论如何您都应该重新考虑您的代码。

Answer 4

在 F# 中，您可以使用隐式语法放置默认构造函数，就像

type type(arg1,arg2) =
   let v1 = arg1
   let v2 = arg2
   ....

我认为您使用 record 的方式有点奇怪，在 F# 中，记录类似于具有命名成员的元组 - http://msdn.microsoft.com/en-us/library/dd233184.aspx

编辑

所以问题基本上是你是否可以有一个将 a 归零的构造函数记录类型 - 回答否。在这种情况下，我认为最好的答案是从记录切换到结构/类，以便您可以获得所需的行为。

我想到的一种黑客解决方案是使用 System.Reflection.Assembly.CreateInstance ，它有时可以帮助解决此类问题，但编译器不提供默认构造函数，因此它不起作用

Answer 5

使用 CLIMutable 声明带有隐式默认构造函数的记录。

[<CLIMutable>]
type MyRecord = { MyField: int }

为了防止代码漂移，我推荐使用以下样式来代替上面的样式。

type [<CLIMutable>] MyRecord = { MyField: int }

“代码漂移”是指诸如属性之类的内容在没有人注意到的情况下偏离其最初预期的代码元素的趋势。使用第二种样式，由于编辑时的粗心，属性更不可能偏离声明。