|
Управление потоком
3.5. Циклы - WHILE и FOR
Мы уже сталкивались с операторами цикла while и for. В конструкции
while (выражение) оператор
вычисляется выражение. Если его значение отлично от нуля, то выполняется оператор и выражение вычисляется снова. Этот цикл продолжается до тех пор, пока значение выражения не станет нулем, после чего выполнение программы продолжается с места после оператора.
Оператор for (выражение 1; выражение 2; выражение 3) оператор
эквивалентен последовательности
выражение 1; while (выражение 2) { оператор выражение 3; }
Грамматически все три компонента в for являются выражениями. Наиболее распространенным является случай, когда выражение 1 и выражение 3 являются присваиваниями или обращениями к функциям, а выражение 2 - условным выражением. любая из трех частей может быть опущена, хотя точки с запятой при этом должны оставаться. Если отсутствует выражение 1 или выражение 3, то оно просто выпадает из расширения. Если же отсутствует проверка, выражение 2, то считается, как будто оно всегда истинно, так что
for (;;) { ... }
является бесконечным циклом, о котором предполагается, что он будет прерван другими средствами (такими как break или return ).
Использовать ли while или for - это, в основном дело вкуса. Например в
while ((c = getchar()) == ' ' || c == '\n' || c == '\t') ; /* skip white space characters */
нет ни инициализации, ни реинициализации, так что цикл while выглядит самым естественным.
Цикл for, очевидно, предпочтительнее там, где имеется простая инициализация и реинициализация, поскольку при этом управляющие циклом операторы наглядным образом оказываются вместе в начале цикла. Это наиболее очевидно в конструкции
for (i = 0; i < n; i++)
которая является идиомой языка "C" для обработки первых n элементов массива, аналогичной оператору цикла do в фортране и PL/1. Аналогия, однако, не полная, так как границы цикла могут быть изменены внутри цикла, а управляющая переменная сохраняет свое значение после выхода из цикла, какова бы ни была причина этого выхода. Поскольку компонентами for могут быть произвольные выражения, они не ограничиваются только арифметическими прогрессиями. Тем не менее является плохим стилем включать в for вычисления, которые не относятся к управлению циклом, лучше поместить их в управляемые циклом операторы.
В качестве большего по размеру примера приведем другой вариант функции atoi, преобразующей строку в ее численный эквивалент. Этот вариант является более общим; он допускает присутствие в начале символов пустых промежутков и знака + или -. (В "лекции 4" приведена функция atof, которая выполняет то же самое преобразование для чисел с плавающей точкой).
Общая схема программы отражает форму поступающих данных:
- пропустить пустой промежуток, если он имеется
- извлечь знак, если он имеется
- извлечь целую часть и преобразовать ее
Каждый шаг выполняет свою часть работы и оставляет все в подготовленном состоянии для следующей части. Весь процесс заканчивается на первом символе, который не может быть частью числа.
atoi(s) /* convert s to integer */ char s[]; { int i, n, sign; for(i=0;s[i]==' ' || s[i]=='\n' || s[i]=='\t';i++) ; /* skip white space */ sign = 1; if(s[i] == '+' || s[i] == '-') /* sign */ sign = (s[i++]=='+') ? 1 : - 1; for( n = 0; s[i] >= '0' && s[i] <= '9'; i++) n = 10 * n + s[i] - '0'; return(sign * n); }
Преимущества централизации управления циклом становятся еще более очевидными, когда имеется несколько вложенных циклов. Следующая функция сортирует массив целых чисел по методу Шелла. Основная идея сортировки по шеллу заключается в том, что сначала сравниваются удаленные элементы, а не смежные, как в обычном методе сортировки. Это приводит к быстрому устранению большой части неупорядоченности и сокращает последующую работу. Интервал между элементами постепенно сокращается до единицы, когда сортировка фактически превращается в метод перестановки соседних элементов.
shell(v, n) /* sort v[0]...v[n-1] into increasing order */ int v[], n; { int gap, i, j, temp; for (gap = n/2; gap > 0; gap /= 2) for (i = gap; i < n; i++) for (j=i-gap; j>=0 && v[j]>v[j+gap]; j-=gap) { temp = v[j]; v[j] = v[j+gap]; v[j+gap] = temp; } }
Здесь имеются три вложенных цикла. Самый внешний цикл управляет интервалом между сравниваемыми элементами, уменьшая его от n/2 вдвое при каждом проходе, пока он не станет равным нулю. Средний цикл сравнивает каждую пару элементов, разделенных на величину интервала; самый внутренний цикл переставляет любую неупорядоченную пару. Так как интервал в конце концов сводится к единице, все элементы в результате упорядочиваются правильно. Отметим, что в силу общности конструкции for внешний цикл укладывается в ту же самую форму, что и остальные, хотя он и не является арифметической прогрессией.
Последней операцией языка "C" является запятая ",", которая чаще всего используется в операторе for. Два выражения, разделенные запятой, вычисляются слева направо, причем типом и значением результата являются тип и значение правого операнда. Таким образом, в различные части оператора for можно включить несколько выражений, например, для параллельного изменения двух индексов. Это иллюстрируется функцией reverse(s), которая располагает строку s в обратном порядке на том же месте.
reverse(s) /* reverse string s in place */ char s[]; { int c, i, j; for(i = 0, j = strlen(s) - 1; i < j; i++, j--) { c = s[i]; s[i] = s[j]; s[j] = c; } }
Запятые, которые разделяют аргументы функций, переменные в описаниях и т.д., не имеют отношения к операции запятая и не обеспечивают вычислений слева направо.
Упражнение 3-2
Составьте программу для функции expand(s1,s2), которая расширяет сокращенные обозначения вида а-z из строки s1 в эквивалентный полный список авс...xyz в s2. Допускаются сокращения для строчных и прописных букв и цифр. Будьте готовы иметь дело со случаями типа а-в-с, а-z0-9 и - а-z. (Полезное соглашение состоит в том, что символ -, стоящий в начале или конце, воспринимается буквально).