Как временно определить условие внутри блока?
В Общий Лисп (в частности, в моем случае СБКЛ) принято определять исключения (известные как «условия») с помощью макроса определить-условие. Это определяет условие глобально в текущем пакете.
Есть ли способ определить условие локально в определенной области? Или, в качестве альтернативы, какой-то другой идиоматический способ преждевременного выхода из области видимости со значением, не загрязняя глобальное пространство имен?
(with-conditions
(block
(...)
(prematurely-exit-block-with some-data)
(...))
(when-condition-happens (some data) ...))
Возможно, вы ищете block / return-from.
Вы почти всегда хотите лексическую область видимости (т.е. block или tagbody), а не динамическую область видимости (throw и catch)
Ответы 1
Is there a way to define a condition locally, within a specific scope?
Нет.
Or, alternatively, some other idiomatic way to prematurely exit a scope with a value, without polluting the global namespace?
В Common Lisp есть несколько конструкций для такого потока управления, где возвращается одно или несколько значений: RETURN, RETURN-FROM, THROW, ...
RETURNвозвращается от блокировать с именемNILRETURN-FROMвозвращается от имени блокироватьTHROWпереходит к тегу catch, установленному черезCATCH
return и return-from используют лексические блоки. catch устанавливает динамическую область для своего тега.
Ради всех, кто найдет этот ответ с помощью поиска, я хочу добавить, что все эти механизмы возвращают управление вверх по стеку, однако обычная система условий Common Lisp не раскручивает стек до тех пор, пока в обработчике не будет вызван перезапуск (хотя эта функция кажется, не тот, который искал спрашивающий в этом случае).
Видимо то, что я ищу, это
throw,catchи, возможно,block;)