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

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

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

, и , а не непосредственные числа. Однако эти вызовы функций возвращают отрицательные числа, присвоенные переменным и . Можно ли принять эти ошибочные результаты, противоречащие законам математики и физики? Если нет, то где следует искать ошибку: в модуле, вызвавшем функцию , или в самой функции? И какое сообщение об ошибке следует выдать?

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

в приведенном выше коде. Оно выглядит довольно невинно. Вы заметили, что с этим кодом что-то не так? Если нет, посмотрите снова: переменная будет равна , поэтому в выражении возникает деление на нуль. Это приводит к ошибке, обнаруживаемой аппаратным обеспечением, которое прекращает выполнение программы, выдав на экран довольно непонятное сообщение. Вы и ваши пользователи будете сталкиваться с такими проблемами постоянно, если не научитесь выявлять и исправлять ошибки, возникающие на этапе выполнения программы. Большинство людей нервно реагируют на такие сообщения аппаратного обеспечения, так как им сложно понять, что происходит, когда на экране появляется сообщение вроде “Что-то пошло не так!” Этого недостаточно для того, чтобы предпринять какие-то конструктивные действия, поэтому пользователи злятся и проклинают программиста, написавшего такую программу.

Итак, попробуем разобраться с ошибкой, связанной с вызовом функции

. Существуют две очевидные альтернативы.

1. Следует исправить ошибку в модуле, вызывающем функцию

.

2. Позволить функции

(вызываемой функции) выполнять вычисления с неправильными аргументами.

Сначала рассмотрим первую альтернативу (“Берегись, пользователь!”). Именно ее нам следовало бы принять, например, если бы функция

была библиотечной функцией, которую невозможно модифицировать. Как бы то ни было, эта ситуация является самой распространенной.

Предотвратить ошибку при вызове функции

в модуле относительно просто:

Действительно, остается только решить, что делать, обнаружив ошибку. Здесь мы решили вызвать функцию

, которая должна сделать что-то полезное. В заголовочном файле действительно описана функция , которая по умолчанию останавливает выполнение программы, сопровождая это сообщением системы и строкой, которая передается как аргумент функции . Если вы предпочитаете писать свои собственные сообщения об ошибках или предпринимать другие действия, то можете перехватывать исключение (разделы 5.6.2, 7.3, 7.8, Б.2.1). Этого достаточно для большинства несложных программ.

Если не хотите получать сообщения об ошибках в каждом из аргументов, то код можно упростить.

Для того чтобы полностью защитить функцию

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

Это не только запутанно, но и неверно в принципе. Такой код можно написать, лишь точно зная, как функция

использует функцию .