java - ClassCastException MyType 无法转换为 MyType？

Question

我在 Clojure 中使用 deftype 时遇到了问题。如果我运行以下代码:

(defprotocol TestProt
  (geta [this])
  (getb [this]))

(deftype TestType [a b]
  TestProt
  (geta [this] a)
  (getb [this] b))

(defn test-function [^TestType a-testtype]
  (print (.geta a-testtype))) 

(def test-tt (TestType. 1 1))

(test-function test-tt)

然后编译器抛出:ClassCastException MyProject.core.TestType cannot be cast to MyProject.core.TestType。我做错了什么，或者这是一个错误？请注意，如果我从测试函数中删除类型注释，那么它只是:

(defn test-function [a-testtype]
  (print (.geta a-testtype))) 

然后代码工作正常，但我收到关于反射的警告(启用了 warn-on-reflect)，并且它运行得更慢，这违背了在我当前的用例中使用 deftype 的目的。

编辑:好的，代码在 repl 中工作，但当我使用 ctrl-alt-s 加载它时(我在 Eclipse 中逆时针运行它)。所以问题似乎出在 Eclipse 或 Counterclockwise 上。

Answer 1

当您重新定义一个类型(使用 deftype 或 defrecord)时会发生这种情况，但是在某个地方使用了以前存在的类，在您的情况下类型提示。

我无法重现您使用 CountercClockwise 的 CtrlAltS 描述的行为，但它确实以全新的方式评估以下表达式REPL，所以它可能以某种方式帮助诊断您的具体情况。

(defprotocol TestProt
  (geta [this])
  (getb [this]))

(deftype TestType [a b]
  TestProt
  (geta [this] a)
  (getb [this] b))

(defn test-function [^TestType a-testtype]
  (print (.geta a-testtype)))

(def test-tt (TestType. 1 1))

(println :first (test-function test-tt))

;= :first 1

;; redefine the type...
(deftype TestType [a b]
  TestProt
  (geta [this] a)
  (getb [this] b))

;; ...and the test-tt var with the new version     
(def test-tt (TestType. 1 1))

(println :second (test-function test-tt))

;= ClassCastException user.TestType cannot be cast to user.TestType  user/test-function (NO_SOURCE_FILE:89)