Question

我正在尝试使用（call-cc）方法在方案中实现try-catch块，但我不确定它是如何用于此的。我找不到任何例子。

发现示例只包含错误处理，但我想要做的是：如果发生错误，方案程序必须向用户发送消息（通过显示示例）而不挂起程序。

这可能吗？

Answer 1

通常您使用with-handlers表单。这使您可以在返回值之前显示错误消息或执行任何其他操作。

#lang racket

(define (foo x)
  (with-handlers ([exn:fail? (lambda (exn)
                               (displayln (exn-message exn))
                               #f)])
    (/ 1 x)))

(foo 1) 
; 1
(foo 0) 
; "/: division by zero" 
; #f

如果您确实想要出于某种原因直接使用延续，可以使用call/ec代替常规call/cc进行错误/转义延续。

文档：

Answer 2

由于您要捕获所有错误，例如raise和raise-continuable引发的错误，您需要一个异常处理程序（处理引发的条件）和退出延续（以避免继续try身体。 try的简单语法是：

(import (rnrs base)            ; define-syntax
        (rnrs exceptions))     ; get `with-exception-handler`

(define-syntax try
  (syntax-rules (catch)
    ((_ body (catch catcher))
     (call-with-current-continuation
      (lambda (exit)
        (with-exception-handler
         (lambda (condition)
           catcher
           (exit condition))
         (lambda () body)))))))

这被用作例如：

> (try (begin (display "one\n")
              (raise 'some-error)
              (display "two\n"))
    (catch (display "error\n")))
one
error
some-error       # the return value.

注意：这是R6RS（和R7RS）计划。

如何在方案中实现try-catch块？

2 个答案: