SML的引用类型

我在SML中有两个参考文献：

val a=参考文献5； val b=参考文献6

当前a=b的计算结果为false。是否有可能以某种方式分配变量b，使a=b的计算结果为真？

---

谢谢

不。不是，它们是指向不同对象的指针

从技术上讲，你可以做到

val a = ref 5;
val b = a;

---

那就行了。

不。不是，它们是指向不同对象的指针

从技术上讲，你可以做到

val a = ref 5;
val b = a;

---

那就行了。

所以一旦两个指针被初始化，它们总是指向不同的对象？你可以通过赋值让它们指向同一个对象，但一般来说是的，当根据不同的常量值初始化时，两个指针总是指向不同的位置。所以一旦两个指针被初始化，它们总是指向不同的对象？您可以通过赋值让它们指向同一个对象，但一般来说是的，当根据不同的常量值初始化时，两个指针总是指向不同的位置。