Составной оператор (или блок)
С тем, чтобы допустить возможность использования нес-кольких операторов там, где ожидается присутствие толькоодного, предусматривается составной оператор (который такженазывают "блоком"): составной оператор: {список _ описаний список _ операторов} необ необ список _ описаний: описание описание список _ описаний список _ операторов: оператор оператор список _ операторов Если какой-либо идентификатор из списка _ описаний был описан -34- ранее, то во время выполнения блока внешнее описание подав-ляется и снова вступает в силу после выхода из блока. Любая инициализация автоматических и регистровых пере-менных проводится при каждом входе в блок через его начало.В компиляторе ОС ДЕМОС разрешается (но это плохая практика)передавать управление внутрь блока; в таком случае эти ини-циализации не выполняются. Инициализации статических пере-менных проводятся только один раз, когда начинается выполне-ние программы. Находящиеся внутри блока внешние описания не резерви-руют памяти, так что их инициализация не разрешается.Условные операторы
|
|
Оператор while
Оператор while имеет форму while (выражение) оператор Подоператор выполняется повторно до тех пор, пока значениевыражения остается отличным от нуля. Проверка производитсяперед каждым выполнением оператора.Оператор do
Оператор do имеет форму do оператор while (выражение) Оператор выполняется повторно до тех пор, пока значениевыражения не станет равным нулю. Проверка производится послекаждого выполнения оператора.Оператор for
Оператор for имеет форму (выражение1; выражение2; выражение3) оператор необ необ необ -35- Оператор for эквивалентен следующему: выражение1; while (выражение2) { оператор выражение3; } Таким образом, первое выражение определяет инициализациюцикла; второе специфицирует проверку, выполняемую перед каж-дой итерацией, так что выход из цикла происходит тогда,когда значение выражения становится нулем; третье выражениечасто задает приращение параметра, который вычисляется послекаждой итерации. Любое выражение или все они могут быть опущены. Еслиотсутствует второе выражение, то предложение с while счита-ется эквивалентным while (1); другие отсутствующие выраженияпросто опускаются из приведенного выше расширения.Оператор switch
|
|
Оператор 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. Областью действия меткиявляется данная функция, за исключением тех подблоков, вкоторых тот же идентификатор описан снова.Пустой оператор
|
|
* 7. ВНЕШНИЕ ОПРЕДЕЛЕНИЯ
Си-программа представляет собой последовательностьвнешних определений. Внешнее определение описывает идентифи-катор как имеющий класс памяти extern (по умолчанию), или,возможно, static, и специфицированный тип. Спецификатор типатакже может быть пустым; в этом случае считается, что типявляется типом int. Область действия внешних определенийраспространяется до конца файла, в котором они приведены,точно так же, как влияние описаний простирается до концаблока. Синтаксис внешних определений не отличается от син-таксиса описаний, за исключением того, что только на этомуровне можно приводить текст функций.