为何含点特殊形式的Clojure代码执行结果存在差异?
为什么Clojure中使用点特殊形式时,直接用类名和通过identity包装后结果不同?
核心原因是Clojure的.特殊形式对类名和类对象实例的处理逻辑存在差异:
- 当执行
(. System getProperties)时,Clojure会识别System是一个类的名称,自动将这段代码解析为调用静态方法System.getProperties(),这完全符合Java的静态方法调用逻辑,因此能正常返回系统属性集合。 - 当执行
(. (clojure.core/identity System) getProperties)时,(identity System)返回的是System对应的java.lang.Class类实例(也就是类本身的对象)。此时.特殊形式会把它当作普通Java对象实例,尝试调用该实例的getProperties方法,但java.lang.Class类并没有定义这个方法,所以会抛出No matching field found: getProperties for class java.lang.Class的错误。
虽然(= (clojure.core/identity System) System)返回true,但这仅代表两者的值相等。Clojure在解析.特殊形式时,会根据语法位置判断处理逻辑:直接写类名时按静态方法处理,而表达式求值后的结果(哪怕值是类对象)会按实例方法处理。
如果需要通过表达式调用静态方法,可以使用(clojure.core/static-call System getProperties),或者使用更直观的Clojure Java互操作语法(System/getProperties)(Clojure 1.4及以上版本支持)。
内容的提问来源于stack exchange,提问作者rusfrompiter
相关产品推荐
相关产品推荐

