Smalltalk 中的消息传递真的都是这样吗？

Question

我是 Smalltalk 的新手，该语言中只有 6 个关键字（self、super、true, false, nil & thisContext)，以及几乎所有内容都作为消息传递的纯粹程度，例如。使用 whileTrue 进行循环，使用 ifTrue 进行 if/else 等...这与我在其他语言中习惯的方式有很大不同。

然而，在某些情况下，我无法理解消息传递的真正意义，其中包括：

• 赋值运算符 :=
• 级联运算符 ;
• 句点运算符 >.
• 创建集合的方式#( ... )

这些不是消息传递，对吗？

Answer 1

正如您所发现的，仍然存在一些实际的 Smalltalk 语法。块构造、文字字符串/符号/注释、局部变量声明 (|...|) 和返回 (^) 是您没有提到的一些内容也是语法。

某些扩展（例如 #(...)，通常创建一个 Array，而不是集合）当​​然可以以其他方式表达，例如 #(1 2 3 ) 相当于 Array with: 1 with: 2 with: 3;它们只是为了让代码更容易阅读和编写。

Answer 2

一件事可能有助于澄清：self、super、true、false、nil > & thisContext 是数据原语，而不是关键字。

它们是仅有的 6 个数据原语。这 6 个变量也称为伪变量。绝对所有其他事物都是类对象或其子类的实例。

Smalltalk 中预定义的关键字很少。它们可以以非常简洁的形式编写。

一个著名的例子是 Smalltalk Syntax on a Postcard (link)

 exampleWithNumber: x

    | y |
    true & false not & (nil isNil) ifFalse: [self halt].
    y := self size + super size.
    #($a #a "a" 1 1.0)
        do: [ :each |
            Transcript show: (each class name);
                       show: ' '].
    ^x < y

这是此方法的注释 - 这是大于方法本身：

“说明 Smalltalk 方法语法每个部分的方法
除了原语。它有一元、二进制和键盘消息，
声明参数和临时变量，访问全局变量
（但不是实例变量），使用文字（数组、字符、
符号、字符串、整数、浮点数），使用伪变量
true、false、nil、self 和 super，并且有序列、赋值、
返回和级联。它有零个参数和一个参数块。”