lisp - 框架中的评估表达式仅产生 UNBOUND-VARIABLE

Question

我正在使用 SLIME 来调试我的 Common Lisp 函数。在函数内部，我让它人为地发出错误信号(尝试“调试”——也许我应该单步执行)，如下所示:

(define-condition unknown-zone (error)
  ((text :initarg :text :reader text)))

(defun parse-mime-date (date)
  (let ((last-space (position #\Space date :from-end t)))
    (let ((date-time (net.telent.date:parse-time (subseq date 0 last-space)))
          (zone (subseq date (1+ last-space))))
      (unless (or (char= (elt zone 0) #\+)
                  (char= (elt zone 0) #\-))
        (error 'unknown-zone :text (format nil "Unknown timezone: ~a" zone)))
      (let ((hours (parse-integer (subseq zone 0 3)))
            (minutes (parse-integer
                      (concatenate 'string
                                   (list (elt zone 0))
                                   (subseq zone 3)))))
        (error 'unknown-zone :text "LOL")
        (let ((adjusted-date-time (- date-time (* 60 (+ minutes (* 60 hours))))))
          (format t "date-time: ~a; zone: ~a~%" date-time zone)
          (format t "adjusted: ~a" (net.telent.date:universal-time-to-http-date adjusted-date-time)))))))

我正在尝试解决 net.telent.date:parse-time 中似乎存在的缺陷(它似乎搞砸了时区处理，虽然我还不是 100% ).

“LOL”unknown-zone错误当然是人为断点。

当它命中这部分函数时，SLDB 忠实地打开了 backtrace:

Bad type argument:
  NS-MAIL2ZD::UNKNOWN-ZONE
   [Condition of type SIMPLE-TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [REMOVE-FD-HANDLER] Remove #<SB-IMPL::HANDLER INPUT on descriptor 7: #<CLOSURE (LABELS SWANK-BACKEND::RUN :IN SWANK-BACKEND:ADD-FD-HANDLER) {10030AD9FB}>>
 3: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (MAKE-CONDITION NS-MAIL2ZD::UNKNOWN-ZONE :TEXT "LOL")
  1: (ERROR NS-MAIL2ZD::UNKNOWN-ZONE :TEXT "LOL")
  2: (NS-MAIL2ZD:PARSE-MIME-DATE "Wed, 14 Mar 2012 06:59:36 +1100")
  3: (SB-INT:SIMPLE-EVAL-IN-LEXENV (NS-MAIL2ZD:PARSE-MIME-DATE *LOL*) #<NULL-LEXENV>)
  4: (EVAL (NS-MAIL2ZD:PARSE-MIME-DATE *LOL*))
 --more--

然后我向下翻页到框架:

Backtrace:
  0: (MAKE-CONDITION NS-MAIL2ZD::UNKNOWN-ZONE :TEXT "LOL")
  1: (ERROR NS-MAIL2ZD::UNKNOWN-ZONE :TEXT "LOL")
      Locals:
        SB-KERNEL::ARGUMENTS = (:TEXT "LOL")
        SB-KERNEL::DATUM = NS-MAIL2ZD::UNKNOWN-ZONE
  2: (NS-MAIL2ZD:PARSE-MIME-DATE "Wed, 14 Mar 2012 06:59:36 +1100")

现在我点击 e 调用 sldb-eval-in-frame 并输入 last-space，因为它应该在发出错误信号。

这似乎不是工作的本意(？):

The variable LAST-SPACE is unbound.
   [Condition of type UNBOUND-VARIABLE]

Restarts:
 0: [ABORT] Return to sldb level 1.
 1: [RETRY] Retry SLIME REPL evaluation request.
 2: [*ABORT] Return to SLIME's top level.
 3: [REMOVE-FD-HANDLER] Remove #<SB-IMPL::HANDLER INPUT on descriptor 7: #<CLOSURE (LABELS SWANK-BACKEND::RUN :IN SWANK-BACKEND:ADD-FD-HANDLER) {10030AD9FB}>>
 4: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: ((LAMBDA (#:G1144)) #<unavailable argument>)
 --more--

有没有办法做我想做的事？我是不是把事情复杂化了？

谢谢!

---

附录:我试过使用(break)(这似乎更规范一点)，但我仍然看不到let 用 e 绑定(bind)变量。 :<

Answer 1

还有另一个调试 Lisp 函数的选项:如果可用，使用解释器。大多数实现可以在解释代码和编译代码之间切换。您可以运行所有已编译的代码，但您要调试的函数可能正在解释运行。在极端情况下，您甚至可以为解释函数(如果可用)打入步进器。

请注意，根据您的要求定义默认优化设置是有意义的。

• 不要在全局范围内将安全设置得非常低。仅在有用的代码部分执行此操作。

• 不要将全局速度设置得太高。仅在有用的代码部分执行此操作。

• 保留调试信息，使用设置 2。根据实现情况，高调试设置可能会关闭尾调用优化 (TCO) - 这对于执行来说可能是不希望的，但对于调试来说却是可取的。

我会建议不同的设置:

• 开发:安全 + 调试友好
• 部署:安全
• 优化数字代码，在本地提高速度

默认情况下，您应该使用对交互使用有用的设置:

• 速度 1-2。速度有点重要
• 安全 2-3。安全非常重要。所有操作都在运行时检查
• 调试 2-3。保留调试信息，操作应该可以被调试器中断。
• 空格 1. 代码的大小并不重要。
• compilation-speed 1.编译过程的速度不是那么重要。

范围是从0到3。没有数字默认为3。3更高。

根据实现的不同，可能会有额外的优化设置和一些变量来配置编译器。

在速度关键部分，您可以将速度设置为高于安全和调试。但请注意，在某些情况下，这会改变代码执行的语义(错误检测、溢出……)，并且缺少运行时检查可能会使您的代码损坏 Lisp 堆。

在某些交付情况下，具有非常低的调试设置也可能很有用。但是，如果您的 Lisp 编译器设置为高速优化和低调试，则通过查看堆栈的回溯来调试代码可能会变得更加困难。