OCaml：动态数组？

Question

我一直想弄清楚如何在OCaml中调用调整大小已经初始化的数组。然而，看起来虽然你可以编写一个函数来创建一个全新的数组，并且复制了旧数组的元素（和额外的插槽），但是该函数的输出不能分配给现有的数组。如何做到这一点？有没有一种简单的方法可以使用引用来做到这一点，如果不是没有？

这里有一个小例子：

 
let rec function_that_adds_to_array storage args ... = 
    (* let's say the function has a set of if-else constructs that controls what it does, and let's further say that one of the cases leads to: *) 
    let new_array = Array.make (Array.length storage) ("Null", ("Null", -2)) in 
    Array.blit collection 0 new_array 0 index; (* index is controlled by the function's recursion *) 
    Array.set new_array index (obj_name, obj_expr); 
    new_array) (* insert the macro at tail *) 
... 
;; 


### main method ### 
let storage = Array.make 10 ((x : string), (a, b)) in 
... 
while true do 
... 
storage = function_that_adds_to_array storage args....; 
... 

在function_that_adds_to_array（...）末尾的打印语句确认一个新的数组返回，包含初始阵列的旧元素，然而，在主要方法，存储保持一致。这是因为OCaml元素的不变性吗？我以为阵列是可变的。我环顾四周，还有一些人提到黑客想让OCaml像Perl一样行事，但是，使用一个人的resize黑客功能证明是徒劳的。任何方式我可以让存储成为一个新的阵列？它需要是一个可更新的元组集合（即（string，（x，y）））？

Answer 1

在OCaml中，您不能指定变量，句点。数组没有特别的限制。但是，可以有一个绑定到引用的变量，该引用可以保存相同类型的不同值。这种结构在命令式语言中通常被称为“变量”。有不同大小的数组变量中x你如下可以写代码：

# let x = ref [| 0 |];; 
val x : int array ref = {contents = [|0|]} 
# Array.length x;; 
Error: This expression has type int array ref 
    but an expression was expected of type 'a array 
# Array.length !x;; 
- : int = 1 
# x := [| 2; 3 |];; 
- : unit =() 
# Array.length !x;; 
- : int = 2 

的!运营商取消引用的参考，并:=运营商分配新值。

如果您是OCaml的新手，我将包括我的标准建议，您应该在决定重新创建您已知的命令式语言的模式之前调查使用不可变数据。如果你不是OCaml的新手，我为我的无礼道歉！