Как бросить и обработать исключения в Схеме R6RS

Что стандартный путь состоит в том, чтобы бросить и поймать исключения в Схеме R6RS? Я ищу синтаксис, который работает в любой версии Схемы (не просто PLT), который реализует R6RS.

Защитный синтаксис R6RS похож на него, мог бы отвечать всем требованиям, но кто-то может показать мне пример того, как на самом деле использовать его?

7
задан Kyle Krull 24 March 2010 в 15:26
поделиться

1 ответ

Семантика guard такова:

(guard (exception-object
       ((condition-1-to-test-exception-object) (action-to-take)
       ((condition-2-to-test-exception-object) (action-to-take)   
       ((condition-N-to-test-exception-object) (action-to-take)
       (else (action-for-unknown-exception)))

Существует вспомогательное else предложение, которое мы здесь не используем. Следующий пример имитирует исключения, которые могут быть вызваны типичными операциями ввода-вывода файлов. Мы устанавливаем guard для обработки исключений:

(define mode 0)

(define (open-file) 
  (if (= mode 1)
      (raise 'file-open-error)
      (display "file opened\n")))

(define (read-file)
  (if (= mode 2)
      (raise 'file-read-error)
      (display "file read\n")))

(define (close-file)
  (if (= mode 3)
      (raise 'file-close-error)
      (display "file closed\n")))

(define (update-mode)
  (if (< mode 3)
      (set! mode (+ mode 1))
      (set! mode 0)))

(define (file-operations)
  (open-file)
  (read-file)
  (close-file)
  (update-mode))

(define (guard-demo)
  (guard (ex 
          ((eq? ex 'file-open-error) 
           (display "error: failed to open file ") 
           (update-mode))
          ((eq? ex 'file-read-error) 
           (display "error: failed to read file ") 
           (update-mode))
          (else (display "Unknown error") (update-mode)))
         (file-operations)))

Test run:

> (guard-demo)
file opened
file read
file closed
> (guard-demo)
error: failed to open file 
> (guard-demo)
file opened
error: failed to read file 
> (guard-demo)
file opened
file read
Unknown error
> (guard-demo)
file opened
file read
file closed

Подробное описание обработки исключений с примерами кода есть в главе 7 R6RS.

8
ответ дан 7 December 2019 в 05:20
поделиться
Другие вопросы по тегам:

Похожие вопросы: