Clojure 的点特殊形式怪异

Question

我很好奇为什么会这样（正如我在阅读 the documentation on the dot special form 后所期望的那样）：

(map #(. % isInstance {}) [clojure.lang.IPersistentMap])

返回：

(true)

但这不是：

(. clojure.lang.IPersistentMap isInstance {})

我收到一个错误“没有匹配的方法：isInstance”。形式与上面的map 函数调用完全相同，但在map 之外，它不起作用。为什么？

Answer 1

.（点）螺旋形是其中最奇怪的。不知道我是否会很好地解释它，但让我们试试吧。

每docs:

如果第一个操作数是解析为类名的符号，则访问被认为是对命名类的静态成员。请注意，根据 JVM 规范，嵌套类被命名为 EnclosureClass$NestedClass。 否则假定它是实例成员，并计算第一个参数以生成目标对象。

强调我的。

所以你已经遇到了(. clojure.lang.IPersistentMap isInstance {}) 的第一个案例 - clojure.lang.IPersistentMap 解析为类名，并且整个表达式被假定为静态方法调用。

在map 的情况下，符号被求值（强调的部分），在传递给匿名函数之前求值为clojure.lang.IPersistentMap 类对象，整个表达式是对该类的实例方法调用。

所以归结为这样一个事实，在一个地方clojure.lang.IPersistentMap 被用作引用类名的符号，而在另一个地方被用作评估类对象的东西。

也看here:

请注意，类名通常表示类对象，但会以某些特殊形式进行特殊处理，例如'。和新的。