如何将 StructureToPtr 与 F# 结构结合使用？麻烦类型

Question

我有结构：

type OneDevice = {
        mutable id              : System.UInt16
        mutable typeDev         : byte
        mutable portNum         : byte
        mutable Parity          : byte
        mutable StopBits        : byte
        mutable BaudRate        : byte
        mutable addr1           : byte 
        mutable addr2           : byte 
        mutable useCanal        : byte
        mutable idGroup1        : byte
        mutable idGroup2        : byte 
        mutable idGroup3        : byte
        mutable idGroup4        : byte
        mutable idGroupSos1     : byte 
        mutable idGroupSos2     : byte 
        mutable idGroupSos3     : byte 
        mutable idGroupSos4     : byte 
        mutable idSosReserv     : byte 
        mutable addrModbus      : byte 
        mutable offsetModbus    : System.UInt16
        mutable pwd             : byte array
        mutable offsetInModbus  : System.UInt16
        mutable reserv          : System.UInt16
    }

我需要复制一些将其用作字节数组。在 C# 中，我可以在这里声明字节数组的大小，但现在我不知道 pwd 的大小。

我正在尝试使用：

let memcp(device : OneDevice, bytes : byte array) =
    Array.zeroCreate <| Marshal.SizeOf(typeof<OneDevice>)
        |> fun (array : byte array) ->
        GCHandle.Alloc(array, GCHandleType.Pinned) |> fun handle ->
            Marshal.StructureToPtr(device, handle.AddrOfPinnedObject(), true)
            handle.Free()

但收到错误消息：

错误无法将类型“Model + OneDevice”打包为非托管类型 结构;无法计算有意义的大小或偏移。

我认为这是因为我不知道这里的 pwd 大小。那么我该如何在 F# Structure 上使用它呢？或者也许我可以以某种方式声明静态大小数组类型？

谢谢

Answer 1

您需要使用 StructLayout 属性确保要封送的结构与本机结构具有相同的布局，例如。

[<type: StructLayout(LayoutKind.Sequential, Pack=1, CharSet=CharSet.Ansi)>]
type OneDevice = { 
    ...

此外，如果任何字段需要使用非默认封送行为（例如数组）进行封送，则需要使用 MarshalAs 属性显式标记它们。数组的默认封送行为是 LPArray，但听上去，您的本机结构需要 ByValArray。

[<field: MarshalAs(UnmanagedType.ByValArray, SizeConst = 17)>]
mutable pwd             : byte array

最后，将 GCHandle.Alloc 替换为 Marshal.AllocHGlobal 来分配非托管内存，并使用 Marshal.FreeHGlobal 释放它。

注意：我不确定 F# 记录类型是否可以接受这些属性，但我希望它们能够工作。如果没有，那么您需要将它们与 jpalmer 使用 struct 的建议结合使用。

编辑：

let size = Marshal.SizeOf(typeof<OneDevice>)
let unmanagedPtr = Marshal.AllocHGlobal(size)
Marshal.StructureToPtr(device, unmanagedPtr, false)
Marshal.Copy(unmanagedPtr, bytes, 0, size)
Marshal.FreeHGlobal(unmanagedPtr)

编辑：

以上用于将填充的 OneDevice 结构复制到空字节数组中。如果您想做相反的事情 - 将填充的字节数组转换为结构，这在很大程度上是相同的事情。

let size = Marshal.SizeOf(typeof<OneDevice>)
let unmanagedPtr = Marshal.AllocHGlobal(size)
Marshal.Copy(bytes, unmanagedPtr, 0, size)
Marshal.PtrToStructure(unmanagedPtr, device)
Marshal.FreeHGlobal(unmanagedPtr)

Answer 2

我认为你想要的是创建一个结构。在 F# 中，您可以使用

[<StructAttribute>]
type t = 
    ....