如何改变班级的元类

Question

这种情况一次又一次地发生在我身上：我定义了这个类并忘记了我想要它的功能，或者它是，例如，Gtk小部件类，因此它的元类需要说明。 但是，一旦定义了，SBCL就不会让我改变元类（即使没有这个类的实例）。 例如，评估

(defclass foo ()
  ((slot-a)))

然后添加元类并重新评估：

(defclass foo ()
  ((slot-a))
  (:metaclass gobject:gobject-class))

导致错误：

Cannot CHANGE-CLASS objects into CLASS metaobjects.
   [Condition of type SB-PCL::METAOBJECT-INITIALIZATION-VIOLATION]
See also:
  The Art of the Metaobject Protocol, CLASS [:initialization]

不幸的是，我没有“元对象协议的艺术”副本来检查它的内容。 现在我唯一可以解决的方法是重启lisp，这可能会造成很大的破坏性。

由于我很快意识到错误，我不介意通过删除它完全避开已定义的类。 问题：

• 如果我已经创建了类的实例，有没有办法找到它们来使它们无效并让它们获得GCed？
• 如何删除课程？ 像fmakunbound的功能。

Answer 1

不幸的是，我没有“元对象协议的艺术”副本来检查它的内容。

即使我推荐阅读这本书，你也可以在网上找到一些信息。 参见例如ENSURE-CLASS-USING-CLASS 。

如何删除课程？

你可以使用(SETF FIND-CLASS) ：

(setf (find-class 'foo) nil)

或者，您可以使用花式粘液检查员。 在指向类的名称时调用slime-inspect-defintion 。 然后，你会看到名字。 选择它时，检查命名类的符号。 然后，你可以看到类似的东西：

It names the class FOO [remove]

如果FOO只命名一个类，你可以使用更大的锤子：

(unintern 'foo)

如果我已经创建了类的实例，有没有办法找到它们来使它们无效并让它们获得GCed？

不，只有GC具有全局视图，并且出于实际原因，它通常不会向后引用关于谁引用特定对象（以及如何） ¹ 。 除非您引入自己的（弱）哈希表来存储它们，否则没有类的所有实例的全局记录。 但是，如果您保留了所有实例的记录，则可以对其进行CHANGE-CLASS 。 例如，您定义：

(defclass garbage () ())

...将释放您对象中以前保存的任何引用，并且GC有机会处理引用的实例对象。 当另一个对象引用'garbage的实例时，你可以更新它。 您可以将旧类的实例更改为新类（名称相同，但类对象不同），而不是使用“垃圾”。 另请注意， CHANGE-CLASS是一个通用函数。

---

1 。 实现可能会提供堆步行者 。 例如，参见Allegro CL中的Heap walker 。