附录 A：调试.pdfVIP

附录 A ：调试 这个附录演⽰了如何调试 Lisp 程序，并给出你可能会遇到的常见错误。 中断 环 (Breakloop) 追踪与回溯 (Traces and Backtraces) 当什么事都没发⽣时 (When Noting Happens) 没有值或未绑定 (No Value/Unbound) 意料之外的 Nil (Unexpected Nils) 重新命名 (Rena ing) 作为选择性参数的关键字 (Keywords as Optional Para eters) 错误声明 (Misdeclarations) 警告 (Warnings) 中断循环 (Breakloop) 如果你要求 Lisp 做些它不能做的事，求值过程会被⼀个错误讯息中断，⽽你会发现你 位于⼀个称为中断 环的地⽅。中断 环⼯作的⽅式取决于不同的实现，但通常它⾄ 少会显⽰三件事：⼀个错误信息，⼀组选项，以及⼀个特别的提⽰符。 在中断 环⾥，你也可以像在顶层那样给表达式求值。在中断 环⾥，你或许能够找 出错误的起因，甚⾄是修正它，并继续你程序的求值过程。然⽽，在⼀个中断 环 ⾥，你想做的最常见的事是跳出去。多数的错误起因于打错字或是⼩疏忽，所以通常 你只会想终⽌程序并返回顶层。在下⾯这个假定的实现⾥，我们输⼊ :abort 来回到 顶层。 (/ 1 0) Error: Division by zero. Options: :abort, :backtrace :abort 在这些情况⾥，实际上的输⼊取决于实现。 当你在中断 环⾥，如果⼀个错误发⽣的话，你会到另⼀个中断 环。多数的 Lisp 会 指出你是在第⼏层的中断 环，要嘛通过印出多个提⽰符，不然就是在提⽰符前印出 数字： (/ 2 0) Error: Division by zero. Options: :abort, :backtrace, :previous 现在我们位于两层深的中断 环。此时我们可以选择回到前⼀个中断 环，或是直接 返回顶层。 追踪与回溯 (Traces and Backtraces) 当你的程序不如你预期的那样⼯作时，有时候第⼀件该解决的事情是，它在做什么？ 如果你输⼊ (trace foo) ，则 Lisp 会在每次调⽤或返回 foo 时显⽰⼀个信息，显 ⽰传给 foo 的参数，或是 foo 返回的值。你可以追踪任何⾃⼰定义的 (user-defined) 函数。 ⼀个追踪通常会根据调⽤树来缩进。在⼀个做遍历的函数，像下⾯这个函数，它给⼀ 个树的每⼀个⾮空元素加上 1， ( efun tree1+ (tr) (con ((null tr) nil) ((atom tr) (1+ tr)) (t (cons (treel+ (car tr)) (treel+ (c r tr)))))) ⼀个树的形状会因此反映出它被遍历时的数据结构： (trace tree1+) (tree1+) (tree1+ ((1 . 3) 5 . 7)) 1 Enter TREE1+ ((1 . 3) 5 . 7) 2 Enter TREE1+ (1.3) 3 Enter TREE1+ 1 3 Exit TREE1+ 2 3 Enter TREE1+ 3 3 Exit TREE1+ 4 2 Exit TREE1+ (2 . 4) 2 Enter TREE1+ (5 . 7) 3 Enter TREE1+ 5 3 Exit TREE1+ 6 3 Enter TREE1+ 7 3 Exit TREE1+ 8 2 Exit TREE1+ (6 . 8) 1 Exit TREE1+ ((2 . 4) 6 . 8) ((2 . 4) 6 . 8) 要关掉 foo 的追踪，输⼊ (untrace foo) ；要关掉所有正在追踪的函数，只要输 ⼊ (untrace) 就好。 ⼀个更灵活的追踪办法是在你的代码⾥插⼊诊断性的打印语句。如果已经知道结果 了，这个经典的⽅法⼤概会与复杂的调适⼯具⼀样被使⽤数⼗次。这也是为什么可以 互动