带有可变字段的 deftype 实例无法编译

Question

当评估或编译 clojure.lang.IType 的实现时，编译器尝试反射性地访问其字段。当字段被标记为可变（因此是私有）时，这会失败。

`
Clojure 1.9.0-master-SNAPSHOT
user=> (deftype T [^:unsynchronized-mutable t])
user.T
user=> (T. :t)

object[user.T 0x2654635 "user.T@2654635"]

user=> (eval (T. :t))
CompilerException java.lang.IllegalArgumentException: No matching field found: t for class user.T

        Reflector.java:  271  clojure.lang.Reflector/getInstanceField
         Compiler.java: 4724  clojure.lang.Compiler$ObjExpr/emitValue
         Compiler.java: 4851  clojure.lang.Compiler$ObjExpr/emitConstants
         Compiler.java: 4529  clojure.lang.Compiler$ObjExpr/compile
         Compiler.java: 4049  clojure.lang.Compiler$FnExpr/parse
         Compiler.java: 6866  clojure.lang.Compiler/analyzeSeq
         Compiler.java: 6669  clojure.lang.Compiler/analyze
         Compiler.java: 6924  clojure.lang.Compiler/eval
         Compiler.java: 6890  clojure.lang.Compiler/eval
              core.clj: 3105  clojure.core/eval

...
`

对于不实现 IType 的类，不存在此类问题。

`
user> (deftype* user/U user.U)

    [^:unsynchronized-mutable u]
    :implements [])

nil
user> (eval (user.U. :u))

object[user.U 0x34699051 "user.U@34699051"]

`

该问题通常在实现带有缓存的哈希的 deftype 的标签字面值时出现。

Answer 1

评论者：alexmiller

是的，这很有趣。编译器将 deftype 编译成一个调用构造函数的调用，其中包含字段的当前值，但不可访问可变字段。一个替代方案可能是提供一个读取字段集的“读取”标准方法，而不仅仅依赖于反射。（另一个方案是更改可变字段的访问修饰符，但我认为这可能是不可行的。）

Answer 2

参考：https://clojure.atlassian.net/browse/CLJ-2092 （由 bendlas 报告）