Question

我发现Clojure的行为混淆了地图和记录之间的平等。在第一个例子中，我们有两种结构相同的不同类型。 equality =函数返回true：

user> (defn make-one-map
         []
       {:a "a" :b "b"})
#'user/make-one-map
user> (def m1 (make-one-map))
#'user/m1
user> m1
{:a "a", :b "b"}
user> (def m2 {:a "a" :b "b"})
#'user/m2
user> m2
{:a "a", :b "b"}
user> (= m1 m2)
true
user> (type m1)
clojure.lang.PersistentArrayMap
user> (type m2)
clojure.lang.PersistentHashMap

在第二个例子中，我们有一个hashmap和一个记录，它们在结构上是等价的，但是= function返回false：

user> (defrecord Titi [a b])
user.Titi
user> (def titi (Titi. 1 2))
#'user/titi
user> titi
#user.Titi{:a 1, :b 2}
user> (= titi {:a 1 :b 2})
false

为什么会有差异？我正在使用Clojure 1.3，我发现它们真的令人困惑。

Answer 1

来自defrecord的文档字符串：

此外，defrecord将定义基于类型和值的=和will 定义了符合合同的Java .hashCode和.equals java.util.Map。

因此，在使用=时，会考虑类型。您可以改为使用.equals：

user> (.equals titi {:a 1 :b 2})
true

Answer 2

PersistentArrayMap和PersistentHashMap在概念上是相同的 - 随着ArrayMap的增长，出于性能原因，它会自动转换为HashMap。用户级代码通常不应该尝试区分这两者。

另一方面，defrecord数据类型与其他地图之一不同。它是一个单独的类型，可以实现完全不同的接口，不应该被其他形式的地图自动替换。它在概念上不等于法线贴图，因此=返回false。

在Clojure中映射和记录相等性

2 个答案: