如何在 common lisp 中获取类的所有实例？

Question

假设我有一堂课：

(defclass person () ())

然后我做了一些实例：

(setf anna (make-instance 'person))    
(setf lisa (make-instance 'person))    

如何获取对象本身或分配给它们的符号名称？

我希望能够说出类似(find-instances 'person) 的内容并获得类似(anna lisa) 或至少(#<PERSON {100700E793}> #<PERSON {100700E793}>) 的内容。

我正在搜索的内容相当于 ruby​​ 中的 each_object。

我非常希望能够在没有外部库的情况下做到这一点。

Answer 1

Common Lisp 中没有类似的内置功能。

记录实例

为了查找类的所有实例，通常会在实例创建时让类记录实例。可以想象各种机制。有时人们仍然希望实例被垃圾收集 - 然后需要某种非标准的 weak 数据结构来做到这一点。我希望有一些库为 CLOS 实例实现类似的东西。

迭代包的符号

如果您想知道某些或所有包的哪些符号具有 CLOS 实例作为值，您可以遍历它们（DO-SYMBOLS、DO-ALL-SYMBOLS、...）并检查是否有符号值和如果该符号值是某个类的实例。

Answer 2

据我所知，没有可移植的解决方案。如果您正在处理CCL，那么map-heap-objects 可能会做，您正在寻找什么

(defclass foo () ())
(defvar *x* (make-instance 'foo))
(defvar *y* (list (make-instance 'foo)))

(defun find-instances (n class)
  (let ((buffer (make-array n :fill-pointer 0 :initial-element nil)))
    (ccl:map-heap-objects (lambda (x)
                            (when (and (typep x class) (< (fill-pointer buffer) n))
                              (setf (aref buffer (fill-pointer buffer)) x)
                              (incf (fill-pointer buffer)))))
     buffer))

(find-instances 2 'foo)
==> (#<FOO #x30200126F40D> #<FOO #x30200126634D>)

其他 Common Lisp 实现可能存在类似的解决方案。请注意，您必须对遍历可能找到多少个实例有一个初步的预感。原因是（正如 Rainer Joswig 所指出的），回调函数应该避免使用 consing。为了实现这一点，此实现预先分配了一个缓冲区，并最多收集那么多实例。