这是一个会导致死循环(endless loop)的bug,因为比较有意思所以记录一下。
先看左则的原始代码,两个if分别针对OrCondtion和AndCondition对象内部的child进行迭代,检查每一个child condition是否与给定的值match,对于OrCondtion,依次把每一个child condition的检查结果用or(||)运算串联起来,得出最后的结果,对于AndCondition则是由and(&&)运算串联起来。左侧实现的思路是很直白的,逻辑上也是简单合理的,但是运行时会出现死循环,原因是:对于OrCondtion,如果第一个child的match检测返回true,且还有第二个child的话,在进入while循环后,执行matched=matched||match(iterator.next(),qualifierValueMap); 时,由于matched已经是true,所以||之后的match方法不会被执行,iterator就不会迭代到下一个元素,再次回到while时,hasNext()总是返回true(因为iterator没有向前迭代),所以导致了死循环。对AndCondition也是如此,不同之处是当遇到matched为false时,&&之后的match方法被跳过,然后进入死循环。
实际上,除了死循环,左侧实现还有一个性能问题,以OrCondtion为例,只要在迭代过程中出现任何一个child condition是true就可以结束循环直接返回true了,同样对于AndCondition,只要在迭代过程中出现任何一个child condition是false也可以结束循环直接返回false了,都不需要把所有的child condition都检查一边。
基于上述分析,右侧是修改后的版本。