java – 在clojure中,是(=’a’a)指的是’同一个原子’？

在Common LISP的一些实现中,我们可以说对于以下表达式

(eq 'a 'a)

是真的,因为’a和’a是“同一个原子”.

这可能是依赖于实现的,但似乎短语(在流行的LISP教学书中使用)假设相同值的原子存储在存储器中的相同位置.

在Java中,两个具有相同值的实习字符串存储在内存中的相同位置.

现在JVM上的Clojure继承了Java的遗产,但是说Clojure中的两个原子(在JVM上)具有相同的值是同一个原子吗？ (即Clojure的原子存储机制如何工作？)

解决方法

首先,“atom”在Clojure中具有与大多数其他Lisp不同的含义.见 http://clojure.org/atoms

Clojure的=函数使用基于值的相等.因此,具有相同值的两个对象将是=,即使它们存储在存储器中的不同位置.

要测试两个对象是否实际上是同一个对象,在内存中的同一地址,使用相同的？功能.