【java解惑】整型溢出的循环控制变量

    如下代码：

public class Example026 {

	public static final int END = Integer.MAX_VALUE;
	public static final int START = END - 100;

	public static void main(String[] args) {
		int count = 0;
		for (int i = START; i <= END; i++) {
			count++;
			System.out.println(count);
		}
		System.out.println(count);
	}
}

    输出说明：

    循环打印整型所能表示范围内的所有数字且程序无法正确退出。

    代码分析：

    上述代码中循环控制变量i的起始值为int的最大值减去100，终止条件为小于等于int的最大值。循环开始运行后，当i的值等于END时，i++，这时i的值超过了int的表示范围，导致溢出，i的值变为整型的最小值。当再次将i与END进行判断时，循环条件成立，继续运行。每次当循环条件的值等于整型最大值时就会加1溢出，重新运行。所以上述程序的最终结果就是无法正确退出。

    对于上述代码的一种改进策略是将循环控制条件的类型由int改为long。这样，在i的值等于整型最大值时，加1不会溢出，循环就能正常终止了。

    当然也可以将代码改换一种写法（保证循环能够执行101次而不是100次），如下所示：

int count = 0;
int i = START;
do {
   count++;
} while (i != END);

（注：本【java解惑】系列，均是博主阅读《java解惑》原书后，将原书上的讲解和例子部分改编，然后写成博文进行发布的。所有例子均亲自测试通过，并共享在github上。通过这些例子，激励自己，惠及他人。同时，本系列所有博文会同步发布在博主个人微信公众号（搜索“爱题猿”或者“ape_it”），方便大家阅读。如果文中有任何侵犯原作者权利的内容，请及时告知博主，以便及时删除；如果读者对文中的内容有异议或者问题，欢迎通过博客留言或者微信公众号留言等方式共同探讨。）

源代码地址：https://github.com/rocwinger/java-disabuse

本文出自 “winger” 博客，谢绝转载！