F# 创建一个预定义大小的空数组

F# Create an empty Array of a pre-defined size

所以我试图创建一个空数组,它是 table 行的长度。我知道如何获得一行的长度,但我不知道如何制作具有预定义长度的数组。我正在制作的程序是动态的,因此数组的长度将根据我正在访问的 table 而变化。

有人知道怎么做吗?

你说你想要一个数组,所以看看Array.zeroCreate<'T>

来自documentation

Creates an array where the entries are initially the default value Unchecked.defaultof<'T>.

示例:

let arrayOfTenZeroes : int array = Array.zeroCreate 10

This 页面有很多关于 F# 数组的有用信息 - 仔细阅读它,它应该会为您指明正确的方向。

正如 Panagiotis Kanavos 在评论中指出的那样,F# 与 C# 等语言在创建数组方面有所不同,因此为了清楚起见,我将直接引用上面链接的 F# 语言参考文章:

Several functions create arrays without requiring an existing array. Array.empty creates a new array that does not contain any elements. Array.create creates an array of a specified size and sets all the elements to provided values. Array.init creates an array, given a dimension and a function to generate the elements. Array.zeroCreate creates an array in which all the elements are initialized to the zero value for the array's type.