sml - ML 中 ref 函数的使用

Question

考虑到 ref 运算符，我很难理解它的应用和以下说明的含义:

1.

在这个定义中，我在定义什么？

 - val ref x=ref 9;

 val x = 9 : int

2.

我在用 ref x:= ref 12 做什么？

 - val x= ref 8;

 val x = ref 8 : int ref

 - ref x := ref 12; 

 val it = () : unit

 - x;

 val it = ref 8 : int ref

Answer 1

val ref x = ref 9 将 x 定义为 9 - 就像您编写了 val x = 9。这是因为 ref 是一个构造函数，所以它是将值 ref 9 与模式 ref x 进行模式匹配，它绑定(bind)了 x 到 9。当然，这样写而不是只写 val x = 9 没有什么意义。

当您编写 ref x := ref 12 时，您创建了一个新的 ref(类型为 int ref ref)，它引用 x。然后，您立即将新的 ref 更改为引用 ref 12 而不是 x。由于您创建的新 ref 永远不会存储在您可能访问的任何地方，因此这不会产生明显的效果。