给定两个矩形 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)