Smalltalk 中的内部类

Question

我想知道为什么smalltalk不使用java风格的内部类。这种机制有效地允许您在需要时随时随地定义新类的新实例。当您需要一个符合某些特定协议的对象但又不想为它创建一个普通的类时，它会很方便，因为它的临时和本地性质非常特定于实现。 据我所知，这可以很容易地完成，因为子类化的语法是标准消息发送。你可以将 self 传递给它，这样它就有了“外部”对象的概念。唯一的问题是匿名性 - 该类不应该出现在对象浏览器中，并且当没有它的实例存在时必须进行垃圾收集。 问题是：有人想到过这个吗？

Answer 1

这里确实有两个答案：

1 - 是的，创建自动进行垃圾收集的匿名类并不难。在 Squeak 中，它们被称为“uniclasses”，因为典型的用例是向单个对象添加方法。使用此功能的系统有 Etoys 和 Tweak（尽管在 Etoys 中，由于历史原因，类实际上被放入 SystemDict 中）。以下是我最近使用的一些 Squeak 代码：

newClass := ClassBuilder new
    newSubclassOf: baseClass
    type: baseClass typeOfClass
    instanceVariables: instVars
    from: nil.
baseClass removeSubclass: newClass.
^newClass

通常，您会添加一个方便的方法来执行此操作。然后您可以添加方法并创建一个实例，当所有实例都消失时，该类也将被GC。

请注意，在 Java 中，类对象不会被 gc 处理 - 内部类的编译方式与常规类完全相同，只是被编译器隐藏。相比之下，在 Smalltalk 中，这一切都发生在运行时，甚至是为此类编译新方法，这使得它的效率相对较低。有一种更好的方法来创建匿名预编译行为，这给我们带来了答案 2：

2 - 尽管它并不难，但在 Smalltalk 中很少使用。原因是 Smalltalk 有很多更便捷的机制。 Java 中的内部类最常用于动态构建实现特定接口的方法。内部类声明只需要让编译器满意类型安全即可。 在 Smalltalk 中，您只需使用块闭包。这使您可以动态创建可以传递的行为。系统库的结构采用了块闭包的方式。

我个人从来不认为 Smalltalk 需要内部类。

Answer 2

如果您正在考虑使用内部类进行测试，那么您还可以看看 ClassFactoryForTestCase 类

Answer 3

在smalltalk 中创建匿名类是小菜一碟。
更重要的是，任何具有 3 个实例变量正确设置为：其超类、方法字典和实例格式的对象都可以用作类（具有实例）。
所以，我不明白这里的问题是怎样的。

如果您谈论工具支持，例如浏览或导航此类中包含的代码，那就是另一回事了。因为默认情况下系统中的所有类都是公共的，并且系统字典是它们的平面命名空间（是的，某些实现具有命名空间）。这个简单的模型在大多数情况下都运行良好。

Answer 4

我非常确定这可以通过围绕类和元类协议进行一些黑客攻击来完成。对于那些有更多 Java 经验的人来说，这个问题经常出现，他们对 Smalltalk 变得很感兴趣。尽管如此，由于内部类尚未实现，我认为这表明大多数 Smalltalk 用户认为它们不可用。这可能是因为 Smalltalk 有块，它以更简单的方式解决了许多（如果不是全部）导致 Java 引入内部类的问题。

Answer 5

(a) 您可以发送消息以从另一个类的方法内部创建一个新类

(b) 我怀疑从内省系统中隐藏生成的类有什么好处

(c) 在 Java 中使用内部类的原因是因为没有一流的功能。如果你需要在Smalltalk中传递一段代码，你只需传递一个块即可。您不需要将其与其他类型的对象包装在一起来执行此操作。

Answer 6

问题（至少在 Squeak 中）源于缺乏清晰的关注点分离。创建您自己的子类并将其放入私有 SystemDictionary 中非常简单：

myEnv := SystemDictionary new.
myClass := ClassBuilder new
    name: 'MyClass'
    inEnvironment: myEnv
    subclassOf: Object
    type: #normal
    instanceVariableNames: ''
    classVariableNames: ''
    poolDictionaries: ''
    category: 'MyCategory'
    unsafe: false.  

但即使您将该类放入您自己的 SystemDictionary 中，“MyCategory”类别也会添加到系统中导航（可通过打开浏览器进行验证），而且 - 更糟糕的是 - 未创建类组织者，因此当您导航到 MyClass 时，您会得到一个 nil 指针。

从理论上讲，这当然不是不可能的。目前，该工具适用于全局可见的类定义的单个池。