Smalltalk-Squeak 中的抽象类。它是什么？

Question

如果我没猜错的话，那么抽象类就是至少有一个抽象方法的类吗？

现在，如果它是抽象的，那么我应该无法创建该类的实例？

就像，说 Abst 是一个抽象类的名称（因为它包含一个抽象方法），这样做：

a := Abst new.

是非法的并且应该弹出错误/异常吗？ 或者问题应该出现在这里：

a := Abst class new.

？

更新： 正如所建议的，我已经制作了下一个方法，它不会让用户创建类的实例，但它不起作用：

makeAbstract: aClass    
    aClass compile: 'new
                ^ self subclassResponsibility'.

Answer 1

欢迎来到小聊！ Smalltalk 的一大优点是它信任开发人员，开发人员可以从这种信任带来的力量中受益。因此，“无法”和“非法”之类的词很少适用。

与大多数其他事物一样，Smalltalk 中的抽象类更像是建议/指针，而不是严格的法则。您寻找的两条线索是#subclassResponsibility 和#shouldNotImplement。这两个方法是子类化器是否包含特定方法的线索。检查发件人是否有图片中的示例（始终是提问的一个很好的起点）。

由于如上所述的“抽象”实际上是基于每个方法的，因此您的示例不会生成错误（除非从初始化调用 #subclassResponsibility 或 #shouldNotImplement）。

有两件小事：

• 类名大写
  Smalltalk，所以 Abst，不是 Abst。
• 谷歌搜索有很长的路要走。三
  在四个最上面的链接中
  “smalltalk 抽象类” 全部
  你需要（这个尤其看起来很正确）。

更新：如果您想向您的类的用户发出信号，表明他们不应该创建实例（如下面的评论中所示），您可以编写：

Abstract>>new
    ^ self subclassResponsibility.

然后“Abstract new”->错误，但“AbstractSubclass new”没问题。

虽然仍然不能保证 AbstractSubclass 已经重写了抽象方法（不是#new，而是导致您想要首先阻止实例化的方法），但实际上这不会成为问题。如果您确实想要，您可以进行检查（也许在 #initialize 中），以确保实例的任何方法都不会调用 #subclassResponsibility，但除非您有充分的理由，否则不要打扰。

更新 2：使类抽象的实用方法是：

Class>>makeAbstract

    self class compile: 'new
                ^ self subclassResponsibility'.

Answer 2

在 Smalltalk 中，您只需实例化抽象类即可。只要您不调用抽象方法，它就可以工作。您可能想在运行时实现缺少的方法。

Answer 3

是的，抽象类应该至少有一个抽象方法，但是不，您仍然可以创建该类的实例。

您应该做的是创建从抽象类继承的具体类，您可以创建抽象类的实例并调用其方法。

Smalltalk 中的抽象方法有一个特定的实现，这使得它们和类抽象：

method
    self subclassResponsibility

这也意味着子类应该重写此方法并提供具体的实现。

如果您看到有关 subclassResponsibility 的错误，您的代码要么调用了抽象类上的方法，要么您的子类未提供该方法的实现。

Answer 4

我建议您阅读《Pharo By Examples》一书。您可以在这里找到它：http://pharobyexample.org/
你会发现很多有趣的东西。这是一本免费的开放式书籍，您可以下载 pdf 版本。
事实上，您所问的问题已在第 88 页第 5 章中进行了解释。

Answer 5

（固定的）“new-blocker”为其具体子类带来了一些不便：它们必须重新定义new，并且不能使用任何继承的超类的new功能。
您可以通过一个小保护来解决这个问题，它检查它是否确实是尝试实例化的抽象类：（

AbstractClass class >> new
    self == AbstractClass ifTrue:[
        ^ self abstractClassInstantiationError
    ].
    ^ super new

请注意此处的身份比较，即使您将多个抽象类堆叠在一起，它也可以工作）