声明nativeptr类型

Question

我想知道是否可以在 F# 中声明类型：

nativeptr<unit>

这似乎不可能（编译器抱怨“泛型构造要求类型 'unit' 是非托管类型”）。有我可以使用的解决方法吗？

最终目标是声明我自己的 blitDelegate，以便将操作码 Cpblk 公开给我的一些 F# 代码。

谢谢。

编辑：

这是我根据 kvb 的答案尝试的方法：

type blitDelegate<'T when 'T : unmanaged> = delegate of nativeptr<'T> * nativeptr<'T> * uint32 -> unit

let createBlitDelegate<'T when 'T : unmanaged>() =
    let dm = new DynamicMethod("blit",
                               typeof<System.Void>,
                               [| typeof<nativeptr<'T>>; typeof<nativeptr<'T>>; typeof<uint32> |])
    let ilGenerator = dm.GetILGenerator()
    ilGenerator.Emit(OpCodes.Ldarg_0)
    ilGenerator.Emit(OpCodes.Ldarg_1)
    ilGenerator.Emit(OpCodes.Ldarg_2)
    ilGenerator.Emit(OpCodes.Cpblk)
    ilGenerator.Emit(OpCodes.Ret)
    dm.CreateDelegate(typeof<blitDelegate<'T>>) :?> blitDelegate<'T>

let blit (blitDel:blitDelegate<'T>) dst src byteWidth = blitDel.Invoke(dst, src, byteWidth)

然后我从类成员中调用此代码，如下所示：

let dst = //get nativeint destination address
let src = //get nativeint source address

let bd = createBlitDelegate<'T>()

let tdst = NativePtr.ofNativeInt<'T> dst
let tsrc = NativePtr.ofNativeInt<'T> src

do blit bd tdst tsrc (uint32 size)
//Program.MemCpy.Invoke(dst.ToPointer(), dst.ToPointer(), uint32 size)

这会导致 blit 出现运行时错误（System.Security.VerificationException：操作可能会破坏运行时的稳定性。）

注释的代码运行良好（可以找到此处），但我的观点是用 F#（而不是 C#）对其进行编码。

我首先想使用 nativeptr 的原因是它实际上是 MemCpy 委托的前两个参数的类型（与 void 匹配） * 类型）并且有点想模仿它。

编辑2：

根据 kvb 的编辑，我修改了代码以使用静态成员（如 C# 版本）的类型托管委托创建，现在它可以工作了。 我不使用带有非托管约束的版本，但是这个版本，因为我实际上需要 blit 结构数组：

type blitDelegate = delegate of nativeint * nativeint * uint32 -> unit

Answer 1

根据您的描述，我不清楚您为什么需要 nativeptr。本质上，nativeptr<'t> 只是 nativeint 的一个薄包装器，带有一些用于对指针进行算术运算的帮助器。由于您不太可能拥有一个 unit 数组，因此我不知道这实际上对您有什么帮助。也许如果你展示更多的代码，会更容易给出更令人满意的答案。

编辑

我认为你几乎一切都做对了。但是，匿名托管的 DynamicMethod 必须是可验证的，而 cpblk 操作码永远无法验证。尝试为 DynamicMethod 使用不同的构造函数将其托管在类型或模块上。