Clojure 异常处理.pdfVIP

Clojure 异常处理 在任何编程语⾔中都需要异常处理来处理运⾏时错误，从⽽可以保持应⽤程序的正 流程。 异 通 会破坏应⽤程序的正 流程，这就是为什么我们需要在我们的应⽤程 序中使⽤异 处理的原因。 异 ⼤致分为以下⼏类: 检查异常 - 扩展Throwable类 （除了RuntimeException和Error ）的类称为检查异 。 例如。 IOException ，SQLException等。检查的异 在编译时检查。 让我们考虑下⾯的程序对⼀个名为Example .txt的⽂件进⾏操作。 但是，可能总是有⼀ 种情况，其中⽂件Example .txt不存在。 (ns clojure.examples.example (:gen-class)) ;; This program displays Hello World (defn Example [ (def string1 (slurp Example.txt)) (println string1)) (Example) 如果⽂件Example .txt不存在，则程序将⽣成以下异 。 Caused by : java.io.FileNotFoundException: Example.txt (No such fil directory) at java.io.FileInputStream.open0(Native Method) at java.io.FileInputStream.open(FileInputStream.java:195) at java.io.FileInputStream.init(FileInputStream.java:138) at clojure.java.io$fn__9185.invoke(io.clj:229) at clojure.java.io$fn__9098$G__9091__9105.invoke(io.clj:69) at clojure.java.io$fn__9197.invoke(io.clj:258) at clojure.java.io$fn__9098$G__9091__9105.invoke(io.clj:69) 从上⾯的异 ，我们可以清楚地看到程序引发了FileNotFoundException 。 未选中的异常 -扩展RuntimeException的类称为未检查异 。 例如， ArithmeticException ，NullPointerException ，Arra IndexOutOfBoundsException 等。未检查的异 不在编译时检查，⽽是在运⾏时检查。 ⼀个典型的情况是Arra IndexOutOfBoundsException ，当您尝试访问⼤于数组长度的数 组的索引时，会发⽣这种情况。 以下是这种错误的典型例⼦。 (ns clojure.examples.example (:gen-class)) (defn Example [ (try (aget (int-array [1 2 3 ) 5) (catch Exception e (println (str caught exception: (.toSt (finally (println This is our final block))) (println Lets move on)) (Example) 当上⾯的代码被执⾏时，将引发以下异 。 caught exception: java.lang.ArrayIndexOutOfBoundsException: 5 This is our final block Lets move on 错误 错误是⽆法恢复的，⽐如： OutOfMemoryError ，VirtualMachineError ，AssertionError等。这些是程序永远不 能恢复的错误，并将导致程序崩溃。 我们现在需要⼀些机制来捕获这些异 ，以便如 果这些异 存在，程序可以继续运⾏。 下图显⽰了如何组织Clojure 中的异 层次结构。 它都基于Java 中定义的层次结构。 捕捉异常 就像其他编程语⾔⼀样，Clojure提供了正 的“try-catch”块来捕获异 。 下⾯是Clojure try-catch语法。 (try (//Protected code) catch