F# 从 CollectionsMarshal.GetValueRefOrAddDefault 返回 byref

Question

我试图获取从 CollectionMarshal.GetValueRefOrAddDefault 方法返回的 byref 。现在 t 是一个 int 但我想要 byref。

open System.Runtime.InteropServices
let d = System.Collections.Generic.Dictionary<int, int>()

let t, _ = CollectionsMarshal.GetValueRefOrAddDefault (d, 1)

F# 文档说要在方法调用前添加 & ，但编译器会返回错误。

let t, _ = &CollectionsMarshal.GetValueRefOrAddDefault (d, 1)
// Error:
// Cannot take the address of the value returned from the expression.
// Assign the returned value to a let-bound value before taking the address.
// F# Compiler3236

Answer 1

这里有一些示例代码来说明解决方案：

open System.Runtime.InteropServices

// without this you get a warning about the byref-typed `v` being a top-level value in a module
type Blah() = 
    let d = System.Collections.Generic.Dictionary<int, int>()
    let mutable t = Unchecked.defaultof<_>
    let v = &CollectionsMarshal.GetValueRefOrAddDefault (d, 1, &t)

这里发生的情况是，您试图对编译器试图加糖的内容进行去糖（隐式可变占位符参数），但在我看来，编译器加糖的方式存在差距。您可以提出一个合理的论点，即 let struct(wasAdded, value) = CollectionsMarshal.GetValueRefOrAddDefault(d, 1) 可能是合理的脱糖，因为没有分配等。

无论如何，在您的示例中让我们看看您尝试调用的成员的签名：

GetValueRefOrAddDefault : System.Collections.Generic.Dictionary<'Key, 'Value> * 'Key * byref<bool> -> byref<'Value>

编译器有一个方法模式，该模式具有以 out/byref 值结尾并返回 byref 值的参数列表：它将执行所有操作为您记账。我的意思是，它将为您初始化 let mutable x = Unchecked.defaultof<_> 单元格，使用这些单元格的引用值调用该方法，并为您提供最终答案。

因为你想做快速的事情，所以你只需要自己包装而不是让编译器脱糖。