在Common LISP的一些实现中,我们可以说对于以下表达式
(eq 'a 'a)
是真的,因为’a和’a是“同一个原子”.
这可能是依赖于实现的,但似乎短语(在流行的LISP教学书中使用)假设相同值的原子存储在存储器中的相同位置.
在Java中,两个具有相同值的实习字符串存储在内存中的相同位置.
现在JVM上的Clojure继承了Java的遗产,但是说Clojure中的两个原子(在JVM上)具有相同的值是同一个原子吗？ (即Clojure的原子存储机制如何工作？)
解决方法
首先,“atom”在Clojure中具有与大多数其他Lisp不同的含义.见
http://clojure.org/atoms
Clojure的=函数使用基于值的相等.因此,具有相同值的两个对象将是=,即使它们存储在存储器中的不同位置.
要测试两个对象是否实际上是同一个对象,在内存中的同一地址,使用相同的？功能.
