3

我有这个代码：

let timer = new System.Diagnostics.Stopwatch()
timer.Start()
Array.zeroCreate<int> 100000000

timer.Stop()
printfn "%ims" timer.ElapsedMilliseconds

timer.Reset()
timer.Start()
Array.create 100000000 0

timer.Stop()
printfn "%ims" timer.ElapsedMilliseconds

我对其进行了测试并得到了以下结果：

0ms
200ms

如何Array.zeroCreate如此快速地创建数组并保证它的所有元素都具有默认值？我知道在其他语言中没有这种可能性（据我所知）。在其他语言中，我只知道数组的快速初始化，哪些元素不能保证具有默认值，因为它们可以在一些垃圾所在的内存中初始化。

谢谢！

4

1 回答 1

6

所以我们可以去查找源：

    [<CompiledName("ZeroCreate")>]
    let zeroCreate count =
        if count < 0 then invalidArg "count" (SR.GetString(SR.inputMustBeNonNegative))
        Microsoft.FSharp.Primitives.Basics.Array.zeroCreateUnchecked count

和

    [<CompiledName("Create")>]
    let create (count:int) (x:'T) =
        if count < 0 then invalidArg "count" (SR.GetString(SR.inputMustBeNonNegative))
        let array = (Microsoft.FSharp.Primitives.Basics.Array.zeroCreateUnchecked count : 'T[])
        for i = 0 to Operators.Checked.(-) count 1 do // use checked arithmetic here to satisfy FxCop
            array.[i] <- x
        array

所以从这里我们可以看到它Create做了更多的工作 - 所以它更慢。

我们可以更深入地找到底层函数：

// The input parameter should be checked by callers if necessary
let inline zeroCreateUnchecked (count:int) =
    (# "newarr !0" type ('T) count : 'T array #)

这基本上只是执行 CILnewarr指令。

可以想象，这条指令可以通过calloc以适当大小调用来执行，这将非常快。

于 2014-06-21T11:32:18.353 回答