Vou te mostrar um código C#:
using static System.Console;
public class Program {
public static void Main() {
for (int i = 1; i >= 0; i *= 2) { WriteLine($"i: {i}"); }
checked {
for (int j = 1; j >= 0; j *= 2) { WriteLine($"j: {j}"); }
}
}
}
Veja funcionando no ideone. E no .NET Fiddle. Também coloquei no GitHub para referência futura.
Não faço com Java porque ele não pode controlar a verificação de overflow.
Por padrão ela é desligada, então quando você chega em um valor acima da capacidade que o tipo int
suporta ele continua operando normalmente só que há uma troca de sinal que é um bit no número. Por questão de performance não é verificado se isto ocorre. Sendo negativo o laço encerra.
O segundo que eu fiz liga a verificação, fica mais lento porque toda mudança da variável tem que ver se não estourou, mas aí um erro acaba ocorrendo porque o processador indica que a operação é inválida e o .NET captura isto e informação a execução.
Mas pode ver em Java também. Eu mudei para multiplicar por 2 para entrar em progressão geométrica e encerrar mais rapidamente. Também poderia ter começado por um número maior.
O tamanho máximo do int
é 2.147.483.647 (2 elevado à 31 já que ele tem 32 bits e um deles é usado como sinal). O valor mínimo é -2,147,483,648.
Assim entra em loop infinito:
class Loop {
public static void main(String[] a) {
int cont = 0;
for (int i = 1; i < 10000000000000000L; i *= 2, cont++) { System.out.println("i:" + i); }
System.out.println("cont:"+cont);
}
}
Veja funcionando no ideone. E no repl.it. Também coloquei no GitHub para referência futura.
int
basicamente. Quando o contador dele passar do limite, ele volta pro "outro lado". Pense num odômetro de carro, quando a quilometragem passa do que cabe nele, ele volta pro começo (que no caso do int começa em -valor e vai até +valor)