一个对象怎么可能是一个类 lisp

Question

我试图为它想一个更好的名字，但我想不出来。 另外，这方面的每个主题都涉及python，我不知道python

我知道傻逼:meta-class是standar-class

standard-object 是standard-class 的一个实例，每个类都是standard-class 的一个实例，并且继承了standard-object 的所有内容，但这怎么可能呢？ 就像standard-object 如何同时成为对象和超类一样？ 它是如何工作的，为什么？

我不明白的是，一个实例化的类怎么可能也是一个类？

Answer 1

一种思考方式是忘记引导是一个问题，并想象对象系统“就是这样”，然后看起来很自然：

• 一切都是对象
• 每个对象都是类的一个实例
• 每个（标准）类都是standard-object 的子类
• 类就是对象
• 每个标准类都是一个对象，它是standard-class 的一个实例
• standard-class 是一个标准类，它是一个对象，它是 standard-class 的实例和 standard-object 的子类，这是一个类，它是一个对象，它是 standard-class 的实例

我尝试过，但没有找到一个好的图表。

另一种思考方式是关于引导。怎样才能让上面的状态变成这样？

一种方法是您可以创建一个不存在其类的对象：

1. 决定对象的内存布局
2. 知道如何在内存中布置standard-class 的实例，分配一个将成为standard-class 类的实例
3. 用正确的东西初始化该实例。将其类设置为自身。暂时不要设置任何超类
4. 同样分配一个实例，该实例将变为standard-object（以及层次结构的其他部分，即class、T、generic-function、method 等的类）
5. 所有这些对象的类都可以设置为standard-class
6. 连接类层次关系
7. 创建用于分配实例和编译通用函数等的通用函数和方法
8. 欢迎使用您的新对象系统

Answer 2

您可以反过来问自己一个问题：在面向对象的编程语言中，为什么类不是对象？

什么是类？它包含有关如何创建新对象的信息，例如字段、默认值等……在 OOP 中，将数据存储在一起的默认工具是对象。所以 CL 的类只是对象！因为类本身就是对象，所以它们当然有一个类，STANDARD-CLASS（STANDARD-OBJECT 是一个没有任何其他超类的类的直接超类……参见Inheritance structure of metaobject classes）。

作为一个练习，您可以尝试创建自己的（非常简单的）对象系统，您很快就会发现让您的类成为对象会让您的生活变得更轻松。从那里开始，只有一点点引导问题。 :-)