6.5. Операторы передачи управления

Кроме оператора безусловного перехода (иначе – оператора безусловной

передачи управления goto) к операторам передачи управления относят: оператор

возврата из метода return; оператор выхода из цикла или переключателя break;

оператор перехода к следующей итерации цикла continue; оператор посылки

исключения throw.

Оператор return подробно рассмотрим, перейдя к методам (функциям).

Оператор throw требует хорошего понимания механизма генерации и обработки

исключений, поэтому знакомство с ним нужно отложить. Поэтому сейчас

остановимся на операторах break, continue и goto.

Оператор break

"оператор:оператор break"

служит для принудительного

выхода из цикла или переключателя. Определение "принудительный" подчеркивает

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

рассматриваются условия дальнейшего продолжения итераций. Оператор break

прекращает выполнение оператора цикла или переключателя и осуществляет

передачу управления (переход) к следующему за циклом или переключателем

оператору. При этом в отличии от перехода с помощью goto оператор, к которому

выполняется передача управления, может быть не помечен. Оператор break нельзя

использовать нигде, кроме циклов и переключателей.

Необходимость в использовании оператора break в теле цикла возникает,

когда условия продолжения итераций нужно проверять не в начале итерации (циклы

for, while), не в конце итерации (цикл do), а в середине тела цикла. В этом случае

тело цикла может иметь такую структуру:

{ операторы

If (условие) break;

операторы

}

Например, если начальные значения целых переменных i, j таковы, что i < j, то

следующий цикл определяет наименьшее целое, не меньшее их среднего

арифметического:

while (i < j) { i++; if (i == j) break; j--; }

Для i == 0, j == 3 результат i == j == 2 достигается при выходе из цикла с

помощью оператора break. (Запись i == j == 2 не в тексте программы означает

равенство значений переменных i, j и константы 2.) Для i == 0 и j == 2 результат i

== j == 1 будет получен при естественном завершении цикла.

Как уже упомянуто, циклы могут быть многократно вложенными. Однако,

следует помнить, что оператор break позволяет выйти только из того цикла, в

котором он размещен. При многократном вложении циклов оператор break не может вызвать

передачу управления из самого внутреннего уровня непосредственно на самый внешний. Например, при

решении задачи поиска в матрице хотя бы одного элемента с заданным значением, когда цикл перебора

элементов строки вложен в цикл перебора строк, удобнее пользоваться не оператором break, а

оператором безусловной передачи управления goto.

В качестве примера, когда при вложении циклов целесообразно применение

оператора break, назовём задачу вычисления произведений элементов отдельных

строк матрицы. Задача требует вложения циклов. Во внешнем выбирается

очередная строка, во внутреннем – вычисляется произведение её элементов.

Вычисление произведения элементов строки можно прервать, если один из

сомножителей окажется равным 0. При появлении в строке нулевого элемент

а

оператор break прерывает выполнение только внутреннего цикла, однако внешний

цикл перебора строк выполнится для всех строк.

Оператор безусловного перехода

"оператор:оператор безусловного

перехода" , который мы рассмотрели в связи с метками и переключателем, имеет

вид:

goto идентификатор;

где идентификатор – имя метки оператора, расположенного в той же

функции, где используется оператор безусловного перехода.

Принятая в настоящее время дисциплина программирования рекомендует либо

вовсе отказаться от оператора goto, либо свести его применение к минимуму и

строго придерживаться следующих рекомендаций:

не входить внутрь блока извне (компилятор C# этого не позволит – сообщит об

ошибке);

не входить внутрь условного оператора, т.е. не передавать управление операторам,

размещенным после служебных слов if или else;

не входить извне внутрь переключателя (компилятор C# сообщит об ошибке);

не передавать управление внутрь цикла.

Следование перечисленным рекомендациям позволяет исключить возможные

нежелательные последствия бессистемного использования оператора безусловного

перехода. Полностью отказываться от оператора goto вряд ли стоит. Есть случаи,

когда этот оператор обеспечивает наиболее простые и понятные решения. Один из

них – это ситуация, когда нужно выйти из нескольких вложенных друг в друга

циклов или переключателей. Оператор break здесь не поможет, так как он

обеспечивает выход только из самого внутреннего вложенного цикла или

переключателя.

Оператор continue

"оператор:оператор continue" (оператор перехода к

следующей итерации) употребляется только в операторах цикла. С его помощью

завершается текущая итерация и начинается проверка условия возможности

дальнейшего продолжения цикла, т.е. условия начала следующей итерации. Для

объяснений действия оператора continue рекомендуется рассматривать операторы

цикла в следующем виде:

while (foo) { do { for (;foo;) {

... ... ...

contin: ; contin: ; contin: ;

} } while (foo); }

В каждой из форм многоточием обозначены операторы тела цикла. Вслед за

ними размещен пустой оператор с меткой contin. Если среди операторов тела цикла

есть оператор continue и он выполняется, то его действие эквивалентно оператор

у

безусловного перехода на метку contin.

Пример

использования

оператора

continue.

Вводя

с

клавиатуры

последовательность

вещественных

чисел

,

подсчитать

сумму

только

положительных. Окончанием ввода последовательности считать ввод нулевого

значения.

// 06_04.cs - оператор перехода к следующей итерации

using System;

class Program

{

static void Main() {

double sum = 0, x;

do { Console.Write("x = ");

x = Double.Parse(Console.ReadLine());

if (x < 0) continue;

sum += x;

}

while (x != 0);

Console.WriteLine("Сумма = "+sum);

}

}

Результат выполнения программы:

x = 2<ENTER>

x = -4<ENTER>

x = 6<ENTER>

x = 0<ENTER>

Сумма = 8

Напомним, что без обработки исключений применение метода Parse() делает

программу незащищённой от синтаксических ошибок во вводимых исходных

данных.