lisp - 为什么这会让我进入 SBCL 中的 LDB？

Question

这段代码让我从 SLIME 进入 SBCL 中的 LDB，但不是终端:

(declaim (optimize debug)) ;; inhibit tail-call optimization
(defun stackoverflow () ;; infinite recursion
  (stackoverflow))
(unwind-protect
    (stackoverflow)
  (stackoverflow)) ;; called during handler for the first stack overflow

为什么这会使 SLIME 的 SBCL 崩溃而不是终端？

Answer 1

请注意，一个有效的 (ANSI) Common Lisp 实现可以忽略除 special 声明之外的任何声明。我猜 SLIME REPL 在这里的行为略有不同(因为它与 sbcl 顶层不同——它添加了一些东西，比如重用以前的结果)