为什么 F# 编译器对一种情况给出错误，而对另一种情况则不给出错误？

我正在处理来自 F# 的平台调用，并且收到一个编译器错误，我真的无法理解。首先，让我展示一下我正在做的事情的 C 签名：

int Foo(
    ULONG_PTR *phHandle,
    DWORD flags
);

在 F# 中，我认为本地调用它的正确方法如下：

[<DllImport("somedll.dll")>]
static extern int APlatformInvokeCall
    (
        [<Out>]nativeint& phHandle,
        uint32 flags
    )

如果我尝试调用这个在课堂上，像这样调用它时出现编译错误：

type Class1() = 
    [<DllImport("somedll.dll")>]
    static extern int APlatformInvokeCall
        (
            nativeint& phHandle,
            uint32 flags
        )

    member this.Foo() =
        let mutable thing = nativeint 0
        APlatformInvokeCall(&thing, 0u) |> ignore
        thing

错误是：

类型实例化涉及 byref 类型。 Common IL 规则不允许这样做。

奇怪的是，当我在模块中完成这一切时，编译错误就消失了：

module Module1 = 
    [<DllImport("somedll.dll")>]
    extern int APlatformInvokeCall
        (
            nativeint& phHandle,
            uint32 flags
        )

    let Foo() =
        let mutable thing = nativeint 0
        APlatformInvokeCall(&thing, 0u) |> ignore
        thing

为什么它编译为模块，而不是类？

我认为定义一个是无效的externF# 中类中的方法。

如果你拉起F# 3.0 语言规范 http://fsharp.org/about/并搜索DllImport，靠近底部的是一个表格，列出了一些特殊属性以及如何使用它们。文本为[<DllImport>] says:

当应用于模块中的函数定义时，导致 F# 编译器忽略定义的实现，而是将其编译为 CLI P/Invoke 存根声明。

这似乎表明只有声明才有效extern方法（使用[<DllImport>]) 模块中定义的函数；但它没有提及任何有关班级成员的信息。

我认为您遇到了编译器错误。请将此代码提交至[email protected] /cdn-cgi/l/email-protection这样他们就可以修复编译器发出的错误消息——它实际上应该给你一个关于定义extern类中的方法，因为语言规范不允许这样做。