Создание новых структурных операторов

Оператор Goto.

Введение в машинно-ориентированное (ссылочное) программирование.

Синтаксис: goto k, где k – метка (имя, указатель) на некоторый оператор программы, соответствующее обозначение оператора. Выглядит как k:S.

В стандартном Паскале метками могут являться натуральные числа (не связаны с характером выполняемых действий). Все метки обязаны быть объявлены в программе в специальной области label. В стандартном Паскале это самая первая область объявлений, то есть до const.

Неформальная семантика: «Я нарушаю естественный ход выполнения программы, после меня выполняется не следующий оператор, а оператор, помеченный соответствующей меткой».

Разбор случаев (нечто вроде case):

B₁:S₁;

…….

B_n:S_n

иначе S_n+1

где B_i – условие (предикат), S_i – оператор.

S₁

S₂

···

		Sn

S_n+1

if B₁ then S₁;

goto 1;

if B₂ then S₂;

goto 1;

…………..

if B_n then S_n

else S_n+1

1: {оператор}

Другой вариант: вложенный if.

c:char;

read(c);{чтение цифры}

if not c in [‘0’..’9’] then

begin

write(‘ожидалась цифра’);

goto 1;

end;

1:end;

Все подобные естественные использования goto в развитых языках программирования возлагаются на новые операторы с отличным синтаксисом.

Третий пример: программирование неструктурных алгоритмов.

while uslovie1 and uslovie2 do

begin

{что-то}

{проверка условия uslovie1}

if not uslovie1 then goto 1;{побочный выход из цикла}

{проверка условия uslovie2}

end;

В целом использование goto свидетельствует о плохом стиле программирования.

Дата добавления: 2014-01-05