Блог

Соответствует ли это программе Common Lisp?

 (handler-bind ((condition (let ((x 0))
                            (lambda (c)
                              (declare (ignore c))
                              (print (incf x))))))
  (signal 'condition)
  (signal 'condition))
 

Вывод с помощью SBCL (2.0.5.37):

 1
1
 

Вывод с помощью ABCL / CCL / ECL:

 1
2
 

Какое поведение определяется стандартом Common Lisp?

Эпилог

Это была ошибка в SBCL, теперь она исправлена.

Это не совсем понятно. В спецификации говорится:

Выполняет формы в динамической среде, где действуют указанные привязки обработчика.

а затем говорит

Если найден подходящий тип, связанный обработчик запускается в динамической среде, где ни одна из этих привязок обработчика не видна (чтобы избежать рекурсивных ошибок).

Если вы интерпретируете «выполнить» как вызов функции, это предполагает, что выражения обработчика вычисляются один раз, когда выполняются привязки. Это реализация CCL / ABCL / ECL / LispWorks, поэтому состояние сохраняется при закрытии.

Но SBCL, похоже, интерпретировал «run» как означающий «вычисляется и вызывается». Таким образом, при каждом запуске обработчика создается новое закрытие, и состояние теряется.

Я подозреваю, что целью была первая интерпретация, поскольку CL не имеет других «ленивых» привязок.

Если вы измените код в вопросе на этот:

 (let ((handler
        (let ((x 0))
          (lambda (c)
            (declare (ignore c))
            (print (incf x))))))
  (handler-bind ((condition handler))
    (signal 'condition)
    (signal 'condition)))
 

тогда SBCL ведет себя так же, как и другие реализации. Я думаю, это достаточно ясно показывает, что интерпретация, принятая другими реализациями, является предполагаемой, а также предоставляет практическое решение для того, что, если эта интерпретация на самом деле верна, является ошибкой в SBCL.