Smalltalk多冒号方法调用差异原因咨询

问题背景 #

在Smalltalk中，冒号是方法名的核心组成部分，每个冒号对应一个方法参数，但以下两个示例的解析行为存在明显差异：

示例1：

100 max: 50 max: 102

Smalltalk会尝试查找并调用名为max:max:的双参数方法（接收者为100，参数为50和102）。

示例2：

6 gcd: 3 factorial: 5

解释器会将其解析为连续的两次单参数消息发送：先执行6 gcd: 3，再将返回结果作为接收者执行factorial: 5。

核心语法机制 #

Smalltalk的消息解析遵循**“优先匹配多参数方法”**的规则，具体逻辑如下：

• 冒号是方法名的固定组成部分，任意包含冒号的方法名，冒号的数量等于参数的数量（比如max:是单参数方法，max:max:是双参数方法）。
• 当代码中出现接收者 标识符1: 参数1 标识符2: 参数2的结构时，解释器会首先检查接收者的类中是否存在名为标识符1:标识符2:的多参数方法：
  • 如果存在该方法，则直接将其作为一个多参数方法调用，所有参数依次传入。
  • 如果不存在该多参数方法，则将结构拆分为连续的单参数消息发送：先调用接收者 标识符1: 参数1，用返回值作为新接收者，再调用新接收者 标识符2: 参数2。

示例差异原因分析 #

示例1解析逻辑 #

Integer类中预定义了max:max:双参数方法，作用是返回接收者与两个参数中的最大值。因此解释器直接匹配该方法，将代码解析为：

100 max: 50 max: 102  "等价于 100 perform: #max:max: withArguments: {50. 102}"

示例2解析逻辑 #

Integer类中没有定义gcd:factorial:这种双参数方法，因此解释器无法匹配多参数方法，只能按连续消息发送处理：

(6 gcd: 3) factorial: 5  "先计算6和3的最大公约数，再对结果调用factorial:5"

补充说明 #

如果需要强制将连续的冒号消息拆分为多个调用（即使存在对应的多参数方法），可以通过括号明确指定优先级：

(100 max: 50) max: 102  "强制拆分为两次单参数max:调用"

内容的提问来源于stack exchange，提问作者Ofir