为什么带有byref的函数不能直接转换为委托？

Question

在正常情况下，可以通过调用new DelegateType并将函数作为参数传入，将F＃函数转换为委托。但是当委托包含byref参数时，这是不可能的。例如代码：

type ActionByRef<'a> = delegate of 'a byref -> unit

let f (x:double byref) = 
    x <- 6.0

let x = ref 42.0
let d = new ActionByRef<_>(f)

将无法编译，出现以下错误：

  

此函数值用于构造其签名包含byref参数的委托类型。您必须使用带有1个参数的显式lambda表达式。

发生错误后，修改代码以使用

let d = new ActionByRef<_>(fun x -> f(&x))

的工作原理。但我的问题是：为什么这有必要？为什么F＃不允许从命名函数转换到此委托，但是从lambda转换是好的？

在研究another question时，我发现了这种行为。我意识到byref仅用于与其他.Net语言兼容。

Answer 1

我认为问题是byref<'T>不是F＃中的实际类型 - 它看起来像一个类型（使语言更简单），但它被编译为标有out的参数旗。这意味着byref<'T>只能在编译器实际使用out标志的地方使用。

函数值的问题在于你可以构造函数，例如通过部分申请：

let foo (n:int) (b:byref<int>) = 
  b <- n

当您将foo作为参数传递给委托构造函数时，它是部分应用程序（没有参数）的特定情况，但是部分应用程序实际上需要构造一个新方法然后将其提供给委托：

type IntRefAction = delegate of byref<int> -> unit  

let ac = IntRefAction(foo 5)

编译器可能很聪明并使用byref参数（或out标志）生成新方法，然后通过引用传递给实际函数，但通常会有其他编译器生成不使用fun ... -> ...语法时的方法。处理这个会增加复杂性，我认为这是一个相对罕见的情况，所以F＃编译器不这样做并要求你更明确......