Smalltalk 语言(面向对象的鼻祖语言)
  Ed1hqxPMi6Sv 2023年12月23日 12 0

基础语法

看一下这些基础语法,便能够读懂大部分的代码内容。

  • 注释:用双引号包围。"这是注释"
  • 字符串:用单引号包围。'这是一个字符串'
  • 单个字符:$c
  • 符号(Symbol):#thisIsASymbol 大家也许对符号这个概念比较陌生。简单来说,只要两个符号的值一样,那么它们在内存中也是相同的对象。
  • 变量声明:| a | ,也可以一次声明多个:| a b c |
  • 赋值语句:a := 5
  • 相等性与同一性:相等性使用 = ,相当于 Java 中的 equals() 。同一性使用 == ,即判断内存地址相同。
  • 返回语句:^ a 即其他语言中的 return a
  • 级联:Smalltalk 使用 . 表示语句的末尾,而 ; 用于实现级联的功能。所谓级联,是指可以连续在同一个对象上调用方法,而不必每次都重复写出这个对象。举个例子:
| p |  p := Client new       
    name: 'Jack';        
    age: 32;        
    address: 'Earth'.

方法与类

一个 Smalltalk 中方法定义和调用的例子:

"定义一个方法:使物体围绕某个轴旋转一定角度"
rotateBy: angle around: vector
| result |
result := [...省略具体内容].
^result
"调用这个方法"t rotateBy: a around: v.

基于主流语言的语法,来看看一个方法是以何种逻辑演化成 Smalltalk 的样子的。

先从我们熟悉的形式开始:

t->rotate(a, v);  // In C++
t.rotate(a, v);   // In Java

省略掉一些不影响语义的符号:

t rotate(a, v);    // 省略掉 .
t rotate a, v;     // 省略括号

然后我们发现参数的含义不太清晰,可以给每个参数前面加一个前缀来使含义更加明确:

t rotate by a around v;

但是这样的话,哪个词语是前缀,哪个是参数就不太能分得清。因此我们给前缀加个冒号来区分:

t rotate by: a around: v;

最后,都这样了,方法名字本身也没必要单列出来,可以直接和第一个参数前缀合并起来,就成了 Smalltalk 现在的样子:

t rotateBy: a around: v;

再来看一个复杂点的例子:

a negative | (b between: c and: d)ifTrue: [a := c negated]

它相当于其他语言中的:

if (a < 0 || (c < b && b < d)) {a = -c;}

-cc negated 有所不同,前者只是进行了一次简单的数学运算,后者是在C的基础上调用了negative并返回到C,然后用这个返回的值去操作。


这体现了Smalltalk的核心概念之一:一切皆对象。对比于另一门同样号称「一切皆是对象」的语言 Java,你是不能写出 5.negated() 这种代码的。java中有 基本类型 、封装类型,而Smalltalk中对象的概念贯穿始终,保持了同一性。


在Smalltalk中有另一个重要概念:消息。在上面的例子中称这种写法为 调用对象。但实际上 Smalltalk 中并没有这个概念,而是 给对象发送消息。例如 c negatedSmalltalk 的话来说就是给对象 c 发送了一个名为negative的消息。


在 Smalltalk 中有三种消息,它们在上面的例子中都能体现:

  • 一元(unary)消息:可以理解为一个无参方法,例如上面的 negated 消息。
  • 二元(binary)消息:就是常用的一组计算符号,比如四则运算符还有上面的 | 等逻辑运算符。不过需要注意的是,它的本质还是发送消息而不是直接运算,因此没有运算符优先级的概念。+* 在 Smalltalk 中的优先级是相等的。
  • Keyword 消息:可认为是普通的有参方法,在 Smalltalk 中就是每个参数以冒号连接来表示,比如上面的 rotateBy:around: 还有 between:and: 。这样的消息在 Smalltalk 中被称为 keyword


描述词汇的不同也会带来思维方式的不同,相比于「方法调用」,「发送消息」这个说法会显得更加泛用一些,也可以带来一些更接近本质的思考。

举个例子,如果调用一个不存在的方法,那自然会报错。但如果给一个对象发送一个它不认识的消息,那非得报错吗?我大不了不处理不就行了。


继承实质是面向对象语言中实现代码重用的一种手段,但现在大部分情况下「组合优于继承」早已成为共识。

封装是为了隐藏底层或内部的实现细节,也并不是面向对象独有的概念。


多态在传统面向对象教学中的解释颇为复杂。我们定义一个父类,并让两个不同的子类 override 父类的同一个方法,并编写不同的实现,来说明多态性。但是如果用发送消息的思路来解释就很简单了。给两个不同的对象发送同一个消息,这两个对象会做出不同的反应,这就非常自然而然了,压根不需要牵扯到类的继承之类的概念。


理解 Smalltalk 的核心概念之后,再来看一下怎么声明一个类:

Object subclass: #MyClass      
  instanceVariableNames: '' “实例变量名”
  classVariableNames: ''    “类变量名”
  poolDictionaries: ''      “字典池”
  category: 'Pupeno'        “类别”

大部分编程语言都会使用 class 关键字声明一个类,并用 extends 或类似的关键字来声明继承关系。而Smalltalk 则另辟蹊径。首先,由于一切皆是对象,因此 Object 类也是一个对象;其次,Object 类可以接收名为 subclass: 的消息,创建一个新的对象。无需再引入任何特殊的语法,仅用语言本身的两个核心理念,就十分自洽地把类的概念创建了出来。


不仅仅是定义类,还有常用的分支、循环语句等,在 Smalltalk 中都可以通过发送消息的形式来实现,而无需定义额外的诸如 ifwhile 等关键字。这或许就是 Smalltalk 把类似 subclass: 之类的带参消息都称作 keyword 的原因。它们完全可以替代其他语言中各种关键字的职能。


代码块

继续回到上一节的例子:

a negative | (b between: c and: d)
ifTrue: [a := c negated]

关注这个 [a := c negated] 。这里由中括号包围的部分,大家或许会以为就像是 C++/Java 里跟在 if 语句后面的大括号——对,但不全对。在 Smalltalk 中它被称为代码块,可以放在一个变量里面,自由地控制它的调用时机,也可以把它像参数一样传递。做个简单对比:

"in Smalltalk"
a := [:x | x + 1]       "将一个代码块赋值给 a"
(a value: 10)           "运行这个代码块并传入参数 10"
// in Javascriptlet 
a = function(x) { return x + 1; };
a(10);


控制流

结合 Smalltalk 对象间发送消息的思想和代码块的能力,那么它将变得无所不能。上文中提到 Smalltalk 无需额外的关键字就能实现 ifwhile 等的功能。让我们具体地看一下如何利用这些能力来实现 if 的功能。


首先,我们需要定义出 truefalse 这两个常量:


先定义出 PBoolean 类,然后创建PTruePFalse 两个对象。PTrue 的实例就可以认为是 truefalse 也是同理。

Object subclass: #PBoolean      
  instanceVariableNames: ''      
  classVariableNames: ''      
  poolDictionaries: ''      
  category: 'Pupeno'
PBoolean subclass: #PTrue      
  instanceVariableNames: ''      
  classVariableNames: ''      
  poolDictionaries: ''      
  category: 'Pupeno'
PBoolean subclass: #PFalse      
  instanceVariableNames: ''      
  classVariableNames: ''      
  poolDictionaries: ''      
  category: 'Pupeno'

其次,我们定义 ifTrue:else: 消息。它接受两个代码块作为参数。当 PTrue 类的实例接收到消息时,它执行 ifTrue: 携带的代码块,忽略 else: 携带的代码块。反之亦然。

"PTrue 中定义"
ifTrue: do else: notdo  
  ^ do value
"PFalse 中定义"
ifTrue: notdo else: do  
  ^ do value

再次,我们定义一个 MyClass 对象用作测试,它可以接受 equals: 消息判断两个对象是否相等。为了方便起见,我们永远返回 true 。实际中可以自行实现其业务逻辑。

equals: other  
  ^ PTrue new

最后,我们就可以愉快地使用 if-else 了:

m1 := MyClass new.
m2 := MyClass new.
(m1 equals: m2) ifTrue: [  
    Transcript show: 'They are equal'
] else: [  
    Transcript show: 'They are not equal'
]


总结

本文介绍了Smalltalk中最基础的语言规则与设计思想。它引领了面向对象前沿的概念,它的语言特性直到现在也很有参考、学习的价值。

参考:https://zhuanlan.zhihu.com/p/423372660


【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年12月23日 0

暂无评论