pharo - Pharo Smalltalk 中如何实现二进制消息的优先级？

Question

我正在查看 Pharo Smalltalk 的语法，并且想知道如何实现二进制消息的优先级。

如何声明这样的二进制消息？

系统如何确定一元消息的优先级？

Answer 1

用于实现二进制消息:

是的，例如，您可以查看数字类。它有很多二进制消息。或者考虑Object的这个方法:

-> anObject
    ^ Association basicNew key: self value: anObject

这允许您评估 'five' -> 5 并获得关联。

对于优先级:

这是由解析器完成的。所以首先它会查找关键字消息，然后是二进制，然后是一元，然后是双亲。

如果你有

collection add: 'five' -> 5

解析器将首先解析 add: 与接收器 collection 然后解析 'five' -> 5 并将其放入一个参数添加:。通过这种方式，AST 的组合方式使关键字消息更通用，并且将在计算出它们的属性后执行

在哪里可以找到

在最新版本的 Pharo 中，解析是使用 RBParser 完成的(与之前用于重构的解析器相同)。关键字消息用 parseKeywordMessage 解析，二进制用 parseBinaryMessage 解析。探索的简单方法是在 parseBinaryMessage 上放置一个一次性断点并执行类似

RBParser parseExpression: 'coll add: #five -> 5'

调试器将在 parseBinaryMessage 处停止，因此您可以查看堆栈并了解它是如何工作的。注意，break一次很重要，否则每次编译一个方法等等都会得到一个调试器。