OCaml - 可变字段

Question

我有一个问题： 什么是可变字段？ 它与参考有关吗？ 如果我可以创建可变的“不”创建记录 感谢您的建议！

Answer 1

实际上，引用是根据可变字段实现的： 引用只是具有单个（可变）字段的记录，名为 contents，你可以在顶层看到：

# let x = ref 1;;
val x : int ref = {contents = 1}
# x.contents;;
- : int = 1
# x.contents <- 2;;
- : unit = ()
# !x;;
- : int = 2

获取可变字段的主要方式是使用记录，它是 你应该喜欢的方式。对象具有可变的实例变量。你 也可以通过使用单元素数组获得等价的引用。