Smalltalk 的异国特色

Question

当您来自一个更像 C 的语法世界时，Smalltalk 语法（和功能）会发现非常奇特（甚至令人不安）。我发现自己在一些事情上浪费了时间
我有兴趣了解与更经典/主流的语言相比，您发现什么真正具有异国情调，并且您认为有助于理解该语言。

例如，使用逻辑运算符求值：

• (object1 = object2) & (object3 = object4) ：这将计算整个表达式，即使左侧部分为 false，其余部分也会被计算。
• (object1 = object2) and: [object3 = object4] ：这将评估左侧部分，并且仅当第一个为 true 时才会评估右侧部分。

Answer 1

一切都是对象，虚拟机之上的一切都可供检查和修改。 （原语是 VM 的一部分，至少在概念上是这样。）甚至您的调用堆栈也是可用的 (thisContext) - Seaside 在过去通过简单地将调用堆栈向下转换为流并恢复它来实现延续（返回继续部分）只需从该流中读出激活帧即可！

您可以从字符串构造一个选择器，并将其转换为 Symbol 并将其作为消息发送：self Perform: 'this', 'That' 会做同样的事情作为self thisThat。 （但不要这样做，出于同样的原因，您应该在 Lisps 和 PHP 中避免使用 eval：很难调试！）

消息传递：它是 不是方法调用！

#become: 可能是对于以前没有见过它的人来说有点震惊。 （tl；dr 两个对象指针的大规模交换 - 所有对 B 的引用现在都指向 A，所有对 A 的引用现在都指向 B）

Answer 2

基元

someMethod
  <primitive 14122 wtf>
  "fail and execute the following"
  [self] inlineCopyInject: [:t1 | self].

Answer 3

我与 Smalltalk 的第一次角力是元类的实现。

考虑一下：

'This is a string' 的类是什么？嗯，类似于String。

String 是什么类？ 字符串类。注意：这是一个类，但它没有名称，它只是将自己打印为“String class”。

String类是什么类？ 元类。注意：这是一个命名类。

Metaclass 是什么类？正如您所期望的（或不期望的），这是元类。其中，正如您所料，该类又是Metaclass。

这是第一个循环。另一个我一开始觉得相当深奥的问题（当然，现在我早餐吃元类）是下一个：

String 的超类是什么？ Object（最终，Smalltalk 的不同实现具有这些基本类的不同类层次结构）。

Object 的超类是什么？ 无。现在，这是 Smalltalk 中一个有趣的答案，因为它实际上是一个对象！ nil class 回答 UndefinedObject。其中超类是...Object。

在那些日子里，浏览超类和关系实例对我来说是一次真正的过山车之旅......

Answer 4

选择性断点（我有时实际使用）怎么样：

foo
    thisContext sender selector == #bar ifTrue:[ self halt ].
    ...

将自行调试，但前提是从 bar 调用。如果从无数其他地方调用 foo 并且常规断点太频繁命中，则很有用。

Answer 5

我一直很喜欢 Smalltalk quine：

quine
     ^thisContext method getSource

（Pharo 版本。）