namespaces - 使用错误意外继承插槽（值）

Question

(defpackage :winner
  (:use :cl)
  (:export e1))

(in-package :winner)

(define-condition e1 ()
  ((name
    :initform "e1"
    :reader name)
   (package 
    :initform "winner"
    :reader related-package)))

(defmethod print-object ((err e1) stream)
  (FORMAT stream "~a~%~a~%" (name err) (related-package err)))


(defpackage :loser
  (:use :cl :winner)
  (:export e2))

(in-package :loser)

(define-condition e2 (e1)
  ((name
    :initform "e2")
   (package
    :initform "loser")))

我现在期望：

(make-instance 'e1)
e1
winner

(make-instance 'e2)
e2
loser

但相反我得到

(make-instance 'winner:e1)
e1
winner

(make-instance 'loser:e2)
e1
loser

这是非常出乎意料的。我犯了什么错误？

Answer 1

如果您使用DESCRIBE.

? (make-instance 'loser:e2)
e1
loser

? (describe *)
e1
loser

Class: #<STANDARD-CLASS LOSER:E2>
Wrapper: #<CCL::CLASS-WRAPPER LOSER:E2 #x302000ECE15D>
Instance slots
WINNER::NAME: "e1"
PACKAGE: "loser"
LOSER::NAME: "e2"

您看到的是该对象具有三个 (!) 插槽WINNER::NAME：PACKAGE和LOSER::NAME.

这是为什么？PACKAGE是包中的一个符号CL（PACKAGE在 Common Lisp 中是一个系统类，一个类型）。由于您的两个包都使用 CL，因此两者都具有相同的符号PACKAGE，因此只有一个 name 插槽CL:PACKAGE。

NAME是每个包的本地符号。每个包都有自己的符号名称。因此每个对象有两个不同的槽WINNER::NAME和LOSER::NAME。

由于您的打印机功能仅读取 slot WINNER::NAME，因此您只能获取其内容。

你需要记住什么？

• 有一个自定义打印机很好，但DESCRIBE用于调试
• 包是符号的命名空间。它们不是类、槽、函数等概念的模块。
• 包装CL带有许多符号。如果您的包使用 package CL，那么它具有所有这些符号。是否将它们用于函数名、变量、类名、槽名……都没有关系。