Яка мета “;” в кінці циклу for?

Я знайшов такий код:

int func_prim (int zahl) {
    int count;
    if (zahl < 0)
        return -1;

    for (count = 2; zahl % count != 0 && zahl >= count; count++);
    if (count == zahl)
        return 1;
    return 0;
}

Суть функції полягає в тому, щоб перевірити, чи є число простим чи ні.

Я не розумію, чому for-loop має ;кінець:

                                                            v
for (count = 2; zahl % count != 0 && zahl >= count; count++);

Без цього код не працює належним чином.

Яке пояснення?

Це означає те саме, що:

for(count = 2; zahl % count != 0 && zahl >= count; count++)
{
}

Цикл for має for ключове слово, за яким слідують дужки, що містять три необов’язкові вирази, розділені крапками з комою, а потім тіло, яке виконується на кожній ітерації циклу.

Метою циклу for у вашому прикладі є встановлення значення count, яке буде порівняно з zahlнаступним оператором if. Це досягається у виразах з крапкою з комою, тому тілу циклу не потрібно нічого робити.

Оскільки цикл не повинен нічого робити, він використовує порожній оператор як своє тіло.

Якби ;кінець у кінці було пропущено і ніяких інших змін не було зроблено, тоді оператор if після циклу for сам би став тілом циклу for. (Це не призначено і призведе до порушення програми, як ви вже зазначали.)

Однак зробити ;тему свого циклу єдиним на одному рядку - це не єдиний спосіб написати порожнє тіло циклу, і це, мабуть, не найбільш розумний спосіб це зробити. Це чудово працює, але проблема в тому, що інші читачі - і, можливо, той самий програміст, який повертається до проекту пізніше - можуть задуматися, чи насправді це була помилка. Зрештою, досить часто набирають крапки з комою в кінці рядків під час кодування мовою в стилі С, тому легко ввести додатковий, де він не належить.

Інша проблема полягає в тому, що в коді , де петля одна лінія з , ;як його тіло обраний стиль, що важко розпізнати , коли хто - то на самому справі вже зробив помилку, вважаючи а ;коли один не належить.

Тому ці альтернативи можуть бути кращими:

• ставлячи ;, з відступом, на наступному рядку - як підказує sh1
• запис тіла циклу як порожній блок { }, а не як порожній оператор
• створення тіла циклу continue;заявою, яка просто змушує цикл переходити до наступної ітерації (що те саме, що відбувається, коли тіло циклу порожнє) - також, як пропонує sh1

Крапка з комою в кінці циклу for означає, що вона не має тіла. Без цієї крапки з комою C вважає, що ifоператор - це тіло циклу for.

Синтаксис forциклу ( оператор ітерації ) є

for ( clause-1 ; expression-2 ; expression-3 ) statement 

statementможе бути нульовим твердженням ( ;). C11 6.8.3 говорить

Нульовий оператор (що складається лише з крапки з комою) не виконує жодних операцій.

У параграфі 5 він наводить приклад

У фрагменті програми

char *s;
/* ... */
while (*s++ != '\0')
    ;

null-оператор використовується для подання порожнього тіла циклу до оператора ітерації .

Те саме відбувається в

for (count = 2; zahl % count != 0 && zahl >= count; count++);

;використовується для подання порожнього тіла циклу до forоператора. Без ;оператора поруч із forциклом буде розглядатися його тіло і буде виконано.

На додаток до того, про що вже говорять інші чудові відповіді, я хотів би зазначити це

for(count=2; zahl % count != 0 && zahl >= count; count++);

(тобто forцикл з порожнім оператором, що використовується для збільшення "лічильника") еквівалентний

count=2;
while(zahl % count != 0  && zahl >= count)
{
    count++;
}

це зробило б мету коду ще чіткішою, ніж деякі з перерахованих альтернатив: якщо відсутні коментарі, як у представленому випадку, цикл з порожнім оператором може збити з пантелику іншого програміста, який повинен підтримувати або використовувати код (як це було справа з ОП тут).

Контекст може допомогти розпізнати справжній обсяг висловлювання, але між forциклом з порожнім висловленням та whileциклом з висловлюванням останньому потрібно менше праці, щоб зрозуміти його обсяг.

Цикл ;after forпросто означає, що forцикл не зробить нічого більше, ніж збільшення лічильника count.

forЗаява :

Оператор for - це оператор циклу, структура якого забезпечує легку ініціалізацію змінних, тестування виразів та модифікацію змінних. Це дуже зручно для виготовлення контрольованих петель. Ось загальна форма заяви:

 for (initialize; test; step)
   statement

[...]

Нульова заява :

Затвердження нуль є лише одна точка з коми.

 ;

Нульове твердження нічого не робить. Він ніде не зберігає значення. Це не спричиняє часу, щоб пройти під час виконання вашої програми.

Найчастіше нульовий оператор використовується як тіло оператора циклу або як одне або декілька виразів у операторі for. Ось приклад оператора for, який використовує нульовий оператор як тіло циклу (а також розраховує цілочисельний квадратний корінь з n, для розваги):

 for (i = 1; i*i < n; i++)
   ;

Ось ще один приклад, який використовує оператор null як тіло циклу for, а також видає вихідні дані:

 for (x = 1; x <= 5; printf ("x is now %d\n", x), x++)
   ;

Нульовий вираз також іноді використовується для позначення мітки, яка в іншому випадку була б останньою річчю в блоці.

У вашому випадку, ;це Null заяву про forзаяві :

int func_prim (int zahl) {
  int count;
  if (zahl < 0)
    return -1;

  for (count = 2; zahl % count != 0 && zahl >= count; count++)
    ;
  if (count == zahl)
    return 1;
  return 0;
}

Без цього ifоператор for стає:

int func_prim (int zahl) {
  int count;
  if (zahl < 0)
    return -1;

  for (count = 2; zahl % count != 0 && zahl >= count; count++)
    if (count == zahl)
      return 1;
  return 0;
}

Тому поводяться інакше.

Цикл for існує лише для того, щоб збільшити значення count.

a forцикл буде (зазвичай) є тіло,

де тіло укладено в брекети { }

Однак для окремого тіла оператора фігурні дужки не є обов’язковими.

; є порожнім твердженням.

Поєднуючи вищевикладене, стає очевидним, що forцикл виконується, поки не стане умоваfalse .

Цикл for в основному перебирає всі числа, які менше або дорівнюють, zahlале перевищують 2, і зберігає його у змінній count. Коли він перебирає всі ці числа, він перевіряє, чи zahlділиться на count. Якщо zahlділиться на count, цикл зупиняється. В іншому випадку цикл зупиняється, коли countдорівнює zahl.

Оператор if після циклу for перевіряє, чи countдорівнює zahl. Якщо це так, то це повинно означати, що цикл пройшов через усі числа, менші zahlі більші за 2. Це означає, що zahlділиться на всі числа, менші за нього самого і більші 2, що робить zahlпростими.

Це вказує на твердження, для якого використовується цикл for. Він не може бути порожнім. Принаймні він повинен містити одне твердження. ; - це порожній оператор, для якого зроблена ітерація.