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

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