2015-10-22
616
Составной оператор (или блок)
С тем, чтобы допустить возможность использования нес-кольких операторов там, где ожидается присутствие толькоодного, предусматривается составной оператор (который такженазывают "блоком"): составной оператор: {список _ описаний список _ операторов} необ необ список _ описаний: описание описание список _ описаний список _ операторов: оператор оператор список _ операторов Если какой-либо идентификатор из списка _ описаний был описан -34- ранее, то во время выполнения блока внешнее описание подав-ляется и снова вступает в силу после выхода из блока. Любая инициализация автоматических и регистровых пере-менных проводится при каждом входе в блок через его начало.В компиляторе ОС ДЕМОС разрешается (но это плохая практика)передавать управление внутрь блока; в таком случае эти ини-циализации не выполняются. Инициализации статических пере-менных проводятся только один раз, когда начинается выполне-ние программы. Находящиеся внутри блока внешние описания не резерви-руют памяти, так что их инициализация не разрешается.Условные операторы
Имеются две формы условных операторов: if (выражение) оператор if (выражение) оператор else оператор В обоих случаях вычисляется выражение и, если оно отлично отнуля, то выполняется первый подоператор. Во втором случае,если выражение равно нулю, выполняется второй подоператор.Как обычно, двусмысленность else разрешается связыванием else с последним встречающимся if, у которого нет else.Оператор while
Оператор while имеет форму while (выражение) оператор Подоператор выполняется повторно до тех пор, пока значениевыражения остается отличным от нуля. Проверка производитсяперед каждым выполнением оператора.Оператор do
Оператор do имеет форму do оператор while (выражение) Оператор выполняется повторно до тех пор, пока значениевыражения не станет равным нулю. Проверка производится послекаждого выполнения оператора.Оператор for
Оператор for имеет форму (выражение1; выражение2; выражение3) оператор необ необ необ -35- Оператор for эквивалентен следующему: выражение1; while (выражение2) { оператор выражение3; } Таким образом, первое выражение определяет инициализациюцикла; второе специфицирует проверку, выполняемую перед каж-дой итерацией, так что выход из цикла происходит тогда,когда значение выражения становится нулем; третье выражениечасто задает приращение параметра, который вычисляется послекаждой итерации. Любое выражение или все они могут быть опущены. Еслиотсутствует второе выражение, то предложение с while счита-ется эквивалентным while (1); другие отсутствующие выраженияпросто опускаются из приведенного выше расширения.Оператор switch
Оператор switch (переключатель), вызывает передачууправления к одному из нескольких операторов, в зависимостиот значения выражения. Оператор имеет форму switch (выражение) оператор В выражении проводятся обычные арифметические преобразова-ния, результат должен иметь тип int. Оператор обычно явля-ется составным. Любой оператор внутри этого оператора можетбыть помечен одним или более вариантным префиксом case, име-ющим форму: case константное выражение: Где константное выражение должно иметь тип int. Никакие двевариантные константы в одном и том же переключателе не могутиметь одинаковое значение. Точное определение константноговыражения приводится ниже. Кроме того, может присутствовать один операторный пре-фикс вида default: При выполнении оператора switch вычисляется входящее внего выражение и сравнивается с каждой вариантной констан-той. Если одна из вариантных констант оказывается равнойзначению этого выражения, то управление передается опера-тору, который следует за совпадающим вариантным префиксом.Если ни одна из вариантных констант не совпадает со -36- значением выражения и если при этом присутствует префикс default, то управление передается оператору, помеченномуэтим префиксом. Если ни один из вариантов не подходит и пре-фикс default отсутствует, то ни один из операторов в перек-лючателе не выполняется. Сами по себе префиксы case и default не изменяют выпол-нения программы, программа выполняется последовательно, покане встретится явная передача управления. Для выхода изпереключателя имеется оператор break (п.0.8). Обычно оператор, который входит в переключатель, явля-ется составным. Описания могут появляться в начале этогооператора, но инициализации автоматических и регистровыхпеременных будут неэффективными. Пример: switch (regim) { case ' x ': regx++; case ' X ': case ' Y ': regY++; break; case '-': regx = 0; break; default: err ("Ошибка"); goto next; }Оператор break
Оператор break; вызывает завершение выполнения наименьшего охватывающегоэтот оператор оператора while, do, for или switch; управле-ние передается оператору, следующему за завершенным операто-ром.Оператор continue
Оператор continue; приводит к передаче управления на продолжающую цикл частьнаименьшего охватывающего этот оператор оператора while, do или for; то есть на конец цикла. Более точно, в каждом изоператоров while (...) { | do { | for (...) {... |... |... contin:; | contin:; | contin:; } | } while (...); | } -37- оператор continue эквивалентен оператору goto contin. (За contin: следует пустой оператор; см. п. 0.13.).Оператор возврата
Возвращение из функции в вызывающую программу осуществ-ляется с помощью оператора return, который имеет одну изследующих форм return; return выражение; В первом случае возвращаемое значение неопределено. Во вто-ром случае в вызывающую функцию возвращается значение выра-жения. Если требуется, выражение преобразуется к типу функ-ции, в которой оно появляется, как в случае присваивания.Попадание на конец функции эквивалентно возврату без возвра-щаемого значения. Возвращать можно значение арифметического типа, а такжеструктуру (но не массив).Оператор goto
Управление можно передавать безусловно с помощью опера-тора goto идентификатор1 Идентификатор должен быть меткой (п. 0.12), локализованной вданной функции.Помеченный оператор
Перед любым оператором может стоять метка, имеющая вид: идентификатор: Метки используются только для указания места, куда переда-ется управление оператором goto. Областью действия меткиявляется данная функция, за исключением тех подблоков, вкоторых тот же идентификатор описан снова.Пустой оператор
Пустой оператор имеет форму:; Пустой оператор оказывается полезным, так как он позволяетпоставить метку перед закрывающей скобкой } составного опе-ратора или указать пустое тело в операторах цикла, таких как while. -38-* 7. ВНЕШНИЕ ОПРЕДЕЛЕНИЯ
Си-программа представляет собой последовательностьвнешних определений. Внешнее определение описывает идентифи-катор как имеющий класс памяти extern (по умолчанию), или,возможно, static, и специфицированный тип. Спецификатор типатакже может быть пустым; в этом случае считается, что типявляется типом int. Область действия внешних определенийраспространяется до конца файла, в котором они приведены,точно так же, как влияние описаний простирается до концаблока. Синтаксис внешних определений не отличается от син-таксиса описаний, за исключением того, что только на этомуровне можно приводить текст функций.
