8

我想知道为什么使用两个不同的类，而不是只对两者都使用 Class 的原因。

4

3 回答 3

5

简短的回答是“你假设类是系统范围类的实例是错误的，每个类实际上是类特定元类的一个实例”，而且“它不会以任何其他方式工作”。

对答案的轻微修改是“这些名字真的很混乱，有时只记住他们的角色而不是想太多关于他们是如何工作的会更容易”。

短毛回复：

元类是一个实例，就像所有其他普通的 Smalltalk 类一样，它需要它自己的专用类。常规 Smalltalk 对象的每个实例都有一个类，继承遵循类层次结构。每个类本身都是类特定元类的实例，继承遵循元类层次结构。每个元类本身就是 Metaclass 类的一个实例，它被虚拟机以一个巧妙的小技巧短路，因为没有人发现给 Metaclass 类一个父类的用途，所有尝试过的人通常都发现在这个过程中，他们的理智开始受到侵蚀。

更长，仍然毛茸茸的答案：

Smalltalk 允许每个类包含特定于类的消息。这些大致相当于 Java 中的静态方法 - 但有一些显着差异。这些差异之一是 Smalltalk 类实际上是实例化的对象——它们是系统中的活动对象，具有从其他对象继承的能力，并包含实例变量。

此属性导致系统中存在潜在的大量继承层次结构。每个常规对象都是一个类的实例，将消息发送到一个对象，搜索对象的类，然后沿着类层次结构的继承链。发送到常规对象的消息在类层次结构中向上解析。

此外，类对象是一个类特定元类的每个实例。发送到类对象的消息通过查找类特定元类来解析，然后在元类层次结构中向上。

再上一层，每个元类对象都是系统范围内唯一的元类类的实例。发送到元类对象的消息在系统范围的唯一元类中查找，该元类不允许从任何人继承，并且作为虚拟机中的短路硬连线。

从技术上讲，该系统有两个继承层次结构，第三个是用短路伪造的。理论上没有理由停在两个，尽管有很多实际的理由。这允许每个对象有它自己的、唯一的对象、消息、每个类都有它自己的、唯一的类、消息，并强制所有元类只回答元类中定义的一组消息。

整齐吧？

于 2010-12-10T22:38:23.140 回答
3

显然，一个类需要两个 ClassDescription：一个用于实例方法，一个用于类方法。

现在，您可能仍然尝试对这两个对象使用 Class。我认为拥有 Metaclass 的一个原因是您需要区分两者。如果您查看方法theMetaClass和theNonMetaClass，您会发现它们相互镜像：您通过 thisclass 成员从元类到类，通过常规类指针（任何对象都拥有）从类到元类。如果他们都是实例类，他们不知道他们实现了哪一边——除非有一个标志槽，这比创建子类更糟糕。

于 2010-12-10T22:25:42.217 回答
1

这是我完全理解的事情之一......直到我不得不解释它;-)经过多次蒸馏......

鉴于：

  • 对象的行为由其类指定
  • 类也是对象
  • 常规对象/类具有仅对常规对象/类有意义的行为

因此，类和实例应该有不同的行为说明符（即类）。

换个角度来看，我们所说的“实例端”代表的是类的实例端。我们所说的“类端”代表元类的实例端。

例如，Class 定义了#addClassVarNamed: 和#addInstVarNamed:，因为它们在实例端都是有意义的，而 Metaclass 只定义了#addInstVarNamed:，因为没有类端类变量。

要深入了解细节，请参阅“Pharo 示例”或“Smalltalk 编程技术基础”

于 2010-12-11T00:46:45.050 回答