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

Примеры продвинутой управляющей логики

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

Нелокальные выходы

Первый прием продвинутой управляющей логики вам, вероятно, уже знаком: нелокальные выходы. Существует несколько типов нелокальных выходов, каждый из которых можно поделить на две категории: структурированные и неструктурированные. Неструктурированные локальные выходы — это именно то, от чего вас предостерегал преподаватель информатики; например, страшный goto. Но истина состоит в том, что, при разумном и мудром использовании неструктурированные локальные выходы могут быть очень полезны. Например, они могут улучшить читаемость программ со сложной управляющей логикой. Если сложная управляющая логика не обладает естественной структурностью, то навязывание ей какого-либо структурирования ухудшает её читаемость, а не улучшает. Дополнительную информацию касательно «за» и «против» использования gotoсмотрите по ссылкам в разделе Ресурсы далее в этой статье.

Что касается структурированных нелокальных выходов, то вы, видимо, хорошо знакомы с их самым распространенным типом — исключениями. Если же последние 20 лет вы безвылазно занимались программированием на C, Fortran и Cobol, то вот краткое введение в исключения.

Исключение — это способ сообщить об ошибке в коде и локализовать ее. Обычно, если происходит ошибка, нам нужно, чтобы она обрабатывалась, а остальная часть кода бы не выполнялась без явного на то разрешения. В качестве примера рассмотрим простой код на языке Java ™ для работы с базой данных:

Листинг 1. Пример простого кода для работы с базой данных

//Примечание: этот код не скомпилируется, но так оно и задумывалось.
import java.sql.*;
...
public static int testdbcode(Connection conn) {
//Приготовить оператор
PreparedStatement s = conn.prepareStatement(
"select id from test_table where name = ?");
//Установить параметры
s.setString(1, "fred");
//Выполнить запрос
ResultSet rs = s.executeQuery()
//Перейти к первой строке результата
rs.next();
//Получить ответ (первый параметр результата)
int id = rs.getInt(1);

return id;
}
...

Недостаток этого кода в том, что здесь не используется обработка ошибок, а при взаимодействии с базами данных или какими-либо другими внешними компонентами ошибки могут возникать практически на каждом шагу. При этом, получив где-либо в коде ошибку, нет особого смысла продолжать его выполнение. Например, если ошибка произошла при подготовке запроса, то уже нет смысла в дальнейшей установке параметров, выполнении запроса и получении ответа; после первой же ошибки запрос практически провален. Поэтому в Java имеются исключения, позволяющие охватить блок кода, который бы целиком пропускался при появлении ошибки. Чтобы сделать это на Java, код нужно переписать следующим образом:

Листинг 2. Простая функция для работы с базой данных с обработкой исключений

import java.sql.*;
...
public static int testdbcode(Connection conn) {
try {
//Приготовить оператор
PreparedStatement s = conn.prepareStatement(
"select id from test_table where name = ?");
//Установить параметры
s.setString(1, "fred");
//Выполнить запрос
ResultSet rs = s.executeQuery()
//Перейти к первой строке результата
rs.next();
//Получить ответ (первый параметр результата)
int id = rs.getInt(1);

return id;
} catch (Exception e) {
//Здесь следует код обработки ошибок
return -1;
}
}
...

Код в блоке try исполняется до тех пор, пока не закончится, либо один из операторов не приведет к ошибке. Если возникаетошибка, оставшийся код в блоке try пропускается и выполняется код в блоке catch , где информация об исключении хранится в переменной e . В Java выдаваемые ошибки сами по себе являются полноценными классами, поэтому в исключении можно разместить любое количество информации. На практике можно создать несколько блоков catch , каждый из которых обрабатывает отдельный класс исключений.