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

Примечание

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

gcc -Wall -pedantic -ansi

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

Wall

. Она генерирует полезную информацию при обнаружении ошибок в программе.

Чуть позже мы кратко обсудим и другие средства,

и . Как и компилятор, они анализируют код и сообщают о фрагментах кода, которые могут быть некорректными.

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

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

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

Вы можете компилировать программу с флагом компилятора

для определения символического имени и включения дополнительного кода и без этого флага — для удаления отладочного кода. Можно создать и более сложный вариант использования пронумерованных отладочных макросов:

В этом случае вы всегда должны определять макрос

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

Несколько макросов, определенных препроцессором С, могут предоставить отладочную информацию. Эти макросы раскрываются для предоставления сведений о текущей компиляции (табл. 10.1).

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

Таблица 10.1

Макрос	Описание
__LINE__	Десятичная константа, предоставляющая номер текущей строки
__FILE__	Строка, предоставляющая имя текущего файла
__DATE__	Строка в форме "ммм дд гггг", текущая дата
__TIME__	Строка в форме "чч:мм:сс", текущее время

Выполните упражнение 10.1.

Далее приведена программа cinfo.c, которая выводит дату и время компиляции, если включен режим отладки.

Когда вы откомпилируете эту программу с включенным режимом отладки (используя флаг

), то увидите следующие сведения о компиляции: