在 Smalltalk 中对消息参数强制执行某些值的最佳方法是什么？

Question

我正在 Pharo 中开发一个简单的棋盘游戏，并且我的棋盘上有一个方法可以将对象添加到单元格中。单元格只是对象上点的字典。

作为该方法的一部分，我想强制一个 Point 应该大于零，但小于棋盘的宽度和高度，换句话说，它实际上应该在棋盘上。最好的方法是什么？

我当前的尝试看起来像这样：

at: aPoint put: aCell

((((aPoint x > self numberOfRows) 
    or: [aPoint x <= 0]) 
    or: [aPoint y > self numberOfColumns ]) 
    or: [aPoint y <= 0]) 
    ifTrue: [ self error:'The point must be inside the grid.' ].

self cells at: aPoint put: aCell .

所有这些括号都有点口齿不清！但我不能在不关闭每个表达式的情况下使用短路 or: ，因此它的计算结果为布尔值而不是块（或作为 or:or:or:or:< /代码> 消息）。我可以使用二元运算符 | 代替并进行短路，但这似乎不对。

那么处理这个问题的正确 Smalltalk 方式是什么？

Answer 1

通常 or: 的嵌套方式如下：

(aPoint x > self numberOfRows 
    or: [ aPoint x <= 0  
    or: [ aPoint y > self numberOfColumns
    or: [ aPoint y <= 0 ] ] ])
        ifTrue: [ self error: 'The point must be inside the grid.' ].

您的嵌套是短路的，但由于对第一个参数的重复测试而效率较低（检查字节码以查看差异）。

您也可以使用在 Object 上定义的 assert: 或 assert:description:：

self
    assert: (aPoint x > self numberOfRows 
        or: [ aPoint x <= 0  
        or: [ aPoint y > self numberOfColumns
        or: [ aPoint y <= 0 ] ] ])
    description: 'The point must be inside the grid.'

Answer 2

每当事情嵌套得如此严重时，就该调用另一个方法了。

isValidPoint: aPoint
  aPoint x > self numberOfRows ifTrue: [^ false].
  aPoint x <= 0 ifTrue: [^ false].
  aPoint y > self numberOfColumns ifTrue: [^ false].
  aPoint y <= 0 ifTrue: [^ false].
  ^ true.

一般来说，你的方法应该相对平坦。如果没有，是时候重构了。

Answer 3

您可以简单地用范围内有效的所有点预填充“单元格”字典，即您放置的初始化中的某个位置：

1 to: numberOfRows do: [:y |
  1 to: numberOfCols do: [:x |
     cells at: x@y put: dummy "or nil " ] ]

那么在给定点添加单元格的方法将看起来像这样简单：

at: aPoint put: aCell

   self cells at: aPoint ifAbsent: [ self error: 'The point must be inside the grid.' ].
   self cells at: aPoint put: aCell .

还有一个辅助方法# Between：和: ，您可以使用它来最大程度地减少代码混乱：

((aPoint x between: 1 and: self numCols) and: [
 aPoint y between: 1 and: self numRows ]) ifFalse: [ ... bummer ... ]