Чтение онлайн

Вы, без сомнения, знаете, чем является

: передачей потока управления на метку где-то в текущей функции. Операторы при скупом употреблении могут послужить удобочитаемости и правильности функции (Например, когда все проверки ошибок используют для перехода на метку в конце функции, такую, как , код с этой меткой проводит очистку [закрывая файлы и т.п.] и возвращается.) При плохом использовании операторы могут привести к так называемой «лапше» в коде, логику которого становится невозможно отследить.

Оператор

в языке С ограничен переходом на метку в текущей функции. Многие языки в семействе Алгола, такие, как Паскаль, допускают использование для выхода из вложенной функции в предшествующую вызывающую функцию. Однако в С нет способа, в пределах синтаксиса самого языка, перейти в определенную точку другой функции, пусть даже и вызывающей. Такой переход называется нелокальным переходом.

Почему полезен нелокальный переход? Рассмотрите интерактивную программу, которая считывает и выполняет программы. Предположим, пользователь запускает длительное задание, разочаровывается или меняет мнение о данном задании и нажимает CTRL-С для генерирования сигнала

. Когда запускается обработчик сигнала, он может перейти обратно в начало главного цикла чтения и обработки команд. Строковый редактор ed представляет простой пример этого:

Внутри себя

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

Нелокальные переходы осуществляются с помощью функций

и . Эти функции используются в двух разновидностях. Традиционные процедуры определены стандартом ISO С:

Тип

определен через в . сохраняет текущее «окружение» в . обычно является глобальной или статической на уровне файла переменной, так что она может использоваться из вызванной функции. Это окружение включает любую информацию, необходимую для перехода на местоположение, из которого была вызвана . Содержание по своей природе машинно-зависимо; таким образом, является непрозрачным типом: тем, что вы используете, не зная, что находится внутри него.

возвращает 0, когда она вызывается для сохранения в текущего окружения. Ненулевое значение возвращается, когда с использованием окружения осуществляется нелокальный переход:

осуществляет переход. Первым параметром является , который должен быть инициализирован с помощью . Второй является целым ненулевым значением, которое возвращает в первоначальное окружение. Это сделано так, что код, подобный только что показанному, может различить установку окружения и прибытие путем нелокального перехода.

Стандарт С утверждает, что даже если

вызывается со вторым аргументом, равным 0, по-прежнему возвращает ненулевое значение. В таком случае она возвращает 1.

Возможность передать целое значение и вернуться обратно из

полезна; это позволяет коду уровня пользователя различать причину перехода. Например, использует эту возможность для обработки операторов и внутри циклов. (Язык awk осознанно сделан похожим на С в своем синтаксисе для циклов, с использованием , , , и .) Использование выглядит следующим образом (из в дистрибутиве 3.1.3):