exception - 嵌入式 ECL Lisp 错误处理获取默认错误字符串和可能的行号

Question

请参阅#7755661第一的。我正在使用 ECL，主要是想执行一些代码，捕获可能发生的任何类型的条件，然后继续执行，而不提示或进入调试器。使用以下 handler-case 宏可以轻松实现这一点:

(handler-case
  (load "code.lisp") ; this may raise a condition

  (error (condition)
    (print condition))) ; this prints sth like #<a UNBOUND-VARIABLE>

我唯一的问题是我找不到一种通用的方法来为用户打印更有意义的错误。事实上，我的应用程序是一个 HTTP 服务器，输出到一个网页。 code.lisp 是由用户编写的，它可以引发任何类型的条件，我现在想在我的代码中列出它们。当我不使用 handler-case 时，我只想打印在 REPL 上看到的相同错误消息，而是在 HTML 页面中，例如对于“未绑定(bind)变量”错误，字符串如“变量 VAR 未绑定(bind)”。

通过检查 UNBOUND-VARIABLE 类型的条件对象，我看到它有两个槽:SI:REPORT-FUNCTION，这是一个编译函数和 SI :NAME，在本例中设置为变量的名称。我想 SI:REPORT-FUNCTION 可能是我需要调用的内容，但我该如何调用它呢？如果我尝试:

(handler-case foo (error (condition) (SI::REPORT-FUNCTION condition)))

它告诉我 SI:REPORT-FUNCTION 未定义。 ECL 中的 SI 或 SYS 是实现内部函数和变量的包，但我不担心我的代码是否不可移植，只要它能工作。

顺便说一句，在其他类型的条件对象中，还有其他显然对我有用的插槽，名为 SI:FORMAT-CONTROL 和 SI:FORMAT-ARGUMENT，但我也无法从我的代码访问它们中的任何一个。

我一直在寻找与 Lisp 中 Java 异常对象的 getMessage() 方法相似的东西，但我的资料中没有一个提到过类似的东西。

另外，有没有希望也能得到code.lisp中出错的行号呢？否则，用户将很难在他的 code.lisp 源文件中找到问题所在。我真的很想提供这些信息并且在第一个错误处停止对我来说是可以接受的。

Answer 1

在 Common Lisp 中，当禁用打印转义时，将打印错误消息。

 CL-USER > (handler-case
               a       
             (error (condition)
               (write condition :escape nil)))

The variable A is unbound.
#<UNBOUND-VARIABLE 4020059743>

请注意，PRINT 将 *print-escape* 绑定(bind)到 T。

使用 PRINC 有效 - 它将 *print-escape* 绑定(bind)到 NIL。

CL-USER > (handler-case
              a                
            (error (condition)
              (princ condition)))

The variable A is unbound.
#<UNBOUND-VARIABLE 4020175C0B>

这在 CLHS 9.1.3 Printing Conditions 中有描述.

还要注意，当你有一个对象，它有一个槽，这个槽的值是一个函数，那么你需要使用函数 SLOT-VALUE 获取槽值，然后使用FUNCALL 或 APPLY 并使用正确的参数调用函数。

如果您有一个类型为simple-condition 的条件，那么它就有一个格式控制和一个格式参数信息。这通过示例描述了如何将其用于 CLHS Function SIMPLE-CONDITION-FORMAT-CONTROL, SIMPLE-CONDITION-FORMAT-ARGUMENTS 中的 FORMAT