F# Создать пустой массив заранее определенного размера

Question

Поэтому я пытаюсь создать пустой массив, который является длиной строки таблицы. Я знаю, как получить длину строки, но я не знаю, как создать массив с заранее определенной длиной. Программа, которую я создаю, является динамической, поэтому длина массива будет варьироваться в зависимости от таблицы, к которой я обращаюсь.

Кто-нибудь знает как?

Answer 1

Вы сказали, что хотите пустой массив, поэтому взгляните на Array.zeroCreate<'T>,

Из документации:

Создает массив, в котором записи изначально являются значением по умолчанию Unchecked.defaultof<'T>.

Пример:

let arrayOfTenZeroes : int array = Array.zeroCreate 10

Эта страница содержит много полезной информации о массивах F# - посмотрите на нее, она должна указать вам правильное направление.

Как отметил в комментариях Панагиотис Канавос, F# отличается от языка, подобного C#, для создания массива, поэтому я процитирую непосредственно из справочной статьи по языку F#, с которой я связался выше, для ясности:

Несколько функций создают массивы, не требуя существующего массива. Array.empty создает новый массив, который не содержит никаких элементов. Array.create создает массив указанного размера и устанавливает для всех элементов заданные значения. Array.init создает массив, учитывая измерение и функцию для генерации элементов. Array.zeroCreate создает массив, в котором все элементы инициализируются нулевым значением для типа массива.