如何在 post 条件下使用交叉循环来比较某些索引处的旧数组和新数组?

Question

我有一个方法，可以将数组中的所有项目向左移动一个位置。在我的后期条件下，我需要确保我的项目向左移动了一。我已经将旧数组的第一个元素与新数组的最后一个元素进行了比较。如何遍历从 2 到 count 的旧数组，从 1 到 count-1 遍历新数组并比较它们？这是我到目前为止的实现。

items_shifted:
old array.deep_twin[1] ~ array[array.count]
and
across 2 |..| (old array.deep_twin.count) as i_twin all
across 1 |..| (array.count-1) as i_orig  all
i_twin.item ~ i_orig.item
end
end

end

我期望结果是真的，但我却违反了指向此职位条件的合同。我已经通过在方法之前和之后打印出数组来手动测试该方法，并得到了预期的结果。

Answer 1

在失败的后置条件中，循环游标分别i_twin和i_orig遍历序列2 .. array.count和1 .. array.count - 1，即它们的项是索引2, 3, ...和1, 2, ...。因此，循环执行2 ~ 1、3 ~ 2等的比较(在运行时，它在第一次不等式时停止(。但是，您希望比较元素，而不是索引。

一种可能的解决方案如下所示：

items_shifted:
across array as c all
c.item =
if c.target_index < array.upper then
(old array.twin) [c.target_index + 1]
else
old array [array.lower]
end
end

循环检查所有元素是否已移动。如果光标指向最后一个元素，则会将其与旧的第一个元素进行比较。否则，它将测试当前元素是否等于下一个索引处的旧元素。

化妆品：

1. 后置条件不假定数组从 1 开始，而是改用array.lower和array.upper。

2. 后置条件不执行原始阵列的深度孪生。这允许使用=而不是~来比较元素。

编辑：为了避免优先规则引起的潜在混淆，并强调对新旧数组之间的所有项目执行比较，Eric Bezault 建议的更好变体如下所示：

items_shifted:
across array as c all
c.item =(old array.twin)
[if c.target_index < array.upper then
c.target_index + 1
else
array.lower
end]
end