Common Lisp 中的跨包 defgeneric/defmethod？

Question

在 CLOS 中，在包 A 中定义泛型并在包 B 中为该泛型提供方法的正确方法是什么？

先感谢您！

例子：

(defpackage :common (:use :cl))  
(in-package :common)  
(defgeneric compare (a b))

(defmethod compare ((a number) (b number))  
  (cond ((< a b) -1)
        ((= a b) 0)
        (T 1)))

(defpackage :a (:use :cl))  
(in-package :a)  

(defclass foo (a b))

(defmethod compare ((x foo) (y foo)) ...)   
; SBCL isn't able to access this method via the common package

Answer 1

方法和函数不属于包。符号属于包。

(defpackage :common (:use :cl))  
(in-package :common)  
(defgeneric compare (a b))

(defmethod compare ((a number) (b number))  
  (cond ((< a b) -1) ((= a b) 0) (T 1)))

(defpackage :a (:use :cl))  
(in-package :a)  

(defclass foo (a b))

如果A是当前包，则需要编写common::compare来访问COMMON包的非导出符号COMPARE。

(defmethod common::compare ((x foo) (y foo)) ...)   

如果 COMPARE 已从包 COMMON 导出，则您可以编写：

(defmethod common:compare ((x foo) (y foo)) ...)   

如果 COMPARE 已从包 COMMON 导出，并且包 A 将“使用”包 COMMON，则您可以编写：

(defmethod compare ((x foo) (y foo)) ...)