Цикл for и управляющая переменная

[bITA666]

using System;
class forDemo { 
    static void Main() { 
        int i, j;
        bool done = false;
        for(i=0, j=100; !done; i++, j--) { 
            if(i*i >= j) done = true;
                Console.WriteLine("i, j: " + i + " " + j);
        } 
    }
}

Ниже приведен результат выполнения этой программы.
i, j: 0 100
i, j: 1 99
i, j: 2 98
i, j: 3 97
i, j: 4 96
i, j: 5 95
i, j: 6 94
i, j: 7 93
i, j: 8 92
i, j: 9 91
i, j: 10 90

Подскажите пожалуйста как работает в данном примере if и for в связке, а именно условие оператора if и for.
Я не понимаю почему выводится результат если условие оператора if является false.

[macomics]

Так if и не работает. В теле if только строчка done = true;
А

Console.WriteLine("i, j: " + i + " " + j);

выполняется для всех итераций цикла
От того, что вы добавили отступ, эта строка не стала принадлежать телу if

using System;
class forDemo { 
    static void Main() { 
        int i, j;
        bool done = false;
        for(i=0, j=100; !done; i++, j--) { 
            if(i*i >= j) {
                done = true;
                Console.WriteLine("i, j: " + i + " " + j);
            }
        } 
    }
}

Вот так в теле if будет оба оператора и done = true и Console.WriteLine

[BDA]

Сообщение от bITA666

почему выводится результат если условие оператора if является false.

У вас неверное форматирование кода. Тело оператора if это только "done = true;", а вывод находится уже после оператора if.

[bITA666]

BDA, как было в книги так и я вам скопировал

[bITA666]

Сообщение от macomics

От того, что вы добавили отступ, эта строка не стала принадлежать телу if

Так отступ был в книге. Я может только лишний пробел добавил и то случайно. Суть дела не меняет.
Зачем if и условие которое не работает? Вот кстати скрин книги , можете сравнить что я ничего от себя не добавил.

[macomics]

Так условие if как раз сработало. Цикл же остановился на i, j: 10 90 // (10 * 10 = 100 > 90)

С тем же успехом можно написать так

using System;
class forDemo { 
    static void Main() { 
        for(int i=0; i * i < 100 - i; ++i) Console.WriteLine("i, j: " + i + " " + (100 - i));
    }
}

[bITA666]

Сообщение от macomics

От того, что вы добавили отступ, эта строка не стала принадлежать телу if

Так отступ был в книге. Я может только лишний пробел добавил и то случайно. Суть дела не меняет.
Зачем if и условие которое не работает? Вот кстати скрин книги , можете сравнить что я ничего от себя не добавил.

Сообщение от macomics

Так условие if как раз сработало. Цикл же остановился на i, j: 10 90

Хорошо. Постараюсь объяснить простыми словами что мне непонятно. Надеюсь вы сможете понять и объяснить.
Метод срабатывает тогда, когда условие оператора if истинно.
После первой итерации if(i*i >= j) done = true;
Разве значение переменной done = true? При первой итерации i < j так как может изменяться значение в переменной i и j если done = false?

[BDA]

Сообщение от bITA666

Так отступ был в книге.

При переводе книг листинги очень страдают. В оригинале там так:

using System;

class forDemo {
  static void Main() {
    int i, j;
    bool done = false;

    for(i=0, j=100; !done; i++, j--) {

      if(i*i >= j) done = true;

      Console.WriteLine("i, j: " + i + " " + j);
    }
  }
}

С таким форматированием не возникает ложного ощущения, что WriteLine относится к телу if.
Изначально done имеет значение ложь, но условное выражение цикла !done, то есть отрицание значения done. Поэтому это выражение будет истинно, и будет выполнено тело цикла (if и WriteLine), а затем выражение, отвечающее за итерацию (i++, j--).

[macomics]

Сообщение от bITA666

Так отступ был в книге. Я может только лишний пробел добавил и то случайно. Суть дела не меняет.
Зачем if и условие которое не работает? Вот кстати скрин книги , можете сравнить что я ничего от себя не добавил.

Я с первого раза могу прочитать сообщение. Дублировать не нужно.

Сообщение от bITA666

После первой итерации if(i*i >= j) done = true;
Разве значение переменной done = true? При первой итерации i < j так как может изменяться значение в переменной i и j если done = false?

Вы не правильно поняли написанное.

1. установить done = false;
2. вход в цикл for
   • установить i = 0 и j = 100
   • первая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 0*0 >= 100 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 0 100
     4. увеличить i и уменьшить j на 1 --> i = 1, j = 99
   • вторая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 1*1 >= 99 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 1 99
     4. увеличить i и уменьшить j на 1 --> i = 2, j = 98
   • третья итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 2*2 >= 98 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 2 98
     4. увеличить i и уменьшить j на 1 --> i = 3, j = 97
   • четвертая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 3*3 >= 97 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 3 97
     4. увеличить i и уменьшить j на 1 --> i = 4, j = 96
   • пятая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 4*4 >= 96 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 4 96
     4. увеличить i и уменьшить j на 1 --> i = 5, j = 95
   • шестая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 5*5 >= 95 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 5 95
     4. увеличить i и уменьшить j на 1 --> i = 6, j = 94
   • седьмая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 6*6 >= 94 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 6 94
     4. увеличить i и уменьшить j на 1 --> i = 7, j = 93
   • восьмая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 7*7 >= 93 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 7 93
     4. увеличить i и уменьшить j на 1 --> i = 8, j = 92
   • девятая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 8*8 >= 92 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 8 92
     4. увеличить i и уменьшить j на 1 --> i = 9, j = 91
   • десятая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 9*9 >= 91 --> false, тело if пропускается
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 9 91
     4. увеличить i и уменьшить j на 1 --> i = 10, j = 90
   • одиннадцатая итерация
     1. проверить !done --> !false --> true --> цикл продолжается
     2. проверить i*i >= j --> 10*10 >= 90 --> true, тело if выполняется --> done = true
     3. Console.WriteLine("i, j: " + i + " " + j); выводит i, j: 1 90
     4. увеличить i и уменьшить j на 1 --> i = 11, j = 89
   • конец цикла
     1. проверить !done --> !true --> false --> выход из цикла

Заметьте, что i и j после проверки условия еще раз изменяются. Это важно, если будете использовать их значения после выхода из цикла. Можете убедиться в состоянии этих переменных добавив еще одну строчку Console.WriteLine после цикла for.

[bITA666]

Сообщение от BDA

При переводе книг листинги очень страдают. В оригинале там так:

using System;

class forDemo {
  static void Main() {
    int i, j;
    bool done = false;

    for(i=0, j=100; !done; i++, j--) {

      if(i*i >= j) done = true;

      Console.WriteLine("i, j: " + i + " " + j);
    }
  }
}

С таким форматированием не возникает ложного ощущения, что WriteLine относится к телу if.
Изначально done имеет значение ложь, но условное выражение цикла !done, то есть отрицание значения done. Поэтому это выражение будет истинно, и будет выполнено тело цикла (if и WriteLine), а затем выражение, отвечающе

Сообщение от BDA

Изначально done имеет значение ложь, но условное выражение цикла !done, то есть отрицание значения done. Поэтому это выражение будет истинно, и будет выполнено тело цикла (if и WriteLine), а затем выражение, отвечающее за итерацию (i++, j--).

Так я не понимаю, если условное значение for истинно и цикл выполняется, условие оператора if будет false потому что значение i меньше j а значит метод не должен выводиться.