F# 读写非托管数据

问题描述

我正在探索 F# 中的低级编程，我知道风险和一般的“不要这样做”，这不是我的要求。

我目前正在尝试让事情正常工作的基本内容。

现在我遇到了一个问题，我得到了一些简单的类型（下面的代码），我将一些数据放入内存并尝试将该数据作为结构读取。但它不断涌入 System.Reflection.TargetInvocationException 说我正在尝试读取受保护的内存？

#Nowarn "9"
open FSharp.NativeInterop
open System.Runtime.InteropServices

type msgtype = OK = 0 | ERR = 1
[<type: Struct; StructLayout(LayoutKind.Explicit)>]
type msg  =
    [<field: FieldOffsetAttribute(0); MarshalAs(UnmanagedType.I1)>] 
    val tp : byte
    [<field: FieldOffsetAttribute(1); MarshalAs(UnmanagedType.I4)>]
    val content : int


let memory = 
    Marshal.AllocHGlobal(1024)

let read n  =
    let adr = memory
    let ptr = NativePtr.ofNativeInt<_> memory
    NativePtr.read ptr



let write item adr =
    let adr' = memory + adr
    let ptr = NativePtr.ofNativeInt adr'
    NativePtr.write ptr item

write 1uy memory
write 654 (memory+1n)
let m : msg = read memory

Marshal.FreeHGlobal memory

解决方法

我自己解决了这个问题。

显然是写函数有问题。

我改成

let write add item = 
    NativePtr.write (NativePtr.ofNativeInt<_> add) item

它刚刚奏效。

能否说是否只是对问题的声明在某种程度上有所不同？