Question

在OCaml中的不可变记录或对象更新期间，对象之间共享了多少内存？例如，对于代码中的记录：

type foo = {
    a : int;
    b : int;
    c : int}

let f1 = {a = 1; b=2; c=3}
let f2 = {f1 with c=4}

f1和f2共享多少内存？基本上，他们是否共享a和b的内存？同样，对于代码中的对象：

type ('i, 'j) lens = { get : 'j; set : 'j -> 'i }
class bar = object
    val a = 1
    method a = {
        get = a;
        set = fun a' -> {< a = a' >}
    }
    val b = 2
    method b = {
        get = b;
        set = fun b' -> {< b = b' >}
    }
    val c = 3
    method c = {
        get = c;
        set = fun c' -> {< c = c' >}
    }
end
let b1 = new bar
let b2 = b1#c.set 4

b1和b2之间共享多少内存？

基本上，想象一下字段a，b和c确实非常大的情况。我想进行不可更新的更新，但如果可能的话，我不想复制所有内存。

Answer 1

对于记录，f1和f2之间不会有共享内存，因为int占用的内存与指针一样多。如果您有更复杂的对象而不是int，则会有共享内存。例如在

中

type foo = {
  a : int list;
  b : int list;
  c : int list;
}

let f1 = {a = [1; 1; 1]; b = [2; 2; 2]; c = [3]}
let f2 = {f1 with c = [4]}

两个记录之间将共享1和2的列表。

Ocaml中的一般规则是复制简单类型（int，char，bool，...）但复杂类型（'a list，{{1} }，...）是共享的。这就是不可变数据结构很好的原因：您可以轻松共享。但要注意，即使数据是可变的，数据也是共享的：

'a array

然后type foo = {x : int ref; y : int ref} let a = {x=ref 0; y = ref 0} let b = {a with y = ref 1} let () = b.x := 2等于a.x。

在OCaml中的不可变记录或对象更新期间共享多少内存？

1 个答案: