Создать массив с динамическим размером в F #

Question

В C# и Java байтовый массив может быть создан как этот

byte[] b = new byte[x]; 

где x обозначает размер массива. Я хочу сделать то же самое в F #. Я искал, как это сделать, и посмотрел его в документации. Я думаю, что, вероятно, я использую неправильные условия поиска, потому что я не могу понять, как это сделать.

То, что я нашел до сих пор является то, что Array.create можно использовать так:

let b = Array.create x (new Byte()) 

Есть еще один способ сделать это, который более похож на то, как это может быть сделано в C# и Java?

Answer 1

Я думаю, что вы хотите создать неинициализированный массив и заполнить его позже:

let arr = Array.zeroCreate 10 
for i in 0..9 do 
    arr.[i] <- byte(i*i) 

Это так, как вы обычно делаете в C#/Java, которая unidiomatic в F #. Думаю об этом; если вы забудете инициализировать некоторые элементы, вам придется иметь дело с ночными кошмарами .

Почти во всех случаях, вы всегда можете заменить описанную выше процедуру с помощью функций высокого порядка из Array module или массива понимания:

let arr = Array.init 10 (fun i -> byte(i*i)) 

или

let arr = [| for i in 0..9 do -> byte(i*i)|] 

Взгляните на this MSDN page; он содержит полезную информацию об использовании массива в F #.

Answer 2

Что вы имеете в виду?

F # имеет синтаксис, отличный от C# и Java, вы используете Array модуль, чтобы позволить ему создать массив с инициализатором. Ничего странного, один язык является функциональным, а другой - обязательным, поэтому эти различия действительно необходимы. не

Согласно F языка спецификации # вы не можете объявить что-то инициализируется (если с использованием конкретных шаблонов как Option типа, которые только эксплойты, которые позволяют выразить неинициализированную концепцию без действительно иметь его), поэтому вам нужно передать инициализатор для элементов в массиве.

Answer 3

теснейшей F # аналог будет Array.zeroCreate:

let b: byte [] = Array.zeroCreate x 

Вместо неявной инициализации элементов массива в 0 байт на Java и C# платформы F # делает начальное значение элементов массива очевидным.

Как dynamic size из b в F # это определяется один раз x значение при распределении и не могут быть изменены позже путем изменения x, аналогично C#/Java ,.

Answer 4

let b = Array.create<byte> x 0uy //Array.zeroCreate<byte> x