Как я могу определить тип clojure, который реализует интерфейс сервлета? - PullRequest
Новая
       25

Как я могу определить тип clojure, который реализует интерфейс сервлета?

7 голосов
/ 18 мая 2010

Я пытаюсь использовать deftype (из ответвления ветки clojure 1.2), чтобы создать класс Java, который реализует интерфейс сервлета Java. Я ожидаю, что приведенный ниже код скомпилируется (даже если он не очень полезен). 

(ns foo [:import [javax.servlet Servlet ServletRequest ServletResponse]])

(deftype servlet [] 
   javax.servlet.Servlet 
   (service [this 
         #^javax.servlet.ServletRequest request
         #^javax.servlet.ServletResponse response]
   nil))

Но это не компилируется. Компилятор выдает сообщение: 

Mismatched return type: service, expected: void, had: java.lang.Object
  [Thrown class java.lang.IllegalArgumentException]

Что не имеет смысла для меня, потому что я возвращаю ноль. Поэтому тот факт, что тип возвращаемого значения метода void, не должен быть проблемой. Например, для интерфейса java.util.Set: 

(deftype bar [#^Number n] java.util.Set (clear [this] nil))

компилируется без проблем.

Так что же я делаю не так с интерфейсом сервлета?

Чтобы быть ясным: Я знаю, что типичным случаем является создание подкласса одного из абстрактных классов сервлета, а не реализация этого интерфейса напрямую, но все же это должно быть возможно сделать.

Трассировка стека:

Трассировка стека для (сервлета deftype ... is: 

Mismatched return type: service, expected: void, had: java.lang.Object
  [Thrown class java.lang.IllegalArgumentException]

Restarts:
 0: [ABORT] Return to SLIME's top level.

Backtrace:
  0: clojure.lang.Compiler$NewInstanceMethod.parse(Compiler.java:6461)
  1: clojure.lang.Compiler$NewInstanceExpr.build(Compiler.java:6119)
  2: clojure.lang.Compiler$NewInstanceExpr$DeftypeParser.parse(Compiler.java:6003)
  3: clojure.lang.Compiler.analyzeSeq(Compiler.java:5289)
  4: clojure.lang.Compiler.analyze(Compiler.java:5110)
  5: clojure.lang.Compiler.analyze(Compiler.java:5071)
  6: clojure.lang.Compiler.eval(Compiler.java:5347)
  7: clojure.lang.Compiler.eval(Compiler.java:5334)
  8: clojure.lang.Compiler.eval(Compiler.java:5311)
  9: clojure.core$eval__4350.invoke(core.clj:2364)
 10: swank.commands.basic$eval_region__673.invoke(basic.clj:40)
 11: swank.commands.basic$eval_region__673.invoke(basic.clj:31)
 12: swank.commands.basic$eval__686$listener_eval__687.invoke(basic.clj:54)
 13: clojure.lang.Var.invoke(Var.java:365)
 14: foo$eval__2285.invoke(NO_SOURCE_FILE)
 15: clojure.lang.Compiler.eval(Compiler.java:5343)
 16: clojure.lang.Compiler.eval(Compiler.java:5311)
 17: clojure.core$eval__4350.invoke(core.clj:2364)
 18: swank.core$eval_in_emacs_package__320.invoke(core.clj:59)
 19: swank.core$eval_for_emacs__383.invoke(core.clj:128)
 20: clojure.lang.Var.invoke(Var.java:373)
 21: clojure.lang.AFn.applyToHelper(AFn.java:169)
 22: clojure.lang.Var.applyTo(Var.java:482)
 23: clojure.core$apply__3776.invoke(core.clj:535)
 24: swank.core$eval_from_control__322.invoke(core.clj:66)
 25: swank.core$eval_loop__324.invoke(core.clj:71)
 26: swank.core$spawn_repl_thread__434$fn__464$fn__465.invoke(core.clj:183)
 27: clojure.lang.AFn.applyToHelper(AFn.java:159)
 28: clojure.lang.AFn.applyTo(AFn.java:151)
 29: clojure.core$apply__3776.invoke(core.clj:535)
 30: swank.core$spawn_repl_thread__434$fn__464.doInvoke(core.clj:180)
 31: clojure.lang.RestFn.invoke(RestFn.java:398)
 32: clojure.lang.AFn.run(AFn.java:24)
 33: java.lang.Thread.run(Thread.java:637)

1 Ответ

20 голосов
/ 18 мая 2010

Попробуйте без подсказок: 

(deftype servlet []
  javax.servlet.Servlet
  (service [this request response]
    ...body...))

С веб-страницы о типе :

  • если вы пропустите все подсказки: постараюсь сопоставить с тем же методом имени / арности в Интерфейс (ы)

    • это предпочтительнее
    • если вы вообще указываете какие-либо подсказки, то никакой вывод не делается, поэтому все подсказки (или значение по умолчанию для объекта) должно быть правильным, для обоих аргументов и типа возвращаемого значения

А с (doc deftype):

Если не предоставлено, они будут выведены, поэтому подсказки типа должны быть зарезервированы для устранения неоднозначности.

...