Question

我正在努力通过Practical Common Lisp。我是个初学者。

我使用“quicklisp”定义了一个包我加载了包（ql：quickload：spam filter）

此软件包中的一个功能如下所示：

    (defun increment-count (feature type)
     (ecase type
      (ham (incf (ham-count feature)))
      (spam (incf (spam-count feature)))))

当我尝试调用在slime中调用此函数的函数时，case语句失败。我认为它失败了，因为编译器已将包名称添加为子句的前缀。

以下是我看到的错误：

HAM通过ECASE表达式失败了。想要一个（HAM SPAM）。     [SB-KERNEL类型：CASE-FAILURE]

重新启动：   0：[重试]重试SLIME REPL评估请求。   1：[* ABORT]返回SLIME的顶级。   2：[ABORT]中止线程（＃）

回溯：    0：（SB-KERNEL：CASE-FAILURE ECASE HAM（SPAMFILTER :: HAM SPAMFILTER :: SPAM））    1 :(垃圾邮件：INCREMENT-COUNT＃HAM）    2 :( SPAMFILTER：TRAIN“来自exmh-users-admin@redhat.com 2002年9月23日星期一12:06:27 ..）    3 :( SPAMFILTER :: TRAIN-FROM-CORPUS＃＆gt;（（＃P“/Users/jh/src/lisp/spamfilter/mail/easy_ham/1205.f9d66868c52039f7a147d9e2b4b05e1f”HAM）（＃P“/ Users / jh / src /lisp/spamfilter/mail/easy_ham/0090.314ec4268af7a3a1974d5e ..    4 :( SPAMFILTER：TEST-CLASSIFIER＃（（＃P“/Users/jh/src/lisp/spamfilter/mail/easy_ham/0001.ea7e79d3153e7469e7a9c3e0af6a357e”HAM）（＃P“/ Users / jh / src / lisp / spamfilter /邮件/ easy_ham / 0002.b3120c4bcbf3101e661161ee7 ..    5：（SB-INT：SIMPLE-EVAL-IN-LEXENV（SPAMFILTER：TEST-CLASSIFIER SPAMFILTER： CORPUS 0.1）＃）    6 :( EVAL（SPAMFILTER：TEST-CLASSIFIER SPAMFILTER： CORPUS 0.1））    - 更多 -

我的猜想是编译器在Backtrace 0上添加了前缀：

0：（SB-KERNEL：CASE-FAILURE ECASE HAM（SPAMFILTER :: HAM SPAMFILTER :: SPAM））

我确定我错过了一些明显的东西。

感谢。

Answer 1

这份REPL成绩单可能具有指导意义。这与编译器添加之间没有任何关系，但不同包中的符号不一定相同。

首先，使用 spam-filter 包中的符号定义包和一些函数：

CL-USER> (defpackage #:spam-filter
           (:use "COMMON-LISP"))
#<PACKAGE "SPAM-FILTER">
CL-USER> (in-package #:spam-filter)
#<PACKAGE "SPAM-FILTER">
SPAM-FILTER> (defun test (x)
               (ecase x
                 (ham "ham")
                 (spam "spam")))
TEST

让我们检查它是否有效：

SPAM-FILTER> (test 'spam)
"spam"

好的，现在让我们回到CL-USER：

SPAM-FILTER> (in-package "CL-USER")
#<PACKAGE "COMMON-LISP-USER">

现在让我们尝试拨打 spam-filter :: test ：

CL-USER> (spam-filter::test 'spam)
; Evaluation aborted on #<SB-KERNEL:CASE-FAILURE expected-type:
                         (MEMBER SPAM-FILTER::HAM SPAM-FILTER::SPAM)
                         datum: SPAM>.

我们收到错误，因为当前包是CL-USER，因此读者读取字符spam和实习生＆＃34;垃圾邮件＆＃34;获取符号 cl-user :: spam ，不与 spam-filter :: spam 相同。我们尝试使用 spam-filter :: spam ：

进行调用

CL-USER> (spam-filter::test 'spam-filter::spam)
"spam"

当然，它仍然有效。有关此处发生的事情的更多信息，您可能会喜欢Ron Garret的The Complete Idiot’s Guide to Common Lisp Packages。

Answer 2

尝试比较来自不同包的符号的方法：

通常有必要确保符号在正确的包中。将它们标准化为一个包。
使用关键字符号
仅比较符号名称，但您需要使用ECASE以外的其他内容。
使用字符串，但是您需要使用ECASE之外的其他内容。

ecase宏中的子句采用包前缀

2 个答案: