i++引起的惨案

导语

最近在作一个项目，该项目原来是由C++编写的，如今须要翻译成Java，在翻译过程当中，同事没有理解清楚具体需求，在开发中进行了直译，直到生产上出现故障了(测试竟然没测出来？)一块儿研究才发现...

需求

先看一下C++代码的样子

//vector<CorBillGroup>& vCorBillGroups 
	while(rs->next()){
		if(load(rs,bill)){
			//判断分组
			corId = pm->getCorpId(bill.getPartyRoleId(),bill.getBillingCycleId());
			if (corId < 0)
				throw BusinessLogicException("找不到银行划扣分组ID", corId);
			int i=0;
			for ( i=0;i<vCorBillGroups.size();i++) {
				 if(vCorBillGroups[i].getCorperationId() == corId){
					 vCorBillGroups[i].add(bill);
					 break;
				 }
			}
			if(i == vCorBillGroups.size()) {
				CorBillGroup corBillGroup;
				corBillGroup.setCorperationId(corId);
				corBillGroup.add(bill);
				vCorBillGroups.push_back(corBillGroup);
			}
		}
	}
复制代码

而后看一下同事翻译的初版的样子

for (VirtualBillVO vo : bills) {
            long partyRoleId = vo.getPartyRoleId();
            Partner partner = getPartnerManager().getPartner(Integer.parseInt(partyRoleId + ""));
            corId = partner.getCorpId();

            if (corId < 0) {
                throw new BusinessLogicException("找不到银行划扣分组ID", corId);
            }
            int i = 0;
            for (CorBillGroupVO corVo : vCorBillGroups) {
                i++;
                if (corVo.getM_iCorperationId() == corId) {
                    corVo.add(vo);
                    break;
                }
            }
            if (i == vCorBillGroups.size()) {
                CorBillGroupVO corBillGroup = new CorBillGroupVO();
                corBillGroup.setM_iCorperationId(corId);
                corBillGroup.add(vo);
                vCorBillGroups.add(corBillGroup);
            }
        }
复制代码

分析

先不考虑这里具体是干啥的，单纯从代码结构的角度来看，彷佛代码是没啥问题的。可是程序可不是看代码结构的! 因为C++代码有具体业务含义，简单介绍一下这段代码的背景：给一组帐单（bills），按照运营商（corId）进行分组后返回。这么简单的需求，也不知道C++代码为啥写的这么复杂，这也致使翻译这段代码的同事犯了糊涂。

• 具体看C++： 循环帐单列表，取帐单的corId，i=0.循环分组vCorBillGroups，若分组里有该corId就将该帐单添加到vCorBillGroups的第i个元素中，并跳出循环，判断i 和vCorBillGroups长度是否相等，若在前面循环中有break，i是不可能与vCorBillGroups的长度相等的（循环vCorBillGroups.size()次，每次i++，则当循环正常结束后，i确定与vCorBillGroups.size()相等，如有break，则i确定小于vCorBillGroups.size()了）；若前面循环中没有break，说明该corId不在已经存在的组中，则添加到vCorBillGroups中。
• 再看同事翻译的Java：一样循环帐单列表，可是采用了foreach的写法遍历，break条件知足以前就i++，那么在无break的时候是正常的，在有break的状况下就不同了，例如vCorBillGroups.size() = 1 时，遍历一次vCorBillGroups，此时就算有break，i = 1，i ==vCorBillGroups.size();又会从新添加一次分组，那么就与C++代码的含义不同了。
• 区别在哪里呢，仔细对比一下就会发现，两处代码的区别就在i++的使用上，for(;;i++)中，若for循环中有break，是不会进行++操做的，同事翻译时为了图方便，随意使用foreach，并将i++置于break条件以前，很明显没法起到控制做用了！

解决

最简单的解决方式就是如上述分析同样，将i++放在break条件以后便可，可是分组代码真的要写这么晦涩吗？见仁见智了...

总结

不多有人真的去注意for循环条件执行的顺序，以及i++和++i的区别，我老大在看到这段代码的时候也犹豫了一下，后来才恍然大悟怀疑这个i++在break以后是否有执行，测试了一下才肯定本身的想法。平时这种代码可能都是不会有问题的，可是一旦触发了某种边界条件，就不必定是你想象的样子了。因此在写代码以前，仍是要明确本身要实现的功能是什么，若是同事最开始翻译代码的时候明确知道这是一段分组代码，我相信他绝对不会这样去写的！