Что стандартный путь состоит в том, чтобы бросить и поймать исключения в Схеме R6RS? Я ищу синтаксис, который работает в любой версии Схемы (не просто PLT), который реализует R6RS.
Защитный синтаксис R6RS похож на него, мог бы отвечать всем требованиям, но кто-то может показать мне пример того, как на самом деле использовать его?
Семантика 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.