Булево сравнение ints, когда RHS == Integer.MAX_VALUE, почему этот цикл завершается?

Question

Я пытаюсь понять, почему этот цикл завершается ...

@Test 
public void test() { 

    int counter=0; 
    int from = 0; 
    int until = Integer.MAX_VALUE; 

    while(counter <= until) { 
     counter++; 
     if(counter < from) { 
      System.out.println("continuing " + counter + " <= " + from); 
      continue; 
     } 
    } 
    System.out.println("finished " + counter); 
} 

while(counter <= until) всегда следует принять решение true, так как счетчик не может быть увеличен за Integer.MAX_VALUE. Таким образом, цикл не должен заканчиваться.

Однако в Eclipse, если я бегу с JUnit бегуна я получаю:

finished 108772 

Если я бегу в отладчике я получаю:

finished 125156 

Выход в if(counter < from) никогда не выход , Если я удалю этот блок, код все равно завершится, на этот раз в Integer.MAX_VALUE.

finished 2147483647 

Answer 1

не совсем уверен, что вы пытаетесь сделать здесь ваш цикл в то время как будет работать, как ожидалось, но от никогда не изменится так что «счетчик меньше, чем от» привычка никогда не будет выполнена?

до (макс целое) не будет = 2147483647

если изменить время цикла для (счетчик < до) вы получите выходной текст «закончил 2147483647»

что поможет?

Answer 2

Я не могу воспроизвести ваш выход, поэтому это не ответ, просто наблюдение. Рассмотрим только эти строки.

int counter=0; 
int until = Integer.MAX_VALUE; 
while(counter <= until) { 
    counter++; 

Условие while равно или равно EQUAL. Поэтому, когда счетчик равен Integer.MAX_VALUE, к нему добавляется один. Это дает наибольшее возможное отрицательное число Java. Продолжайте добавлять одно к этому значению, и оно в конечном итоге станет нулевым, а затем подсчитайте еще раз, пока не достигнет Integer.MAX_VALUE. Затем вся последовательность начинается снова. Для меня это выглядит бесконечно.

Вы также выполняете строку «Продолжение» на каждой итерации при подсчете от наибольшего отрицательного числа.