Question

我正在iMac上用sbcl和史莱姆编写Common LISP代码。我可以通过在代码行之间插入（break）或使用（step）函数来调用Emacs内置调试器。以下是调试过程的步骤。

Restarts:
 0: [STEP-CONTINUE] Resume normal execution
 1: [STEP-OUT] Resume stepping after returning from this function
 2: [STEP-NEXT] Step over call
 3: [STEP-INTO] Step into call
 4: [RETRY] Retry SLIME REPL evaluation request.
 5: [*ABORT] Return to SLIME's top level.
 --more--

Backtrace:
  0: ((LABELS RECURSE :IN PARTIAL-EVAL) X)
      Locals:
        BINDINGS = ((A . 3) (X . 0) (Y . 2))
        EXP = X
        #:G0 = X
  1: (SB-KERNEL:%MAP-TO-LIST-ARITY-1 #<CLOSURE (LABELS RECURSE :IN PARTIAL-EVAL) {1002A9614B}> (A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
  2: ((LABELS RECURSE :IN PARTIAL-EVAL) (- A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
      Locals:
        ARGS#1 = (A X (- C C) (- 9 9) (+ Z (/ A 3 (/ B)) (- Y (* A 1) Z)))
        BINDINGS = ((A . 3) (X . 0) (Y . 2))
        EXP = (- A X (- C C) (- 9 9) (+ Z (/ A 3 (/ B)) (- Y (* A 1) Z)))
        #:G0 = (- A X (- C C) (- 9 9) (+ Z (/ A 3 (/ B)) (- Y (* A 1) Z)))
        #:G5 = (A X (- C C) (- 9 9) (+ Z (/ A 3 (/ B)) (- Y (* A 1) Z)))
        OP = -
  3: (SB-KERNEL:%MAP-TO-LIST-ARITY-1 #<CLOSURE (LABELS RECURSE :IN PARTIAL-EVAL) {1002A9614B}> (1 (- A X (- C C) (- 9 9) (+ Z # #))))
  4: ((LABELS RECURSE :IN PARTIAL-EVAL) (/ 1 (- A X (- C C) (- 9 9) (+ Z # #))))
      Locals:
        ARGS#1 = (1 (- A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
        BINDINGS = ((A . 3) (X . 0) (Y . 2))
        EXP = (/ 1 (- A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
        #:G0 = (/ 1 (- A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
        #:G5 = (1 (- A X (- C C) (- 9 9) (+ Z (/ A 3 #) (- Y # Z))))
        OP = /
  5: (PARTIAL-EVAL (/ 1 (- A X (- C C) (- 9 9) (+ Z # #))) ((A . 3) (X . 0) (Y . 2)))
  6: ((LAMBDA (&REST SB-DI::ARGS) :IN SB-DI::HANDLE-SINGLE-STEP-AROUND-TRAP) (/ 1 (- A X (- C C) (- 9 9) (+ Z # #))) ((A . 3) (X . 0) (Y . 2)))
  7: ((LAMBDA ()))
  8: (SB-INT:SIMPLE-EVAL-IN-LEXENV (LET ((SB-IMPL::*STEP-OUT* :MAYBE)) (UNWIND-PROTECT (SB-IMPL::WITH-STEPPING-ENABLED #))) #S(SB-KERNEL:LEXENV :FUNS NIL :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS ..
  9: (SB-INT:SIMPLE-EVAL-IN-LEXENV (STEP (PARTIAL-EVAL (QUOTE #) (QUOTE #))) #<NULL-LEXENV>)
 10: (EVAL (STEP (PARTIAL-EVAL (QUOTE #) (QUOTE #))))
 --more--

当我扩展每个堆栈时，我可以跟踪并看到一些局部变量，但不是所有局部变量。如何将这些缺少的局部变量添加到监视列表？当我使用其他IDE时，观察变量非常容易，但是使用Emacs时，我找不到执行该操作的方法。

Answer 1

编译器可能会优化内容，从而隐藏中间变量。您可以尝试

(declaim (optimize (speed 0) (space 0) (debug 3)))

（然后重新编译代码）

https://lispcookbook.github.io/cl-cookbook/debugging.html#the-interactive-debugger

您还在谈论“监视”调试器功能：它在SBCL中不可用，但在其他实现中（例如LispWorks）却可用。 https://lispcookbook.github.io/cl-cookbook/debugging.html#advise-and-watch

Answer 2

正如我在评论中所说，可能是尚未出现在调试器中的变量尚未绑定。例如，在LET之类的内部构造中，当引入几个词法变量并将它们绑定到某个值时，如果在调试器中仅显示其中的几个，这可能意味着在初始化评估中发生了错误第一个变量的形式未显示。

当然，这也取决于运行时系统（编译器或解释器），因此最好遵循Evhince的建议并适当设置优化选项。

如何在Common LISP上使用Emacs内置调试器监视局部变量？

2 个答案: