Почему Clojure переносит проверенные исключения с непроверенными исключениями? - PullRequest
4 голосов
/ 17 февраля 2012

Следующий код демонстрирует случай, когда проверяемое исключение ExecutionException генерируется операцией, а Clojure оборачивает его RuntimeException.

Почему Clojure делает это?Это нормально?Кажется, что Clojure делает что-то другое, чем Java в этом случае.Каков идиоматический способ обработки фактического исключения, в данном случае Exception, вызвавшего сбой?

user=> (def f (future (Thread/sleep 10000) (throw (Exception. "hello world"))))
#'user/f

user=> (.get f)
Exception hello world  user/fn--318 (NO_SOURCE_FILE:81)

user=> (.printStackTrace *e)
java.lang.RuntimeException: java.util.concurrent.ExecutionException: java.lang.Exception: hello world
    at clojure.lang.Util.runtimeException(Util.java:165)
    at clojure.lang.Reflector.invokeMatchingMethod(Reflector.java:97)
    at clojure.lang.Reflector.invokeNoArgInstanceMember(Reflector.java:316)
    at user$eval320.invoke(NO_SOURCE_FILE:82)
    at clojure.lang.Compiler.eval(Compiler.java:6465)
    at clojure.lang.Compiler.eval(Compiler.java:6431)
    at clojure.core$eval.invoke(core.clj:2795)
    at clojure.main$repl$read_eval_print__5967.invoke(main.clj:244)
    at clojure.main$repl$fn__5972.invoke(main.clj:265)
    at clojure.main$repl.doInvoke(main.clj:265)
    at clojure.lang.RestFn.invoke(RestFn.java:421)
    at clojure.main$repl_opt.invoke(main.clj:331)
    at clojure.main$main.doInvoke(main.clj:427)
    at clojure.lang.RestFn.invoke(RestFn.java:397)
    at clojure.lang.Var.invoke(Var.java:397)
    at clojure.lang.AFn.applyToHelper(AFn.java:159)
    at clojure.lang.Var.applyTo(Var.java:518)
    at clojure.main.main(main.java:37)
Caused by: java.util.concurrent.ExecutionException: java.lang.Exception: hello world
    at java.util.concurrent.FutureTask$Sync.innerGet(FutureTask.java:222)
    at java.util.concurrent.FutureTask.get(FutureTask.java:83)
    at clojure.core$future_call$reify__5684.get(core.clj:6064)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
    at java.lang.reflect.Method.invoke(Method.java:597)
    at clojure.lang.Reflector.invokeMatchingMethod(Reflector.java:92)
    ... 16 more
Caused by: java.lang.Exception: hello world
    at user$fn__318.invoke(NO_SOURCE_FILE:81)
nil
    at clojure.core$binding_conveyor_fn$fn__3713.invoke(core.clj:1817)
    at clojure.lang.AFn.call(AFn.java:18)
    at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:303)
    at java.util.concurrent.FutureTask.run(FutureTask.java:138)
    at java.util.concurrent.ThreadPoolExecutor$Worker.runTask(ThreadPoolExecutor.java:886)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:908)
    at java.lang.Thread.run(Thread.java:680)

Ответы [ 2 ]

7 голосов
/ 17 февраля 2012

Обратите внимание, что ExcecutionException действительно создается - просто исключение перехватывается и обрабатывается Clojure.

Clojure будет оборачивать определенные исключения в RuntimeException, когда обрабатывает их - я считаю, что это сделано, чтобы избежать необходимости обрабатывать отмеченные исключения в исходном коде Clojure.

Если вы хотите получить доступ к базовому исключению, тогда (.getCause e) должно работать.

2 голосов
/ 17 февраля 2012

По этой ссылке кажется, что clojure не генерирует проверенные исключения, поэтому я предполагаю, что clojure перехватывает все, что может быть выброшено, и оборачивает его: http://dev.clojure.org/display/doc/1.3

Что касается идиоматической обработки (?) В Java,тогда старые правила все еще применяются.Я бы проверил, является ли исключение, заключенное в исключение ExecutionException, одним из проверенных исключений, которые я ожидал, могло произойти, и обработал бы их так же, как и в любых других обстоятельствах (читай: эмулируйте принудительный вызов catch, принудительно применяемый компилятором).Если бы это было не так, я бы либо обернул его в исключение времени выполнения и бросил бы его снова, либо зарегистрировал бы его и проглотил в зависимости от ситуации.

...