在 SML 中，每个变量都表示一个引用吗？

Question

在 C 中，

• 每个变量都表示一个引用，我们可以通过运算符&从变量中获取引用。例如如果int x=1，则&x 是变量x 表示的引用。

• 每个变量都被评估为引用引用的值。例如x 被评估为 1。

在 SML 中，

• 每个变量都表示一个引用吗？例如。如果val y = ref(3)，则y 表示引用3。如果let val x = 4，x 表示什么：4 或引用 4？我们能否得到变量x表示的引用，类似于C中的&？

• y 被评估为引用 ref 3，x 被评估为 4。

谢谢。

Answer 1

SML 中的变量绑定不引入引用。在您的示例中，您无法获得对 x 的引用。所有引用都必须显式创建，并且是一流的值。只有这样的引用是可变的，绑定不是。

换句话说，绑定和引用在 SML 中是完全独立的功能。