PLTScheme 如何捕获错误？

Question

我对 PLTScheme 中的“错误”功能感到惊讶。 如果我除以零，它不会执行任何其他递归，只是从调用堆栈中出来并给我一个错误。

所有函数之前是否都有隐式延续？该错误是否会丢弃调用堆栈？有人对此有任何想法吗？

Answer 1

在 PLT 方案中，过程 error 引发异常 exn:fail，其中包含错误字符串。所有定义都没有“隐式捕获”。看下面的示例：

;; test.ss
(define (a d)
  (printf "~a~n" (/ 10 d)))

(a 0) ;; The interpreter will exit here.     
(printf "OK~n")

从命令行执行上述脚本，您将在打印类似内容后看到解释器存在

/: division by zero

 === context ===
/home/user/test.ss:1:0: a

如果用户程序中未处理异常，它将传播到默认处理程序处理的核心解释器它，即打印异常并退出。换句话说，口译员只是说：“出现了异常，我不知道如何处理，所以我退出”。这与 JVM 或其他一些虚拟机处理异常的方式没有太大区别。

要了解有关 PLT Scheme 异常处理机制的更多信息，请阅读 with-handlers 和 dynamic-wind .edu/CS/PLT/packages/100/pdf/mzscheme.pdf" rel="nofollow noreferrer">MzScheme 语言手册。使用它们，您甚至可以模拟 Java 的 try-catch-finally 块。

(define (d a b)
  (try
   (printf "~a~n" (/ a b))
   (catch (lambda (ex)
            (printf "Error: ~a" ex)))
   (finally 
    (if (> b -2) 
      (d a (sub1 b))))))

这是使上述成为可能的语法扩展：

;; try-catch-finally on top of with-handlers and dynamic-wind.

(define-syntax try
  (syntax-rules (catch finally)
    ((_ try-body ... (catch catch-proc))
     (with-handlers (((lambda (ex) #t)
              (lambda (ex) 
            (catch-proc ex))))
            (begin
              try-body ...)))
    ((_ try-body ... (catch catch-proc) (finally fin-body ...))
     (dynamic-wind
     (lambda () ())

     (lambda ()
       (with-handlers (((lambda (ex) #t)
                (lambda (ex) 
                  (catch-proc ex))))
              (begin
                try-body ...)))

     (lambda () fin-body ...)))
    ((_ try-body ... (finally fin-body ...))
     (dynamic-wind
     (lambda () ())

     (lambda () try-body ...)

     (lambda () fin-body ...)))))