2

给定两个矩形 r1 和 r2,我尝试测试两者是否相交。为什么以下两个函数不产生相同的输出?

功能一:

def separate_helper(r1, r2):
  r1_left, r1_top, r1_right, r1_bottom = r1
  r2_left, r2_top, r2_right, r2_bottom = r2

  if r1_right < r2_left:
    separate = True
  elif    r1_left > r2_right:
    separate = True
  elif r1_top > r2_bottom:
    separate = True
  elif r1_bottom < r2_top:
    separate = True
  elif contains(r1, r2):
    separate = False
  else:
    separate = False
  return separate

功能二:

def separate_helper2(r1, r2):
  r1_left, r1_top, r1_right, r1_bottom = r1
  r2_left, r2_top, r2_right, r2_bottom = r2

  separate = r1_right < r2_left or \
    r1_left > r2_right or \
    r1_top > r2_bottom or \
    r1_bottom < r2_top or \
    not contains(r1, r2)
  return separate

检查矩形 1 是否包含矩形 2 的函数:

def contains(r1, r2):
  r1_left, r1_top, r1_right, r1_bottom = r1
  r2_left, r2_top, r2_right, r2_bottom = r2
  return r1_right >= r2_right and  r1_left <= r2_left and  r1_top <= r2_top and  r1_bottom >= r2_bottom

这是一个失败的测试用例:

断言分离助手([29, 35, 53, 90], [23, 47, 90, 86])== 分离助手2([29, 35, 53, 90], [23, 47, 90, 86])

只有当矩形 1 包含矩形 2 时它才会失败,但我无法理解为什么。

编辑:

我正在使用 Python 和鼻子的快速检查来测试该功能。这是我正在使用的测试代码:

from qc import forall, lists, integers
from intersect import separate_helper, separate_helper2

@forall(tries=100, r1=lists(items=integers(), size=(4, 4)), r2=lists(items=integers(), size=(4, 4)))
def test_separate(r1, r2):
  assert separate_helper(r1, r2) == separate_helper2(r1, r2)
4

1 回答 1

3

看看你的第一个版本:

elif contains(r1, r2):
  separate = False
else:
  separate = False

假设您通过了所有正确的交集案例,这将返回False是否r1包含r2

但是在您的第二个版本中:

... or \
not contains(r1, r2)

这将返回Falseisr1不包含r2True否则。

因此,在“矩形 1 包含矩形 2”的情况下,他们正在做不同的事情。

作为一个附带问题:为什么 contains 应该返回与contains不同的r1结果?r2r2r1

于 2013-04-08T21:41:11.410 回答