Операторы перехода
Наиболее известным в данной группе операторов является оператор безусловного перехода goto. Если ко всем или некоторым уже имеющимся операторам программы добавить метки, то в программе становится возможным использовать оператор перехода вида:
goto <метка>
Метка в данном случае соответствует началу того оператора, с которого должно продолжиться выполнение программы. Такой оператор позволяет записывать в языке программирования алгоритмы, имеющие сколь угодно сложную структуру. Но зачастую использование безусловного перехода неоправданно, т.к. ведет к запутанной, плохо читаемой программе. Практически единственным осмысленным применением оператора goto является выход сразу из нескольких вложенных циклов, например, при обработке двухмерных массивов.
Пример 4. Пусть нам требуется определить, есть ли в двухмерном массиве a элемент, равный 0:
b := false;
for i := 1 to N do
for j := 1 to N do
if a[i,j] = 0 then begin
b := true;
goto 1
end;
1: if b then write('есть') else write('нет');
Программа, разработанная по правилам структурного программирования, не должна содержать операторов безусловного перехода. Приведенную выше программу без использования оператора goto можно переписать следующим образом:
b := false;
i := 0;
while not b and (i < N) do begin
i := i + 1
j := 0;
while not b and (j < N) do begin
j := j + 1
if a[i,j] = 0 then b := true;
end;
end;
if b then write('есть') else write('нет');
В данном случае структурная программа менее наглядна, чем программа с goto.
В языках программирования могут быть определены и другие операторы перехода. Например, в языке Pascal: break (досрочное прерывание цикла, переход на оператор, который должен выполняться после завершения цикла),continue (досрочное завершение текущей итерации цикла и переход к следующей), exit (досрочное прерывание подпрограммы, выход из нее), halt(досрочное прерывание программы, переход на ее конец). Аналогичные операторы существуют и в языках С, С++, Java.
Составной оператор
Составной оператор — это группа операторов, заключенных в операторные скобки (в Pascal — begin … end; в C, C++ — {…}).
Составной оператор введен в языки программирования для облегчения описания конструкций языка. Так, например, в Pascal исполняемая часть каждого блока (программа, процедура, функция) представляет собой один составной оператор. Ровно так же тело любого оператора цикла состоит только из одного оператора, быть может, составного. Альтернативой составному оператору может быть служебное слово, обозначающее окончание того или иного оператора, например, END IF в языке Basic.