WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 || 3 | 4 |

«Б.В. Керниган, Д.М. Ричи. ...»

-- [ Страница 2 ] --

Как и можно было ожидать, цикл DO-WHILE используется значительно реже, чем WHILE и FOR, составляя примерно пять процентов от всех циклов. Тем не менее, иногда он оказывается полезным, как, например, в следующей функции ITOA, кото рая преобразует число в символьную строку (обратная функции ATOI). Эта задача оказывается несколько более сложной, чем может показаться сначала. Дело в том, что простые методы выделения цифр генерируют их в неправильном порядке. Мы пред почли получить строку в обратном порядке, а затем обратить ее.

ITOA(N,S) /*CONVERT N TO CHARACTERS IN S */ CHAR S[];

INT N;

INT I, SIGN;

IF ((SIGN = N) < 0) /* RECORD SIGN */ N = -N;

/* MAKE N POSITIVE */ I =0;

DO /* GENERATE DIGITS IN REVERSE ORDER */ S[I++] = N%10 + '0';

/* GET NEXT DIGIT */ WHILE((N/=10) > 0);

/* DELETEIT */ IF (SIGN < 0) S[I++] = '-' S[I] = '\0';

REVERSE(S);

Цикл DO-WHILE здесь необходим, или по крайней мере удобен, поскольку, каково бы ни было значение N, массив S должен содержать хотя быодин символ. Мы заключили в фигурные скобки один оператор, составляющий тело DO-WHILе, хотя это и не обязательно, для того, чтобы торопливый читатель не принял часть WHILE за начало оператора цикла WHILE.

Упражнение 3-3.

При представлении чисел в двоичном дополнительном коде наш вариант ITOA не справляется с наибольшим отрицательным числом, т.е. Со значением N рAвным -2 в степени м-1, где м — размер слова. объясните почему. Измените программу так, что бы она правильно печатала это значение на любой машине.

Упражнение 3-4.

Б.В. Керниган, Д.М. Ричи. Язык С.

Напишите аналогичную функцию ITOB(N,S), которая преобразует целое без знака N в его двоичное символьное представление в S. Запрограммируйте функцию ITOH, которая преобразует целое в шестнадцатеричное представление.

Упражнение 3-5.

Напишите вариант Iтоа, который имеет три, а не два аргумента. Третий аргумент — минимальная ширина поля;

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

3.7. Оператор BREAK Иногда бывает удобным иметь возможность управлять выходом из цикла иначе, чем проверкой условия в начале или в конце. Оператор BRеак позволяет выйти из операторов FOR, WHILE и DO до окончания цикла точно так же, как и из перек лючателя. Оператор BRеак приводит к немедленному выходу из самого внутреннего охватывающего его цикла (или переключателя).

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

#DEFINE MAXLINE MAIN() /* REMOVE TRAILING BLANKS AND TABS */ INT N;

CHAR LINE[MAXLINE];

WHILE ((N = GETLINE(LINE,MAXLINE)) > 0) WHILE (--N >= 0) IF (LINE[N] != ' ' && LINE[N] != '\T' && LINE[N] != '\N') BREAK;

LINE[N+1] = '\0';

PRINTF("%S\N",LINE);

Функция GETLINE возвращает длину строки. Внутренний цикл начинается с последнего символа LINE (напомним, что --N уменьшает N до использования его значения) и движется в обратном направлении в поиске первого символа, который отличен от пробела, табуляции или новой строки. Цикл прерывается, когда либо найден такой символ, либо N становится отрицательным (т.е., когда просмотрена вся строка). Советуем вам убедиться, что такое поведение правильно и в том случае, когда строка состоит только из символов пустых промежутков.

В качестве альтернативы к BRеак можно ввести проверку в сам цикл:

WHILE ((N = GETLINE(LINE,MAXLINE)) > 0) WHILE (--N >= Б.В. Керниган, Д.М. Ричи. Язык С.

&& (LINE[N] == ' ' \!\! LINE[N] == '\T' \!\! LINE[N] == '\N')) ;

...

Это уступает предыдущему варианту, так как проверка становится труднее для понимания. Проверок, которые требуют переплетения &&, \!\!, ! И круглых скобок, по возможности следует избегать.

3.8. Оператор CONTINUE Оператор CONTINUE родственен оператору BRеак, но используется реже;

он приводит к началу следующей итерации охватывающего цикла (FOR, WHILE, DO). В циклах WHILE и DO это означает непосредственный переход к выполнению проверочной части;

в цикле FOR управление передается на шаг реинициализации.

(Оператор CONTINUE применяется только в циклах, но не в переключателях.

Оператор CONTINUE внутри переключателя внутри цикла вызывает выполнение следующей итерации цикла).

В качестве примера приведем фрагмент, который обрабатывает только положительные элементы массива а;

отрицательные значения пропускаются.

FOR (I = 0;

I < N;

I++) IF (A[I] < 0) /* SKIP NEGATIVE ELEMENTS */ CONTINUE;

... /* DO POSITIVE ELEMENTS */ Оператор CONTINUE часто используется, когда последующая часть цикла оказывается слишком сложной, так что рассмотрение условия, обратного проверяемому, приводит к слишком глубокому уровню вложенности программы.

Упражнение 3-6.

Напишите программу копирования ввода на вывод, с тем исключением, что из каждой группы последовательных одинаковых строк выводится только одна. (Это простой вариант утилиты UNIQ систем UNIX).

3.9. Оператор GOTO иметки В языке "C" предусмотрен и оператор GOTO, которым бесконечно злоупотребляют, и метки для ветвления. С формальной точки зрения оператор GOTO никогда не является необходимым, и на практике почти всегда можно обойтись без него. Мы не использовали GOTO в этой книге.

Тем не менее, мы укажем несколько ситуаций, где оператор GOTO может найти свое место. Наиболее характерным является его использование тогда, когда нужно прервать выполнение в некоторой глубоко вложенной структуре, например, выйти Б.В. Керниган, Д.М. Ричи. Язык С.

сразу из двух циклов. Здесь нельзя непосредственно использовать оператор BRеак, так как он прерывает только самый внутренний цикл. Поэтому:

FOR (... ) FOR (... )...

IF (DISASTER) GOTO ERROR;

...

ERROR:

CLEAN UP THE MESS Если программа обработки ошибок нетривиальна и ошибки могут возникать в нескольких местах, то такая организация оказывается удобной. Метка имеет такую же форму, что и имя переменной, и за ней всегда следует двоеточие. Метка может быть приписана к любому оператору той же функции, в которой находится оператор GOTO.

В качестве другого примера рассмотрим задачу нахождения первого отрицательного элемента в двумерном массиве. (Многомерные массивы рассматриваются в главе 5). Вот одна из возможностей:

FOR(I = 0;

I < N;

I++) FOR(J = 0;

J < M;

J++) IF (V[I][J] < 0) GOTO FOUND;

/* DIDN'T FIND */...

FOUND:

/* FOUND ONE AT POSITION I, J */...

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

FOUND = 0;

FOR (I = 0;

I < N && !FOUND;

I++) FOR (J = 0;

J < M && !FOUND;

J++) FOUND = V[I][J] < 0;

IF (FOUND) Б.В. Керниган, Д.М. Ричи. Язык С.

/* IT WAS AT I-1, J-1 */...

ELSE /* NOT FOUND */...

Хотя мы не являемся в этом вопросе догматиками, нам все же кажется, что если и нужно использовать оператор GOTO, то весьма умеренно.

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

Язык "C" разрабатывался со стремлением сделать функции эффективными и удобными для использования;

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

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

Большинство программистов хорошо знакомы с "библиотечными" функциями для ввода и вывода /GETCHAR, PUTCHAR/ и для численных расчетов /SIN, COS, SQRT/. В этой главе мы сообщим больше о написании новых функций.

4.1. Основные сведения Для начала давайте разработаем и составим программу печати каждой строки ввода, которая содержит определенную комбинацию символов. /Это — специальный случай утилиты GREP системы "UNIX"/. Например, при поиске комбинации "THE" в наборе строк NOW IS THE TIME FOR ALL GOOD MENTOCOMETOTHEAID OF THEIR PARTY в качестве выхода получим NOW IS THE TIME MENTOCOMETOTHEAID OF THEIR PARTY основная схема выполнения задания четко разделяется на три Б.В. Керниган, Д.М. Ричи. Язык С.

части:

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

"Пока имеется еще строка" — это GETLINE, функция, которую мы запрограммировали в главе 1, а "вывод этой строки" — это функция PRINTF, которую уже кто-то подготовил для нас. Это значит, что нам осталось только написать процедуру для определения, содержит ли строка данную комбинацию символов или нет. Мы можем решить эту проблему, позаимствовав разработку из PL/1: функция INDEX(S,т) возвращает позицию, или индекс, строки S, где начинается строка T, и -1, если S не содержит т. В качестве начальной позиции мы используем 0, а не 1, потому что в языке "C" массивы начинаются с позиции нуль. Когда нам в дальнейшем понадобится проверять на совпадение более сложные конструкции, нам придется заменить только функцию INDEX;

остальная часть программы останется той же самой.

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

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

Программа также содержит новый вариант функции GETLINE;

вам может оказаться полезным сравнить его с вариантом из главы 1.

#DEFINE MAXLINE MAIN() /* FIND ALL LINES MATCHING A PATTERN */ CHAR LINE[MAXLINE];

WHILE (GETLINE(LINE, MAXLINE) > 0) IF (INDEX(LINE, "THE") >= 0) PRINTF("%S", LINE);

GETLINE(S, LIM) /* GET LINE INTO S, RETURN LENGTH * CHAR S[];

Б.В. Керниган, Д.М. Ричи. Язык С.

INT LIM;

INT C, I;

I =0;

WHILE(--LIM>0 && (C=GETCHAR()) != EOF && C != '\N') S[I++] = C;

IF (C == '\N') S[I++] = C;

S[I] = '\0';

RETURN(I);

INDEX(S,T) /* RETURN INDEX OF T IN S,-1 IF NONE */ CHAR S[], T[];

INTI, J, K;

FOR (I = 0;

S[I] != '\0';

I++) FOR(J=I, K=0;

T[K] !='\0' && S[J] == T[K];

J++;

K++) ;

IF (T[K] == '\0') RETURN(I);

RETURN(-1);

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

минимальной функцией является DUMMY () которая не совершает никаких действий.

Б.В. Керниган, Д.М. Ричи. Язык С.

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

этот вопрос обсуждается в следующем разделе.

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

ее можно также осуществлять через внешние переменные.

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

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

RETURN (выражение) Вызывающая функция может игнорировать возвращаемое значение, если она этого пожелает. Более того, после RETURN может не быть вообще никакого выражения;

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

Механика компиляции и загрузки "C"-программ, расположенных в нескольких исходных файлах, меняется от системы к системе. В системе "UNIX", например, эту работу выполняет команда 'CC', упомянутая в главе 1. Предположим, что три функции находятся в трех различных файлах с именами MAIN.с, GETLINE.C и INDEX.с. Тогда команда CC MAIN.C GETLINE.C INDEX.C компилирует эти три файла, помещает полученный настраиваемый объектный код в файлы MAIN.O, GETLINE.O и INDEX.O и загружает их всех в выполняемый файл, называемый A.OUT.

Если имеется какая-то ошибка, скажем в MAIN.C, то этот файл можно перекомпилировать отдельно и загрузить вместе с предыдущими объектными файлами по команде CC MAIN.C GETLIN.O INDEX.O Команда 'CC' использует соглашение о наименовании с ".с" и ".о" для того, чтобы отличить исходные файлы от объектных.

Упражнение 4-1.

Б.В. Керниган, Д.М. Ричи. Язык С.

Составьте программу для функции RINDEX(S,T), которая возвращает позицию самого правого вхождения т в S и -1, если S не содержит T.

4.2. Функции, возвращающие нецелые значения До сих пор ни одна из наших программ не содержала какого-либо описания типа функции. Дело в том, что по умолчанию функция неявно описывается своим появлением в выражении или операторе, как, например, в WHILE (GETLINE(LINE, MAXLINE) > 0) Если некоторое имя, которое не было описано ранее, появляется в выражении и за ним следует левая круглая скобка, то оно по контексту считается именем некоторой функции. Кроме того, по умолчанию предполагается, что эта функция возвращает значение типа INT. Так как в выражениях CHAR преобразуется в INT, то нет необходимости описывать функции, возвращающие CHAR. Эти предположения покрывают большинство случаев, включая все приведенные до сих пор примеры.

Но что происходит, если функция должна возвратить значение какого-то другого типа? Многие численные функции, такие как SQRT, SIN и COS возвращают DOUBLE;

другие специальные функции возвращают значения других типов. Чтобы показать, как поступать в этом случае, давайте напишем и используем функцию ATоF(S), которая преобразует строку S в эквивалентное ей плавающее число двойной точности. Функция ATоF является расширением атоI, варианты которой мы написали в главах 2 и 3;

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

иначе она бы заняла больше места, чем нам хотелось бы/.

Во-первых, сама ATоF должна описывать тип возвращаемого ею значения, поскольку он отличен от INT. Так как в выражениях тип FLOAT преобразуется в DOUBLE, то нет никакого смысла в том, чтобы ATOF возвращала FLOAT;

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

DOUBLE ATOF(S) /* CONVERT STRING S TO DOUBLE */ CHAR S[];

DOUBLE VAL, POWER;

INT I, SIGN;

FOR(I=0;

S[I]==' ' \!\! S[I]=='\N' \!\! S[I]=='\T';

I++) ;

/* SKIP WHITE SPACE */ SIGN = 1;

IF (S[I] == '+' \!\! S[I] == '-') /* SIGN */ SIGN = (S[I++] == '+')? 1 :

-1;

FOR(VAL = 0;

S[I] >= '0' &&S[I] <= '9';

I++) VAL= 10* VAL +S[I] — '0';

Б.В. Керниган, Д.М. Ричи. Язык С.

IF (S[I] == '.') I++;

FOR (POWER = 1;

S[I] >= '0' && S[I] <= '9';

I++) VAL= 10* VAL +S[I] — '0';

POWER *= 10;

RETURN(SIGN * VAL / POWER);

Вторым, но столь же важным, является то, что вызывающая функция должна объявить о том, что ATOF возвращает значение, отличное от INT типа. Такое объявление демонстрируется на примере следующего примитивного настольного калькулятора /едва пригодного для подведения баланса в чековой книжке/, который считывает по одному числу на строку, причем это число может иметь знак, и складывает все числа, печатая сумму после каждого ввода.

#DEFINE MAXLINE MAIN() /* RUDIMENTARY DESK CALKULATOR */ DOUBLE SUM, ATOF();

CHAR LINE[MAXLINE];

SUM = 0;

WHILE (GETLINE(LINE, MAXLINE) > 0) PRINTF("\T%.2F\N",SUM+=ATOF(LINE));

Оисание DOUBLE SUM, ATOF();

говорит, что SUM является переменной типа DOUBLE, ичто ATOF является функцией, возвращающей значение типа DOUBLE.

Эта мнемоника означает, что значениями как SUM, так и ATOF(...) являются плавающие числа двойной точности.

Если функция ATOF не будет описана явно в обоих местах, то в "C" предполагается, что она возвращает целое значение, и вы получите бессмысленный ответ. Если сама ATOF и обращение к ней в MAIN имеют несовместимые типы и находятся в одном и том же файле, то это будет обнаружено компилятором. Но если ATOF была скомпилирована отдельно /что более вероятно/, то это несоответствие не будет зафиксировано, так что ATOF будет возвращать значения типа DOUBLE, с которым MAIN будет обращаться, как с INT, что приведет к бессмысленным резуль татам. /Программа LINT вылавливает эту ошибку/.

Имея ATOF, мы, в принципе, могли бы с ее помощью написать ATOI (преобразование строки в INT):

Б.В. Керниган, Д.М. Ричи. Язык С.

ATOI(S) /* CONVERT STRING S TO INTEGER */ CHAR S[];

DOUBLE ATOF();

RETURN(ATOF(S));

Обратите внимание на структуру описаний и оператор RETURN.

Значение выражения в RETURN (выражение) всегда преобразуется к типу функции перед выполнением самого возвращения. Поэтому при появлении в операторе RETURN значение функции атоF, имеющее тип DOUBLE, автоматически преобразуется в INT, поскольку функция ATOI возвращает INT. (Как обсуждалось в главе 2, преобразование значения с плавающей точкой к типу INT осуществляется посредством отбрасывания дробной части).

Упражнение 4-2.

Расширьте ATOF таким образом, чтобы она могла работать с числами вида 123.45е- где за числом с плавающей точкой может следовать 'E' и показатель экспоненты, возможно со знаком.

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

Если в качестве аргумента функции выступает имя массива, то передается адрес начала этого массива;

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

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

Таким образом, вы, например, не можете написать действительно переносимую функцию, которая будет вычислять максимум от произвольного числа аргументов, как делают встроенные функции MAX вфортране иPL/1.

Б.В. Керниган, Д.М. Ричи. Язык С.

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

Если же типы аргументов известны, то конец списка аргументов можно отметить, используя какое-то соглашение;

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

4.4. Внешние переменные Программа на языке "C" состоит из набора внешних объектов, которые являются либо переменными, либо функциями. Термин "внешний" используется главным образом в противопоставление термину "внутренний", которым описываются аргументы и автоматические переменные, определенные внурти функций. Внешние переменные определены вне какой-либо функции и, таким образом, потенциально доступны для многих функций. Сами функции всегда являются внешними, потому что правила языка "C" не разрешают определять одни функции внутри других. По умолчанию внешние переменные являются также и "глобальными", так что все ссылки на такую переменную, использующие одно и то же имя (даже из функций, скомпилированных независимо), будут ссылками на одно и то же. В этом смысле внешние переменные аналогичны переменным COмMON в фортране и EXTERNAL в PL/1. Позднее мы покажем, как определить внешние переменные и функции таким образом, чтобы они были доступны не глобально, а только в пределах одного исходного файла.

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

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

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

Третья причина использования внешних переменных обусловлена их областью действия и временем существования. Автоматические переменные являются внутренними по отношению к функциям;

они возникают при входе в функцию и исчезают при выходе из нее. Внешние переменные, напротив, существуют постоянно.

Они не появляютя и не исчезают, так что могут сохранять свои значения в период от одного обращения к функции до другого. В силу этого, если две функции используют некоторые общие данные, причем ни одна из них не обращается к другой, то часто Б.В. Керниган, Д.М. Ричи. Язык С.

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

Давайте продолжим обсуждение этого вопроса на большом примере. Задача будет состоять в написании другой программы для калькулятора, лучшей,чем предыдущая. Здесь допускаются операции +,-,*,/ и знак = (для выдачи ответа).вместо инфиксного представления калькулятор будет использовать обратную польскую нотацию,поскольку ее несколько легче реализовать.в обратной польской нотации знак следует за операндами;

инфиксное выражение типа (1-2)*(4+5)= записывается в виде 12-45+*= круглые скобки при этом не нужны Реализация оказывается весьма простой.каждый операнд помещается в стек;

когда поступает знак операции,нужное число операндов (два для бинарных операций) вынимается,к ним применяется операция и результат направляется обратно в стек.так в приведенном выше примере 1 и 2 помещаются в стек и затем заменяются их разностью, -1.после этого 4 и 5 вводятся в стек и затем заменяются своей суммой,9.далее числа -1 и 9 заменяются в стеке на их произведение,равное -9.опе рация = печатает верхний элемент стека, не удаляя его (так что промежуточные вычисления могут быть проверены).

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

WHILE( поступает операция или операнд, а не конец IF ( число ) поместить его в стек еLSE IF ( операция ) вынуть операнды из стека выполнить операцию поместить результат в стек ELSE ошибка Основной вопрос, который еще не был обсужден, заключается в том,где поместить стек, т. Е. Какие процедуры смогут обращаться к нему непосредственно.

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

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

В силу этого мы решили сделать стек и связанную с ним информацию внешними Б.В. Керниган, Д.М. Ричи. Язык С.

переменными, доступными функциям PUSH (помещение в стек) и POP (извлечение из стека), но не MAIN.

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

это, по-видимому, более характерное применеие переключателя, чем то, которое было продемонстрировано в главе 3.

#DEFINEMAXOP 20 /* MAXSIZEOFOPERAND, OPERАTOR * #DEFINE NUMBER '0' /* SIGNAL THAT NUMBER FOUND */ #DEFINE TOOBIG '9' /* SIGNAL THAT STRING IS TOO BIG * MAIN() /* REVERSE POLISH DESK CALCULATOR */ /( INT TUPE;

CHAR S[MAXOP];

DOUBLE OP2,ATOF(),POP(),PUSH();

WHILE ((TUPE=GETOP(S,MAXOP)) !=EOF);

SWITCH(TUPE) /( CASE NUMBER:

PUSH(ATOF(S));

BREAK;

CASE '+':

PUSH(POP()+POP());

BREAK;

CASE '*':

PUSH(POP()*POP());

BREAK;

CASE '-':

OP2=POP();

PUSH(POP()-OP2);

BREAK;

CASE '/':

OP2=POP();

IF (OP2 != 0.0) PUSH(POP()/OP2);

ELSE PRINTF("ZERO DIVISOR POPPED\N");

BREAK;

Б.В. Керниган, Д.М. Ричи. Язык С.

CASE '=':

PRINTF("\T%F\N",PUSH(POP()));

BREAK;

CASE 'C':

CLEAR();

BREAK;

CASE TOOBIG:

PRINTF("%.20S... IS TOO LONG\N",S) BREAK;

/) /) #DEFINE MAXVAL 100 /* MAXIMUM DEPTH OF VAL STACK */ INTSP= 0;

/* STACKPOINTER*/ DOUBLE VAL[MAXVAL];

/*VALUE STACK */ DOUBLE PUSH(F) /* PUSH F ONTO VALUE STACK */ DOUBLE F;

/( IF (SP < MAXVAL) RETURN(VAL[SP++] =F);

ELSE /( PRINTF("ERROR: STACK FULL\N");

CLEAR();

RETURN(0);

/) /) DOUBLE POP() /* POP TOP VALUE FROM STEACK */ /( IF (SP > 0) RETURN(VAL[--SP]);

ELSE /( PRINTF("ERROR: STACK EMPTY\N");

CLEAR();

RETURN(0);

/) /) CLEAR() /* CLEAR STACK */ /( Б.В. Керниган, Д.М. Ричи. Язык С.

SP=0;

/) Команда C очищает стек с помощью функции CLEAR, которая также используется в случае ошибки функциями PUSH и POP. к функции GETOP мы очень скоро вернемся.

Как уже говорилось в главе 1, переменная является внешней, если она определена вне тела какой бы то ни было функции. Поэтому стек и указатель стека, которые должны использоваться функциями PUSH, POP и CLEAR, определены вне этих трех функций. Но сама функция MAIN не ссылается ни к стеку, ни к указателю стека — их участие тщательно замаскировано. В силу этого часть программы, соответствующая операции =, использует конструкцию PUSH(POP());

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

Отметим также, что так как операции + и * коммутативны, порядок, в котором объединяются извлеченные операнды, несущественен, но в случае операций — и / необходимо различать левый и правый операнды.

Упражнение 4-3.

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

4.5. Правила, определяющие область действия Функции и внешние переменные, входящие в состав "C"-программы, не обязаны компилироваться одновременно;

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

Как следует составлять описания, чтобы переменные правильно воспринимались во время компиляции?

Как следует составлять описания, чтобы обеспечить правильную связь частей программы при загрузке?

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

Б.В. Керниган, Д.М. Ричи. Язык С.

Область действия внешней переменной простирается от точки, в которой она объявлена в исходном файле, до конца этого файла. Например, если VAL, SP, PUSH, POP и CLEAR определены в одном файле в порядке, указанном выше, а именно:

INT SP = 0;

DOUBLE VAL[MAXVAL];

DOUBLE PUSH(F)...

DOUBLE POP()...

CLEAR()...

то переменные VAL и SP можно использовать в PUSH, POP и CLEAR прямо по имени;

никакие дополнительные описания не нужны.

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

Важно различать описание внешней переменной и ее определение. описание указывает свойства переменной /ее тип, размер и т.д./;

определение же вызывает еще иотведение памяти. Если вне какой бы то ни было функции появляются строчки INT SP;

DOUBLE VAL[MAXVAL];

то они определяют внешние переменные SP и VAL, вызывают отведение памяти для них и служат в качестве описания для остальной части этого исходного файла. В то же время строчки EXTERN INT SP;

EXTERN DOUBLE VAL[];

описывают в остальной части этого исходного файла переменную SP как INT, а VAL как массив типа DOUBLE /размер которого указан в другом месте/, но не создают переменных и не отводят им места в памяти.

Во всех файлах, составляющих исходную программу, должно содержаться только одно определение внешней переменной;

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

Хотя подобная организация приведенной выше программы и маловероятна, но VAL и SP могли бы быть определены и инициализированы в одном файле, а функция PUSH, POP и CLEAR определены в другом. В этом случае для связи были бы необходимы следующие определения и описания:

Б.В. Керниган, Д.М. Ричи. Язык С.

в файле 1:

INTSP= 0;

/* STACKPOINTER*/ DOUBLE VAL[MAXVAL];

/* VALUE STACK */ в файле 2:

EXTERN INT SP;

EXTERN DOUBLE VAL[];

DOUBLE PUSH(F)...

DOUBLE POP()...

CLEAR()...

так как описания EXTERN 'в файле 1' находятся выше и вне трех указанных функций, они относятся ко всем ним;

одного набора описаний достаточно для всего 'файла 2'.

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

Обратимся теперь к функции GETOP, выбирающей из файла ввода следующую операцию или операнд. Основная задача проста: пропустить пробелы, знаки табуляции и новые строки. Если следующий символ отличен от цифры и десятичной точки, то возвратить его. В противном случае собрать строку цифр /она может включать десятичную точку/ и возвратить NUMBER как сигнал о том, что выбрано число.

Процедура существенно усложняется, если стремиться правильно обрабатывать ситуацию, когда вводимое число оказывается слишком длинным. Функция GETOP считывает цифры подряд /возможно с десятичной точкой/ и запоминает их, пока последовательность не прерывается. Если при этом не происходит переполнения, то функция возвращает NUMBER и строку цифр. Если же число оказывается слишком длинным, то GETOP отбрасывает остальную часть строки из файла ввода, так что пользователь может просто перепечатать эту строку с места ошибки;

функция возвращает TOOBIG как сигнал о переполнении.

GETOP(S, LIM) /* GET NEXT OPRERATOR OR OPERAND */ CHAR S[];

INT LIM;

INT I, C;

WHILE((C=GETCH())==' '\!\! C=='\T' \!\! C=='\N') ;

Б.В. Керниган, Д.М. Ричи. Язык С.

IF (C != '.' && (C < '0' \!\! C > '9')) RETURN(C);

S[0] = C;

FOR(I=1;

(C=GETCHAR()) >='0' && C <= '9';

I++) IF (I < LIM) S[I] = C;

IF (C == '.') /* COLLECT FRACTION */ IF (I < LIM) S[I] = C;

FOR(I++;

(C=GETCHAR()) >='0' && C<='9';

I++) IF (I < LIM) S[I] =C;

IF (I < LIM) /* NUMBER IS OK */ UNGETCH(C);

S[I] = '\0';

RETURN (NUMBER);

ELSE /* IT'STOOBIG;

SKIPRESTOFLINE*/ WHILE (C != '\N' && C != EOF) C= GETCHAR();

S[LIM-1] = '\0';

RETURN (TOOBIG);

Что же представляют из себя функции 'GETCH' и 'UNGETCH'? Часто так бывает, что программа, считывающая входные данные, не может определить, что она прочла уже достаточно, пока она не прочтет слишком много. Одним из примеров является выбор символов, составляющих число: пока не появится символ, отличный от цифры, число не закончено. Но при этом программа считывает один лишний символ, символ, для которого она еще не подготовлена.

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

функция UNGETCH помещает символ назад во ввод, так что при следующем обращении к GETCH он будет возвращен.

То, как эти функции совместно работают, весьма просто. Функция UNGETCH помещает возвращаемые назад символы в совместно используемый буфер, Б.В. Керниган, Д.М. Ричи. Язык С.

являющийся символьным массивом. Функция GETCH читает из этого буфера, если в нем что-либо имеется;

если же буфер пуст, она обращается к GETCHAR. При этом также нужна индексирующая переменная, которая будет фиксировать позицию текущего символа в буфере.

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

#DEFINE BUFSIZE CHAR BUF[BUFSIZE];

/* BUFFER FOR UNGETCH */ INT BUFP = 0;

/* NEXT FREE POSITION IN BUF */ GETCH() /* GET A (POSSIBLY PUSHED BACK) CHARACTER */ RETURN((BUFP > 0)? BUF[--BUFP] : GETCHAR());

UNGETCH(C) /* PUSH CHARACTER BACK ON INPUT */ INT C;

IF (BUFP > BUFSIZE) PRINTF("UNGETCH: TOO MANY CHARACTERS\N");

ELSE BUF [BUFP++] = C;

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

Упражнение 4-4.

Напишите функцию UNGETS(S), которая будет возвращать во ввод целую строку.

Должна ли UNGETS иметь дело с BUF и BUFP или она может просто использовать UNGETCH?

Упражнение 4-5.

Предположите, что может возвращаться только один символ. Измените GETCH и UNGETCH соответствующим образом.

Упражнение 4-6.

Наши функции GETCH и UNGETCH не обеспечивают обработку возвращенного символа EOF переносимым образом. Решите, каким свойством должны обладать эти функции, если возвращается EOF, иреализуйте ваши выводы.

Б.В. Керниган, Д.М. Ричи. Язык С.

4.6. Статические переменные Статические переменные представляют собой третий класс памяти, в дополнении к автоматическим переменным и EXTERN, с которыми мы уже встречались.

Статические переменные могут быть либо внутренними, либо внешними.

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

Внешние статические переменные определены в остальной части того исходного файла, в котором они описаны, но не в каком-либо другом файле. Таким образом, они дают способ скрывать имена, подобные BUF и BUFP в комбинации GETCH-UNGETCH, которые в силу их совместного использования должны быть внешними, но все же не доступными для пользователей GETCH и UNGETCH, чтобы исключалась возможность конфликта. Если эти две функции и две переменные объеденить в одном файле следующим образом STATIC CHAR BUF[BUFSIZE];

/* BUFFER FOR UNGETCH */ STATIC INT BUFP=0;

/*NEXT FREE POSITION IN BUF */ GETCH()...

UNGETCH()...

то никакая другая функция не будет в состоянии обратиться к BUF и BUFP;

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

Статическая память, как внутренняя, так и внешняя, специфицируется словом STATIC, стоящим перед обычным описанием. Переменная является внешней, если она описана вне какой бы то ни было функции, и внутренней, если она описана внутри некоторой функции.

Нормально функции являются внешними объектами;

их имена известны глобально. возможно, однако, объявить функцию как STATIC ;

тогда ее имя становится неизвестным вне файла, в котором оно описано.

В языке "C" "STATIC" отражает не только постоянство, но и степень того, что можно назвать "приватностью". Внутренние статические объекты определены только внутри одной функции;

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

Внешние статические переменные и функции предоставляют способ организовывать данные и работающие с ними внутренние процедуры таким образом, что другие процедуры и данные не могут прийти с ними в конфликт даже по недоразумению. Например, функции GETCH и UNGETCH образуют "модуль" для ввода и возвращения символов;

BUF и BUFP должны быть статическими, чтобы они Б.В. Керниган, Д.М. Ричи. Язык С.

не были доступны извне. Точно так же функции PUSH, POP и CLEAR формируют модуль обработки стека;

VARи SP тоже должны быть внешними статическими.

4.7. Регистровые переменные Четвертый и последний класс памяти называется регистровым. Описание REGISTER указывает компилятору, что данная переменная будет часто использоваться. Когда это возможно, переменные, описанные как REGISTER, располагаются в машинных регистрах, что может привести к меньшим по размеру и более быстрым программам. Описание REGISTER выглядит как REGISTER INT X;

REGISTER CHAR C;

и т.д.;

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

F(C,N) REGISTER INT C,N;

REGISTER INT I;

...

На практике возникают некоторые ограничения на регистровые переменные, отражающие реальные возможности имеющихся аппаратных средств. В регистры можно поместить только несколько переменных в каждой функции, причем только определенных типов. В случае превышения возможного числа или использования неразрешенных типов слово REGISTER игнорируется. Кроме того невозможно извлечь адрес регистровой переменной (этот вопрос обсуждается в главе 5). Эти специфические ограничения варьируются от машины к машине. Так, например, на PDP-11 эффективными являются только первые три описания REGISTER в функции, а в качестве типов допускаются INT, CHAR или указатель.

4.8. Блочная структура Язык "C" не является языком с блочной структурой в смысле PL/1 или алгола;

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

Переменные же, с другой стороны, могут определяться по методу блочного структурирования. Описания переменных (включая инициализацию) могут следовать за левой фигурной скобкой,открывающей любой оператор, а не только за той, с кото рой начинается тело функции. Переменные, описанные таким образом, вытесняют любые переменные из внешних блоков, имеющие такие же имена, и остаются определенными до соответствующей правой фигурной скобки. Например в IF (N > 0) INT I;

/* DECLARE A NEW I */ Б.В. Керниган, Д.М. Ричи. Язык С.

FOR (I = 0;

I < N;

I++)...

Областью действия переменной I является "истинная" ветвь IF;

это I никак не связано ни с какими другими I в программе.

Блочная структура влияет и на область действия внешних переменных. Если даны описания INT X;

F() DOUBLE X;

...

То появление X внутри функции F относится к внутренней переменной типа DOUBLE, а вне F — к внешней целой переменной. это же справедливо в отношении имен формальных параметров:

INT X;

F(X) DOUBLE X;

...

Внутри функции F имя X относится к формальному параметру, а не к внешней переменной.

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

Если явная инициализация отсутствует, то внешним и статическим переменным присваивается значение нуль;

автоматические и регистровые переменные имеют в этом случае неопределенные значения (мусор).

Простые переменные (не массивы или структуры) можно инициализировать при их описании, добавляя вслед за именем знак равенства и константное выражение:

INT X = 1;

Б.В. Керниган, Д.М. Ричи. Язык С.

CHAR SQUOTE = '\'';

LONG DAY = 60 * 24;

/* MINUTES IN A DAY */ Для внешних и статических переменных инициализация выполняется только один раз, на этапе компиляции. Автоматические и регистровые переменные инициализируются каждый раз при входе в функцию или блок.

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

Например, инициализация в программе бинарного поиска из главы 3 могла бы быть записана в виде BINARY(X, V, N) INTX, V[], N;

INT LOW = 0;

INT HIGH = N — 1;

INT MID;

...

вместо BINARY(X, V, N) INTX, V[], N;

INT LOW, HIGH, MID;

LOW = 0;

HIGH = N — 1;

...

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

Автоматические массивы не могут быть инициализированы. Внешние и статические массивы можно инициализировать, помещая вслед за описанием заключенный в фигурные скобки список начальных значений, разделенных запятыми. Например программа подсчета символов из главы 1, которая начиналась с MAIN() /* COUNT DIGITS, WHITE SPACE, OTHERS */ ( Б.В. Керниган, Д.М. Ричи. Язык С.

INT C, I, NWHITE, NOTHER;

INT NDIGIT[10];

NWHITE = NOTHER = 0;

FOR(I = 0;

I < 10;

I++) NDIGIT[I] = 0;

...

) Ожет быть переписана в виде INT NWHITE = 0;

INT NOTHER = 0;

INT NDIGIT[10] = 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ;

MAIN() /* COUNT DIGITS, WHITE SPACE, OTHERS */ ( INT C, I;

...

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

Для символьных массивов существует специальный способ инициализации;

вместо фигурных скобок и запятых можно использовать строку:

CHAR PATTERN[] = "THE";

Это сокращение более длинной, но эквивалентной записи:

CHAR PATTERN[] = 'T', 'H', 'E', '\0' ;

Если размер массива любого типа опущен, то компилятор определяет его длину, подсчитывая число начальных значений. В этом конкретном случае размер равен четырем (три символа плюс конечное \0).

4.10. Рекурсия В языке "C" функции могут использоваться рекурсивно;

это означает, что функция может прямо или косвенно обращаться к себе самой. Традиционным примером является печать числа в виде строки символов. как мы уже ранее отмечали, Б.В. Керниган, Д.М. Ричи. Язык С.

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

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

PRINTD(N) /* PRINT N IN DECIMAL */ INT N;

CHAR S[10];

INT I;

IF (N < 0) PUTCHAR('-');

N=-N;

I = 0;

DO S[I++] = N % 10 + '0';

/* GET NEXT CHAR */ WHILE ((N /= 10) > 0);

/* DISCARD IT */ WHILE (--I >= 0) PUTCHAR(S[I]);

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

PRINTD(N) /* PRINT N IN DECIMAL (RECURSIVE)*/ INT N;

( INT I;

IF (N < 0) PUTCHAR('-');

N= -N;

IF ((I = N/10) != 0) PRINTD(I);

PUTCHAR(N % 10 + '0');

Б.В. Керниган, Д.М. Ричи. Язык С.

) Когда функция вызывает себя рекурсивно, при каждом обращении образуется новый набор всех автоматических переменных, совершенно не зависящий от предыдущего набора. Таким образом, в PRINTD(123) первая функция PRINTD имеет N = 123. Она передает 12 второй PRINTD, а когда та возвращает управление ей, печатает 3. Точно так же вторая PRINTD передает 1 третьей (которая эту единицу печатает), а затемпечатает 2.

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

хороший пример будет приведен в главе 6.

Упражнение 4-7.

Приспособьте идеи, использованные в PRINTD для рекурсивного написания ITOA;

т.е. Преобразуйте целое в строку с помощью рекурсивной процедуры.

Упражнение 4-8.

Напишите рекурсивный вариант функции REVERSE(S), которая располагает в обратном порядке строку S.

4.11. Препроцессор языка "C" В языке "с" предусмотрены определенные расширения языка с помощью простого макропредпроцессора. одним из самых распространенных таких расширений, которое мы уже использовали, является конструкция #DEFINE;

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

4.11.1. Включение файлов Для облегчения работы с наборами конструкций #DEFINE и описаний (среди прочих средств) в языке "с" предусмотрена возможность включения файлов. Любая строка вида #INCLUDE "FILENAME" заменяется содержимым файла с именем FILENAME. (Кавычки обязательны). Часто одна или две строки такого вида появляются в начале каждого исходного файла, для того чтобы включить общие конструкции #DEFINE и описания EXTERN для глобальных переменных. Допускается вложенность конструкций #INCLUDE.

Конструкция #INCLUDE является предпочтительным способом связи описаний в больших программах. Этот способ гарантирует, что все исходные файлы будут снабжены одинаковыми определениями и описаниями переменных, и, следовательно, исключает особенно неприятный сорт ошибок. Естественно, когда какой-TO включаемый файл изменяется, все зависящие от него файлы должны быть перекомпилированы.

Б.В. Керниган, Д.М. Ричи. Язык С.

4.11.2. Макроподстановка Определение вида #DEFINE TES приводит к макроподстановке самого простого вида — замене имени на строку символов. Имена в #DEFINE имеют ту же самую форму, что и идентификаторы в "с";

заменяющий текст совершенно произволен.

Нормально заменяющим текстом является остальная часть строки;

длинное определение можно продолжить, поместив \ в конец продолжаемой строки. "Область действия" имени, определенного в #DEFINE, простирается от точки определения до конца исходного файла. имена могут быть переопределены, и определения могут использовать определения, сделанные ранее. Внутри заключенных в кавычки строк подстановки не производятся, так что если, например, YES — определенное имя, то в PRINTF("YES") не будет сделано никакой подстановки.

Так как реализация #DEFINE является частью работы маKропредпроцессора, а не собственно компилятора, имеется очень мало грамматических ограничений на то, что может быть определено. Так, например, любители алгола могут объявить #DEFINE THEN #DEFINE BEGIN #DEFINE END ;

и затем написать IF (I > 0) THEN BEGIN A= 1;

B= END Имеется также возможность определения макроса с аргументами, так что заменяющий текст будет зависеть от вида обращения к макросу. Определим, например, макрос с именем MAX следующим образом:

#DEFINE MAX(A, B) ((A) > (B)? (A) : (B)) когда строка X= MAX(P+Q, R+S);

будет заменена строкой X = ((P+Q) > (R+S)? (P+Q) : (R+S));

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

здесь нет Б.В. Керниган, Д.М. Ричи. Язык С.

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

Конечно, если вы тщательно рассмотрите приведенное выше расширение MAX, вы заметите определенные недостатки. Выражения вычисляются дважды;

это плохо, если они влекут за собой побочные эффекты, вызванные, например, обращениями к функциям или использованием операций увеличения. Нужно позаботиться о правильном использовании круглых скобок, чтобы гарантировать сохранение требуемого порядка вычислений. (Рассмотрите макрос #DEFINE SQUARE(X) X * X при обращении к ней, как SQUARE(Z+1)). Здесь возникают даже некоторые чисто лексические проблемы: между именем макро и левой круглой скобкой, открывающей список ее аргументов, не должно быть никаких пробелов.

Тем не менее аппарат макросов является весьма ценным. Один практический пример дает описываемая в главе 7 стандартная библиотека ввода-вывода, в которой GETCHAR и PUTCHAR определены как макросы (очевидно PUTCHAR должна иметь аргумент), что позволяет избежать затрат на обращение к функции при обработке каждого символа.

Другие возможности макропроцессора описаны в приложении А.

Упражнение 4-9.

Определите макрос SWAP(X, Y), который обменивает значениями два своих аргумента типа INT. (В этом случае поможет блочная структура).

5.Указатели и массивы Указатель — это переменная, содержащая адрес другой переменной. указатели очень широко используются в языке "C". Это происходит отчасти потому, что иногда они дают единственную возможность выразить нужное действие, а отчасти потому, что они обычно ведут к более компактным и эффективным программам, чем те, которые могут быть получены другими способами.

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

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

5.1. Указатели и адреса Так как указатель содержит адрес объекта, это дает возможность "косвенного" доступа к этому объекту через указатель. Предположим, что х — переменная, например, типа INT, а рх — указатель, созданный неким еще не указанным способом.

Унарная операция & выдает адрес объекта, так что оператор Б.В. Керниган, Д.М. Ричи. Язык С.

рх = &х;

присваивает адрес х переменной рх;

говорят, что рх "указывает" на х. Операция & применима только к переменным и элементам массива, конструкции вида &(х-1) и &3 являются незаконными. Нельзя также получить адрес регистровой переменной.

Унарная операция * рассматривает свой операнд как адрес конечной цели и обращается по этому адресу, чтобы извлечь содержимое. Следовательно, если Y тоже имеет тип INT, то Y= *рх;

присваивает Y содержимое того, на что указывает рх. Так последовательность рх = &х;

Y= *рх;

присваивает Y то же самое значение, что и оператор Y= X;

Переменные, участвующие во всем этом необходимо описать:

INT X, Y;

INT *PX;

с описанием для X и Y мы уже неодонократно встречались. Описание указателя INT *PX;

является новым и должно рассматриваться как мнемоническое;

оно говорит, что комбинация *PX имеет тип INT. Это означает, что если PX появляется в контексте *PX, то это эквивалентно переменной типа INT. Фактически синтаксис описания перемен ной имитирует синтаксис выражений, в которых эта переменная может появляться.

Это замечание полезно во всех случаях, связанных со сложными описаниями.

Например, DOUBLE ATOF(), *DP;

говорит, что ATOF() и *DP имеют в выражениях значения типа DOUBLE.

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

Указатели могут входить в выражения. Например, если PX указывает на целое X, то *PX может появляться в любом контексте, где может встретиться X. Так оператор Y= *PX+ Б.В. Керниган, Д.М. Ричи. Язык С.

присваивает Y значение, на 1 большее значения X;

PRINTF("%D\N", *PX) печатает текущее значение X;

D= SQRT((DOUBLE) *PX) получает в D квадратный корень из X, причем до передачи функции SQRT значение X преобразуется к типу DOUBLE. (Смотри главу 2).

В выражениях вида Y= *PX+ унарные операции * и & связаны со своим операндом более крепко, чем арифметические операции, так что такое выражение берет то значение, на которое указывает PX, прибавляет 1 и присваивает результат переменной Y. Мы вскоре вернемся к тому, что может означать выражение Y= *(PX+ 1) Ссылки на указатели могут появляться и в левой части присваиваний. Если PX указывает на X, то *PX = полагает X равным нулю, а *PX += увеличивает его на единицу, как и выражение (*PX)++ Круглые скобки в последнем примере необходимы;

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

И наконец, так как указатели являются переменными, то с ними можно обращаться, как и с остальными переменными. Если PY — другой указатель на переменную типа INT, то PY = PX копирует содержимое PX в PY, в результате чего PY указывает на то же, что и PX.

Б.В. Керниган, Д.М. Ричи. Язык С.

5.2. Указатели и аргументы функций Так как в "с" передача аргументов функциям осуществляется "по значению", вызванная процедура не имеет непосредственной возможности изменить переменную из вызывающей программы. Что же делать, если вам действительно надо изменить аргумент? например, программа сортировки захотела бы поменять два нарушающих порядок элемента с помощью функции с именем SWAP. Для этого недостаточно написать SWAP(A, B);

определив функцию SWAP при этом следующим образом:

SWAP(X, Y) /* WRONG */ INT X, Y;

INT TEMP;

TEMP = X;

X= Y;

Y= TEMP;

из-за вызова по значению SWAP не может воздействовать на агументы A и B в вызывающей функции.

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

Вызывающая программа передает указатели подлежащих изменению значений:

SWAP(&A, &B);

так как операция & выдает адрес переменной, то &A является указателем на A. В самой SWAP аргументы описываются как указатели и доступ к фактическим операндам осуществляется через них.

SWAP(PX, PY) /* INTERCHANGE *PX AND *PY */ INT *PX, *PY;

INT TEMP;

TEMP = *PX;

*PX = *PY;

*PY = TEMP;

Б.В. Керниган, Д.М. Ричи. Язык С.

Указатели в качестве аргументов обычно используются в функциях, которые должны возвращать более одного значения. (Можно сказать, что SWAP вOзвращает два значения, новые значения ее аргументов). В качестве примера рассмотрим функцию GETINT, которая осуществляет преобразование поступающих в своболном формате данных, разделяя поток символов на целые значения, по одному целому за одно обращение. Функция GETINT должна возвращать либо найденное значение, либо признак конца файла, если входные данные полностью исчерпаны. Эти значения должны возвращаться как отдельные объекты, какое бызначение ни использовалось для EOF, даже если это значение вводимого целого.

Одно из решений, основывающееся на описываемой в главе 7 функции ввода SCANF, состоит в том, чтобы при выходе на конец файла GETINT возвращала EOF в качестве значения функции;

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

Следующий цикл заполняет массив целыми с помощью обращений к функции GETINT:

INT N, V, ARRAY[SIZE];

FOR (N = 0;

N < SIZE && GETINT(&V) != EOF;

N++) ARRAY[N] = V;

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

Сама GETINT является очевидной модификацией написанной нами ранее функции ATOI:

GETINT(PN) /* GET NEXT INTEGER FROM INPUT */ INT *PN;

INT C,SIGN;

WHILE((C= GETCH()) == ' ' \!\! C== '\N' \!\! C == '\T');

/* SKIP WHITE SPACE */ SIGN = 1;

IF (C == '+' \!\! C == '-') /* RECORD SIGN */ SIGN= (C== '+')? 1 :

-1;

C=GETCH();

Б.В. Керниган, Д.М. Ричи. Язык С.

FOR(*PN=0;

C>='0' &&C<='9';

C=GETCH()) *PN = 10 * *PN + C — '0';

*PN *= SIGN;

IF (C != EOF) UNGETCH(C);

RETURN(C);

Выражение *PN используется всюду в GETINT как обычная переменная типа INT. Мы также использовали функции GETCH и UNGETCH (описанные в главе 4), так что один лишний символ, кототрый приходится считывать, может быть помещен обратно во ввод.

Упражнение 5-1.

Напишите функцию GETFLOAT, аналог GETINT для чисел с плавающей точкой.

Какой тип должна возвращать GETFLOAT в качестве значения функции?

5.3. Указатели и массивы В языке "C" существует сильная взаимосвязь между указателями и массивами, настолько сильная, что указатели и массивы действительно следует рассматривать одновременно. Любую операцию, которую можно выполнить с помощью индексов массива, можно сделать и с помощью указателей. вариант с указателями обычно оказывается более быстрым, но и несколько более трудным для непосредственного понимания, по крайней мере для начинающего. описание INT A[10] определяет массив размера 10, т.е. Набор из 10 последовательных объектов, называемых A[0], A[1],..., A[9]. Запись A[I] соответствует элементу массива через I позиций от начала. Если PA — указатель целого, описанный как INT *PA то присваивание PA = &A[0] приводит к тому, что PA указывает на нулевой элемент массива A;

это означает, что PA содержит адрес элемента A[0]. Теперь присваивание X=*PA будет копировать содержимое A[0] в X.

Если PA указывает на некоторый определенный элемент массива A, то по определению PA+1 указывает на следующий элемент, и вообще PA-I указывает на элемент, стоящий на I позиций до элемента, указываемого PA, а PA+I на элемент, стоящий на I позиций после. Таким образом, если PA указывает на A[0], то Б.В. Керниган, Д.М. Ричи. Язык С.

*(PA+1) ссылается на содержимое A[1], PA+I — адрес A[I], а *(PA+I) содержимое A[I].

Эти замечания справедливы независимо от типа переменных в массиве A. Суть определения "добавления 1 к указателю", а также его распространения на всю арифметику указателей, состоит в том, что приращение масштабируется размером памяти, занимаемой объектом, на который указывает указатель. Таким образом, I в PA+I перед прибавлением умножается на размер объектов, на которые указывает PA.

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

Так как имя массива является синонимом местоположения его нулевого элемента, то присваивание PA=&A[0] можно записать как PA = A Еще более удивительным, по крайней мере на первый взгляд, кажется тот факт, что ссылку на A[I] можно записать в виде *(A+I). При анализировании выражения A[I] в языке "C" оно немедленно преобразуется к виду *(A+I);

эти две формы совершенно эквивалентны. Если применить операцию & к обеим частям такого соотношения эквивалентности, то мы получим, что &A[I] и A+I тоже идентичны: A+I — адрес I-го элемента от начала A. С другой стороны, если PA является указателем, то в выражениях его можно использовать с индексом: PA[I] идентично *(PA+I). Короче, любое выражение, включающее массивы и индексы, может быть записано через указатели и смещения и наоборот, причем даже в одном и том же утверждении.

Имеется одно различие между именем массива и указателем, которое необходимо иметь в виду. указатель является переменной, так что операции PA=A и PA++ имеют смысл. Но имя массива является константой, а не переменной:

конструкции типа A=PA или A++,или P=&A будут незаконными.

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

STRLEN(S) /* RETURN LENGTH OF STRING S */ CHAR *S;

INT N;

FOR (N = 0;

*S != '\0';

S++) N++;

RETURN(N);

Б.В. Керниган, Д.М. Ричи. Язык С.

Операция увеличения S совершенно законна, поскольку эта переменная является указателем;

S++ никак не влияет на символьную строку в обратившейся к STRLEN функции, а только увеличивает локальную для функции STRLEN копию адреса. Описания формальных параметров в определении функции в виде CHAR S[];

CHAR *S;

совершенно эквивалентны;

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

Можно передать функции часть массива, если задать в качестве аргумента указатель начала подмассива. Например, если A — массив, то как F(&A[2]) как и F(A+2) передают функции F адрес элемента A[2], потому что и &A[2], и A+2 являются указательными выражениями, ссылающимися на третий элемент A. внутри функции F описания аргументов могут присутствовать в виде:

F(ARR) INT ARR[];

...

или F(ARR) INT *ARR;

...

Что касается функции F, то тот факт, что ее аргумент в действительности ссылается к части большего массива,не имеет для нее никаких последствий.

Б.В. Керниган, Д.М. Ричи. Язык С.

5.4. Адресная арифметика Если P является указателем, то каков бы ни был сорт объекта, на который он указывает, операция P++ увеличивает P так, что он указывает на следующий элемент набора этих объектов, а операция P +=I увеличивает P так, чтобы он указывал на элемент, отстоящий на I элементов от текущего элемента.эти и аналогичные конструкции представляют собой самые простые и самые распространенные формы арифметики указателей или адресной арифметики.

Язык "C" последователен и постоянен в своем подходе к адресной арифметике;

объединение в одно целое указателей, массивов и адресной арифметики является одной из наиболее сильных сторон языка. Давайте проиллюстрируем некоторые из соответствующих возможностей языка на примере элементарной (но полезной, несмотря на свою простоту) программы распределения памяти. Имеются две функции: функция ALLOC(N) возвращает в качестве своего значения указатель P, который указывает на первую из N последовательных символьных позиций, которые могут быть использованы вызывающей функцию ALLOC программой для хранения символов;

функция FREE(P) освобождает приобретенную таким образом память, так что ее в дальнейшем можно снова использовать. программа является "элементарной", потому что обращения к FREE должны производиться в порядке, обратном тому, в котором производились обращения к ALLOC. Таким образом, управляемая функциями ALLOC и FREE память является стеком или списком, в которомпоследний вводимый элемент извлекается первым. Стандартная библиотека языка "C" содержит аналогичные функции, не имеющие таких ограничений, и, кроме того, вглаве 8 мы приведем улучшенные варианты.

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

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

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

Другой необходимой информацией является то, какая часть массива ALLOCBUF уже использована. Мы пользуемся указателем первого свободного элемента, названным ALLOCP. Когда к функции ALLOC обращаются за выделением N символов, то она проверяет, достаточно ли осталось для этого места в ALLOCBUF. Если достаточно, то ALLOC возвращает текущее значение ALLOCP (т.е. Начало свободного блока), затем увеличивает его на N, с тем чтобы он указывал на следующую свободную область. Функция FREE(P) просто полагает ALLOCP равным P при условии, что P указывает на позицию внутри ALLOCBUF.

DEFINE NULL 0 /* POINTER VALUE FOR ERROR REPORT */ DEFINE ALLOCSIZE 1000 /* SIZE OF AVAILABLE SPACE */ TATIC CHAR ALLOCBUF[ALLOCSIZE];

/* STORAGE FOR ALLOC */ TATIC CHAR *ALLOCP = ALLOCBUF;

/* NEXT FREE POSITION */ Б.В. Керниган, Д.М. Ричи. Язык С.

HAR *ALLOC(N) /* RETURN POINTER TO N CHARACTERS */ INT N;

( IF (ALLOCP + N <= ALLOCBUF + ALLOCSIZE) ALLOCP += N;

RETURN(ALLOCP — N);

/* OLD P */ ELSE /* NOT ENOUGH ROOM */ RETURN(NULL);

) REE(P) /* FREE STORAGE POINTED BY P */ HAR *P;

( IF (P >= ALLOCBUF && P < ALLOCBUF + ALLOCSIZE) ALLOCP = P;

) Дадим некоторые пояснения. Вообще говоря, указатель может быть инициализирован точно так же, как и любая другая переменная, хотя обычно единственными осмысленными значениями являются NULL (это обсуждается ниже) или выражение, включающее адреса ранее определенных данных соответствующего типа. Описание STATIC CHAR *ALLOCP = ALLOCBUF;

определяет ALLOCP как указатель на символы и инициализирует его так, чтобы он указывал на ALLOCBUF, т.е. На первую свободную позицию при начале работы программы. Так как имя массива является адресом его нулевого элемента, то это можно было бы записать в виде STATIC CHAR *ALLOCP = &ALLOCBUF[0];

используйте ту запись, которая вам кажется более естественной. С помощью проверки IF (ALLOCP + N <= ALLOCBUF + ALLOCSIZE) выясняется, осталось ли достаточно места, чтобы удовлетворить запрос на N символов. Если достаточно, то новое значение ALLOCP не будет указывать дальше, чем на последнюю позицию ALLOCBUF. Если запрос может быть удовлетворен, то ALLOC возвращает обычный указатель (обратите внимание на описание самой функции). Если же нет, то ALLOC должна вернуть некоторый признак, говорящий о том, что больше места не осталось. В языке "C" гарантируется, что ни один правильный указатель данных не может иметь значение нуль, так что возвращение нуля может служить в качестве сигнала о ненормальном событии, в данномслучае об Б.В. Керниган, Д.М. Ричи. Язык С.

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

Проверки вида IF (ALLOCP + N <= ALLOCBUF + ALOOCSIZE) и IF (P >= ALLOCBUF && P < ALLOCBUF + ALLOCSIZE) демонстрируют несколько важных аспектов арифметики указателей. Во-первых, при определенных условиях указатели можно сравнивать. Если P и Q указывают на элементы одного и того же массива, то такие отношения, как <, >= и т.д., работают надлежащим образом. Например, P< Q истинно, если P указывает на более ранний элемент массива, чем Q. Отношения == и != тоже работают. Любой указатель можно осмысленным образом сравнить на равенство или неравенство с NULL. Но ни за что нельзя ручаться, если вы используете сравнения при работе с указателями, указывающими на разные массивы. Если вам повезет, то на всех машинах вы получите очевидную бессмыслицу. Если же нет, то ваша программа будет правильно работать на одной машине и давать непостижимые результаты на другой.

Во-вторых, как мы уже видели, указатель и целое можно складывать и вычитать. Конструкция P+ N подразумевает N-ый объект за тем, на который P указывает в настоящий момент. Это справедливо независимо от того, на какой вид объектов P должен указывать;

компилятор сам масштабирует N в соответствии с определяемым из описания P размером объектов, указываемых с помощью P. например, на PDP- масштабирующий множитель равен 1 для CHAR, 2 для INT и SHORT, 4 для LONG и FLOAT и 8 для DOUBLE.

Вычитание указателей тоже возможно: если P и Q указывают на элементы одного и того же массива, то P-Q — количество элементов между P и Q. Этот факт можно использовать для написания еще одного варианта функции STRLEN:

STRLEN(S) /* RETURN LENGTH OF STRING S */ CHAR *S;

CHAR *P = S;

WHILE (*P != '\0') P++;

RETURN(P-S);

Б.В. Керниган, Д.М. Ричи. Язык С.

При описании указатель P в этой функции инициализирован посредством строки S, в результате чего он указывает на первый символ строки. Вцикле WHILE по очереди проверяется каждый символ до тех пор, пока не появится символ конца строки \0. Так как значение \0 равно нулю, а WHILE только выясняет, имеет ли выражение в нем значение 0, то в данном случае явную проверку можно опустить.

Такие циклы часто записывают в виде WHILE (*P) P++;

Так как P указывает на символы, то оператор P++ передвигает P каждый раз так, чтобы он указывал на следующий символ. В результате P-S дает число просмотренных символов, т.е. Длину строки. Арифметика указателей последовательна:

если бы мы имели дело с переменными типа FLOAT, которые занимают больше памяти, чем переменные типа CHAR, и если бы P был указателем на FLOAT, то оператор P++ передвинул бы P на следующее FLOAT. таким образом, мы могли бы написать другой вариант функции ALLOC, распределяющей память для FLOAT, вместо CHAR, просто заменив всюду в ALLOC и FREE описатель CHAR на FLOAT. Все действия с указателями автоматически учитывают размер объектов, на которые они указывают, так что больше ничего менять не надо.

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

5.5. Указатели символов и функции Строчная константа, как, например, "I AM A STRING" является массивом символов. Компилятор завершает внутреннее представление такого массива символом \0, так что программы могут находить его конец. Таким образом, длина массива в памяти оказывается на единицу больше числа символов между двойными кавычками.

По-видимому чаще всего строчные константы появляются в качестве аргументов функций, как, например, в PRINTF ("HELLO, WORLD\N");

когда символьная строка, подобная этой, появляется в программе, то доступ к ней осуществляется с помощью указателя символов;

функция PRINTF фактически получает указатель символьного массива.

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

Если описать MESSAGE как Б.В. Керниган, Д.М. Ричи. Язык С.

CHAR *MESSAGE;

то в результате оператора MESSAGE = "NOW IS THE TIME";

переменная MESSAGE станет указателем на фактический массив символов. Это не копирование строки;

здесь участвуют только указатели. в языке "C" не предусмотрены какие-либо операции для обработки всей строки символов как целого.

Мы проиллюстрируем другие аспекты указателей и массивов, разбирая две полезные функции из стандартной библиотеки ввода-вывода, которая будет рассмотрена в главе 7.

Первая функция — это STRCPY(S,T), которая копирует строку т в строку S.

Аргументы написаны именно в этом порядке по аналогии с операцией присваивания, когда для того, чтобы присвоить T к S обычно пишут S= T сначала приведем версию с массивами:

STRCPY(S, T) /* COPY T TO S */ CHAR S[], T[];

INT I;

I =0;

WHILE ((S[I] = T[I]) != '\0') I++;

Для сопоставления ниже дается вариант STRCPY с указателями.

STRCPY(S, T) /* COPY T TO S;

POINTER VERSION 1 */ CHAR *S, *T;

WHILE ((*S = *T) != '\0') S++;

T++;

Так как аргументы передаются по значению, функция STRCPY может использовать S и T так, как она пожелает. Здесь они с удобством полагаются Б.В. Керниган, Д.М. Ричи. Язык С.

указателями, которые передвигаются вдоль массивов, по одному символу за шаг, пока не будет скопирован в S завершающий в T символ \0.

На практике функция STRCPY была бы записана не так, как мы показали выше.

Вот вторая возможность:

STRCPY(S, T) /* COPY T TO S;

POINTER VERSION 2 */ CHAR *S, *T;

WHILE ((*S++ = *T++) != '\0') ;

Здесь увеличение S и T внесено в проверочную часть. Значением *T++ является символ, на который указывал T до увеличения;

постфиксная операция ++ не изменяет T, пока этот символ не будет извлечен. Точно так же этот символ помещается в старую позицию S, до того как S будет увеличено. Конечный результат заключается в том, что все символы, включая завершающий \0, копируются из T в S.

И как последнее сокращение мы опять отметим, что сравнение с \0 является излишним, так что функцию можно записать в виде STRCPY(S, T) /* COPY T TO S;

POINTER VERSION 3 */ CHAR *S, *T;

WHILE (*S++ = *T++) ;

хотя с первого взгляда эта запись может показаться загадочной, она дает значительное удобство. Этой идиомой следует овладеть уже хотя бы потому, что вы с ней будете часто встречаться в "C"-программах.

Вторая функция — STRCMP(S, T), которая сравнивает символьные строки S и т, возвращая отрицательное, нулевое или положительное значение в соответствии с тем, меньше, равно или больше лексикографически S, чем T. Возвращаемое значение получается в результате вычитания символов из первой позиции, в которой S и T не совпадают.

STRCMP(S, T) /* RETURN<0IFS0IFS>T*/ CHAR S[], T[];

INT I;

I =0;

WHILE (S[I] == T[I]) Б.В. Керниган, Д.М. Ричи. Язык С.

IF (S[I++] == '\0') RETURN(0);

RETURN(S[I]-T[I]);

Вот версия STRCMP с указателями:

STRCMP(S, T) /* RETURN<0IFS0IFS>T*/ CHAR *S, *T;

FOR ( ;

*S == *T;

S++, T++) IF (*S == '\0') RETURN(0);

RETURN(*S-*T);

так как ++ и — могут быть как постфиксными, так и префиксными операциями, встречаются другие комбинации * и ++ и --, хотя и менее часто.

Например *++P увеличивает P до извлечения символа, на который указывает P, а *--P сначала уменьшает P.

Упражнение 5-2.

Напишите вариант с указателями функции STRCAT из главы 2: STRCAT(S, T) копирует строку T в конецS.

Упражнение 5-3.

Напишите макрос для STRCPY.

Упражнение 5-4.

Перепишите подходящие программы из предыдущих глав и упражнений, используя указатели вместо индексации массивов. Хорошие возможности для этого предоставляют функции GETLINE /главы 1 и 4/, ATOI, ITOA и их варианты/главы 2, 3 и 4/, REVERSE /глава 3/, INDEX и GETOP /глава 4/.

5.6. Указатели — не целые Вы, возможно, обратили внимание в предыдущих "с"-программах на довольно непринужденное отношение к копированию указателей. В общем это верно, что на большинстве машин указатель можно присвоить целому и передать его обратно, не Б.В. Керниган, Д.М. Ричи. Язык С.

изменив его;

при этом не происходит никакого масштабирования или преобразования и ни один бит не теряется. к сожалению, это ведет к вольному обращению с функциями, возвращающими указатели, которые затем просто передаются другим функциям, - необходимые описания указателей часто опускаются. Рассмотрим, например, функцию STRSAVE(S), которая копирует строку S в некоторое место для хранения, выделяемое посредством обращения к функции ALLOC, и возвращает указатель на это место. Правильно она должна быть записана так:

CHAR *STRSAVE(S) /* SAVE STRING S SOMEWHERE */ CHAR *S;

CHAR *P, *ALLOC();

IF ((P = ALLOC(STRLEN(S)+1)) != NULL) STRCPY(P, S);

RETURN(P);

на практике существует сильное стремление опускать описания:

*STRSAVE(S) /* SAVESTRINGSSOMEWHERE*/ CHAR *P;

IF ((P = ALLOC(STRLEN(S)+1)) != NULL) STRCPY(P, S);

RETURN(P);

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

(Отладочная программа LINT предупредит о таких конструкциях, если они по неосторожности все же появятся).

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

Рассмотрим задачу преобразования дня месяца в день года и наоборот.

Например, 1-ое марта является 60-м днем невисокосного года и 61-м днем високосного года. Давайте введем две функции для выполнения этих Б.В. Керниган, Д.М. Ричи. Язык С.

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

MONTH_DAY(1977, 60, &M, &D) Полагает M равным 3 и D равным 1(1-ое марта).

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

STATIC INT DAY_TAB[2][13] = (0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31), (0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31) ;

DAY_OF_YEAR(YEAR, MONTH, DAY) /* SET DAY OF YEAR */ INT YEAR, MONTH, DAY;

/* FROM MONTH & DAY */ INT I, LEAP;

LEAP = YEAR%4 == 0 &&YEAR%100 != 0 \!\! YEAR%400 == 0;

FOR (I = 1;

I < MONTH;

I++) DAY += DAY_TAB[LEAP][I];

RETURN(DAY);

MONTH_DAY(YEAR, YEARDAY, PMONTH, PDAY) /*SET MONTH,DAY */ INT YEAR, YEARDAY, *PMONTH, *PDAY;

/* FROM DAY OF YEAR */ LEAP = YEAR%4 == 0 &&YEAR%100 != 0 \!\! YEAR%400 == 0;

FOR (I = 1;

YEARDAY > DAY_TAB[LEAP][I];

I++) YEARDAY -= DAY_TAB[LEAP][I];

*PMONTH = I;

*PDAY = YEARDAY;

Массив DAY_TAB должен быть внешним как для DAY_OF_YEAR, так и для MONTH_DAY, поскольку он используется обеими этими функциями.

Б.В. Керниган, Д.М. Ричи. Язык С.

Массив DAY_TAB является первым двумерным массивом, с которым мы имеем дело. По определению в "C" двумерный массив по существу является одномерным массивом, каждый элемент которого является массивом. Поэтому индексы записываются как DAY_TAB[I][J] а не DAY_TAB [I, J] как в большинстве языков. В остальном с двумерными массивами можно в основном обращаться таким же образом, как в других языках. Элементы хранятся по строкам, т.е. При обращении к элементам в порядке их размещения в памяти быстрее всего из меняется самый правый индекс.

Массив инициализируется с помощью списка начальных значений, заключенных в фигурные скобки;

каждая строка двумерного массива инициализируется соответствующим подсписком. Мы поместили в начало массива DAY_TAB столбец из нулей для того, чтобы номера месяцев изменялись естественным образом от 1 до 12, а не от 0 до 11. Так как за экономию памяти у нас пока не награждают, такой способ проще, чем подгонка индексов.

Если двумерный массив передается функции, то описание соответствующего аргумента функции должно содержать количество столбцов;

количество строк несущественно, поскольку, как и прежде, фактически передается указатель. Внашем конкретном случае это указатель объектов, являющихся массивами из 13 чисел типа INT. Таким образом, если бы требовалось передать массив DAY_TAB функции F, то описание в F имело бы вид:

F(DAY_TAB) INT DAY_TAB[2][13];

...

Так как количество строк является несущественным, то описание аргумента в F могло бы быть таким:

INT DAY_TAB[][13];

или таким INT (*DAY_TAB)[13];

в которм говорится, что аргумент является указателем массива из 13 целых. Круглые скобки здесь необходимы, потому что квадратные скобки [] имеют более высокий уровень старшинства, чем *;

как мы увидим в следующем разделе, без круглых скобок INT *DAY_TAB[13];

является описанием массива из 13 указателей на целые.

Б.В. Керниган, Д.М. Ричи. Язык С.

5.8. Массивы указателей;

указатели указателей Так как указатели сами являются переменными, то вы вполне могли бы ожидать использования массива указателей. Это действительно так. Мы проиллюстрируем это написанием программы сортировки в алфавитном порядке набора текстовых строк, предельно упрощенного варианта утилиты SORT операционной систем UNIX.

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

Здесь и возникают массивы указателей. Если подлежащие сортировке сроки хранятся одна за другой в длинном символьном массиве (управляемом, например, функцией ALLOC), то к каждой строке можно обратиться с помощью указателя на ее первый символ. Сами указатели можно хранить в массиве. две строки можно сравнить, передав их указатели функции STRCMP.

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

Процесс сортировки включает три шага:

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

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

#DEFINE NULL #DEFINE LINES 100 /* MAX LINES TO BE SORTED */ MAIN() /* SORT INPUT LINES */ \( CHAR *LINEPTR[LINES];

/*POINTERS TO TEXT LINES */ INT NLINES;

/* NUMBER OF INPUT LINES READ */ Б.В. Керниган, Д.М. Ричи. Язык С.

IF ((NLINES = READLINES(LINEPTR, LINES)) >= 0) \( SORT(LINEPTR, NLINES);

WRITELINES(LINEPTR, NLINES);

\) ELSE PRINTF("INPUT TOO BIG TO SORT\N");

\) #DEFINE MAXLEN READLINES(LINEPTR, MAXLINES) /* READ INPUT LINES */ CHAR *LINEPTR[];

/* FOR SORTING */ INT MAXLINES;

\( INT LEN, NLINES;

CHAR *P, *ALLOC(), LINE[MAXLEN];

NLINES = 0;

WHILE ((LEN = GETLINE(LINE, MAXLEN)) > 0) IF (NLINES >= MAXLINES) RETURN(-1);

ELSE IF ((P = ALLOC(LEN)) == NULL) RETURN (-1);

ELSE \( LINE[LEN-1] = '\0';

/* ZAP NEWLINE */ STRCPY(P,LINE);

LINEPTR[NLINES++] = P;

\) RETURN(NLINES);

\) Символ новой строки в конце каждой строки удаляется, так что он никак не будет влиять на порядок, в котором сортируются строки.

WRITELINES(LINEPTR, NLINES) /* WRITE OUTPUT LINES */ CHAR *LINEPTR[];

INT NLINES;

\( INT I;

FOR (I = 0;

I < NLINES;

I++) PRINTF("%S\N", LINEPTR[I]);

\) Б.В. Керниган, Д.М. Ричи. Язык С.

Существенно новым в этой программе является описание CHAR *LINEPTR[LINES];

которое сообщает, что LINEPTR является массивом из LINES элементов, каждый из которых — указатель на переменные типа CHAR. Это означает, что LINEPTR[I] — указатель на символы, а *LINEPTR[I] извлекает символ.

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

WRITELINES(LINEPTR, NLINES) /* WRITE OUTPUT LINES */ CHAR *LINEPTR[];

INT NLINES;

\( INT I;

WHILE (--NLINES >= 0) PRINTF("%S\N", *LINEPTR++);

\) здесь *LINEPTR сначала указывает на первую строку;

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

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

Основной алгоритм остается тем же самым, и это дает нам определенную уверенность, что он по-прежнему будет работать.

SORT(V, N) /* SORT STRINGS V[0]... V[N-1] */ CHAR *V[];

/* INTO INCREASING ORDER */ INT N;

\( INT GAP, I, J;

CHAR *TEMP;

FOR (GAP = N/2;

GAP > 0;

GAP /= 2) FOR (I = GAP;

I < N;

I++) FOR (J = I — GAP;

J >= 0;

J -= GAP) \( Б.В. Керниган, Д.М. Ричи. Язык С.

IF (STRCMP(V[J], V[J+GAP]) <= 0) BREAK;

TEMP = V[J];

V[J] = V[J+GAP];

V[J+GAP] = TEMP;

\) \) Так как каждый отдельный элемент массива V (имя формального параметра, соответствующего LINEPTR) является указателем на символы, то и TEMP должен быть указателем на символы, чтобы их было можно копировать друг в друга.

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

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

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

Упражнение 5-5.

Перепишите функцию READLINES таким образом, чтобы она помещала строки в массив, предоставляемый функцией MAIN, а не в память, управляемую обращениями кфункцииALLOC. Насколько быстрее стала программа?

5.9. Инициализация массивов указателей Рассмотрим задачу написания функции MONTH_NAME(N), которая возвращает указатель на символьную строку, содержащую имя N-го месяца. Это идеальная задача для применения внутреннего статического массива. Функция MONTH_NAME содержит локальный массив символьных строк и при обращении к ней возвращает указатель нужной строки. Тема настоящего раздела — как инициализировать этот массив имен.

CHAR *MONTH_NAME(N) /* RETURN NAME OF N-TH MONTH */ INT N;

\( Б.В. Керниган, Д.М. Ричи. Язык С.

STATIC CHAR *NAME[] = \( "ILLEGAL MONTH", "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUN", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" \);

RETURN ((N < 1 \!\! N > 12)? NAME[0] : NAME[N]);

\) Описание массива указателей на символы NAME точно такое же, как аналогичное описание LINEPTR в примере с сортировкой. Инициализатором является просто список символьных строк;

каждая строка присваивается соответствующей позиции в массиве. Более точно, символы I-ой строки помещаются в какое-то иное место, а ее указатель хранится в NAME[I]. Поскольку размер массива NAME не указан, компилятор сам подсчитывает количество инициализаторов и соответственно устанавливает правильное число.

5.10. Указатели и многомерные массивы Начинающие изучать язык "с" иногда становятся в тупик перед вопросом о различии между двумерным массивом и массивом указателей, таким как NAME в приведенном выше примере. Если имеются описания INT A[10][10];

INT *B[10];

то A и B можно использовать сходным образом в том смысле, что как A[5][5], так и B[5][5] являются законными ссылками на отдельное число типа INT. Но A — настоящий массив: под него отводится 100 ячеек памяти и для нахождения любого указанного элемента проводятся обычные вычисления с прямоугольными индексами. Для B, однако, описание выделяет только 10 указателей;

каждый указатель должен быть установлен так, чтобы он указывал на массив целых. если предположить, что каждый из них указывает на массив из 10 элементов, то тогда где-то будет отведено 100 ячеек памяти плюс еще десять ячеек для указателей. Таким образом, массив указателей Б.В. Керниган, Д.М. Ричи. Язык С.

использует несколько больший объем памяти и может требовать наличие явного шага инициализации. Но при этом возникают два преимущества: доступ к элементу осуществляется косвенно через указатель, а не посредством умножения и сложения, и строки массива могут иметь различные длины. Это означает, что каждый элемент B не должен обязательно указывать на вектор из 10 элементов;

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

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

Упражнение 5-6.

Перепишите функции DAY_OF_YEAR и MONTH_DAY, используя вместо индексации указатели.

5.11. Командная строка аргументов Системные средства, на которые опирается реализация языка "с", позволяют передавать командную строку аргументов или параметров начинающей выполняться программе. Когда функция MAIN вызывается к исполнению, она вызывается с двумя аргументами. Первый аргумент (условно называемый ARGC) указывает число аргументов в командной строке, с которыми происходит обращение к программе;

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

Самую простую иллюстрацию этой возможности и необходимых при этом описаний дает программа ECHO, которая просто печатает в одну строку аргументы командной строки, разделяя их пробелами. Таким образом, если дана команда ECHO HELLO, WORLD то выходом будет HELLO, WORLD по соглашению ARGV[0] является именем, по которому вызывается программа, так что ARGC по меньшей мере равен 1. В приведенном выше примере ARGC равен 3, а ARGV[0], ARGV[1] и ARGV[2] равны соответственно "ECHO", "HELLO," и "WORLD".

Первым фактическим агументом является ARGV[1], а последним — ARGV[ARGC-1].

Если ARGC равен 1, то за именем программы не следует никакой командной строки аргументов. Все это показано в ECHO:

MAIN(ARGC, ARGV) /* ECHO ARGUMENTS;

1ST VERSION */ INT ARGC;

CHAR *ARGV[];

\( INT I;

FOR (I = 1;

I < ARGC;

I++) Б.В. Керниган, Д.М. Ричи. Язык С.

PRINTF("%S%C", ARGV[I], (I

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

MAIN(ARGC, ARGV) /* ECHO ARGUMENTS;

2ND VERSION */ INT ARGC;

CHAR *ARGV[];

\( WHILE (--ARGC > 0) PRINTF("%S%C",*++ARGV, (ARGC > 1)? ' ' : '\N');

\) Так как ARGV является указателем на начало массива строк-аргументов, то, увеличив его на 1 (++ARGV), мы вынуждаем его указывать на подлинный аргумент ARGV[1], а не на ARGV[0]. Каждое последующее увеличение передвигает его на следующий аргумент;

при этом *ARGV становится указателем на этот аргумент. одновременно величина ARGC уменьшается;

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

Другой вариант:

MAIN(ARGC, ARGV) /* ECHO ARGUMENTS;

3RD VERSION */ INT ARGC;

CHAR *ARGV[];

\( WHILE (--ARGC > 0) PRINTF((ARGC > 1)? "%S" : "%S\N", *++ARGV);

\) Эта версия показывает, что аргумент формата функции PRINTF может быть выражением, точно так же, как и любой другой. Такое использование встречается не очень часто, но его все же стоит запомнить.

Как второй пример, давайте внесем некоторые усовершенствования в программу отыскания заданной комбинации символов из главы 4. Если вы помните, мы поместили искомую комбинацию глубоко внутрь программы, что очевидно является совершенно неудовлетворительным. Следуя утилите GREP системы UNIX, да вайте изменим программу так, чтобы эта комбинация указывалась в качестве первого аргумента строки.

#DEFINE MAXLINE MAIN(ARGC, ARGV) /* FIND PATTERN FROM FIRST ARGUMENT */ INT ARGC;

Б.В. Керниган, Д.М. Ричи. Язык С.

CHAR *ARGV[];

\( CHAR LINE[MAXLINE];

IF (ARGC != 2) PRINTF ("USAGE: FIND PATTERN\N");

ELSE WHILE (GETLINE(LINE, MAXLINE) > 0) IF (INDEX(LINE, ARGV[1] >= 0) PRINTF("%S", LINE);

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

Общепринятым соглашением в "с"-программах является то, что аргумент, начинающийся со знака минус, вводит необязательный признак или параметр. Если мы, для того, чтобы сообщить об инверсии, выберем -X, а для указания о нумерации нужных строк выберем -N("номер"), то команда FIND -X -N THE при входных данных NOW IS THE TIME FOR ALL GOOD MEN TO COME TO THE AID OF THEIR PARTY.

Должна выдать 2:FOR ALL GOOD MEN Нужно, чтобы необязательные аргументы могли располагаться в произвольном порядке, и чтобы остальная часть программы не зависела от количества фактически присутствующих аргументов. в частности, вызов функции INDEX не должен содержать ссылку на ARGV[2], когда присутствует один необязательный аргумент, и на ARGV[1], когда его нет. Более того, для пользователей удобно, чтобы необязательные аргументы можно было объединить в виде:

FIND -NX THE вот сама программа:

Б.В. Керниган, Д.М. Ричи. Язык С.

#DEFINE MAXLINE MAIN(ARGC, ARGV) /* FIND PATTERN FROM FIRST ARGUMENT */ INT ARGC;

CHAR *ARGV[];

\( CHAR LINE[MAXLINE], *S;

LONG LINENO = 0;

INT EXCEPT = 0, NUMBER = 0;

WHILE (--ARGC > 0 && (*++ARGV)[0] == '-') FOR (S = ARGV[0]+1;

*S != '\0';

S++) SWITCH (*S) \( CASE 'X':

EXCEPT = 1;

BREAK;

CASE 'N':

NUMBER = 1;

BREAK;

DEFAULT:

PRINTF("FIND: ILLEGAL OPTION %C\N", *S);

ARGC = 0;

BREAK;

\) IF (ARGC != 1) PRINTF("USAGE: FIND -X -N PATTERN\N");

ELSE WHILE (GETLINе(LINE, MAXLINE) > 0) \( LINENO++;

IF((INDEX(LINE, *ARGV) >= 0) != EXCEPT) \ IF (NUMBER) PRINTF("%LD: ", LINENO);

PRINTF("%S", LINE);

\) \) \) Аргумент ARGV увеличивается перед каждым необязательным аргументом, в то время как аргумент ARGC уменьшается. если нет ошибок, то в конце цикла величина Б.В. Керниган, Д.М. Ричи. Язык С.

ARGC должна равняться 1, а *ARGV должно указывать на заданную комбинацию.

Обратите внимание на то, что *++ARGV является указателем аргументной строки;

(*++ARGV)[0] — ее первый символ. Круглые скобки здесь необходимы, потому что без них выражение бы приняло совершенно отличный (инеправильный) вид *++(ARGV[0]).

Другой правильной формой была бы **++ARGV.

Упражнение 5-7.

Напишите программу ADD, вычисляющую обратное польское выражение из командной строки. Например, ADD234+ * вычисляет 2*(3+4).

Упражнение 5-8.

Модифицируйте программы ENTAB и DETAB (указанные в качестве упражнений в главе 1) так, чтобы они получали список табуляционных остановок в качестве аргументов. Если аргументы отсутствуют, используйте стандартную установку табуляций.

Упражнение 5-9.

Расширьте ENTAB и DETAB таким образом, чтобы они воспринимали сокращенную нотацию ENTAB M +N означающую табуляционные остановки через каждые N столбцов, начиная со столбца M. Выберите удобное (для пользователя) поведение функции по умолчанию.

Упражнение 5-10.

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

5.12. Указатели на функции В языке "с" сами функции не являются переменными, но имеется возможность определить указатель на функцию, который можно обрабатывать, передавать другим функциям, помещать в массивы и т.д. Мы проиллюстрируем это, проведя модификацию написанной ранее программы сортировки так, чтобы при задании Б.В. Керниган, Д.М. Ричи. Язык С.

необязательного аргумента -N она бы сортировала строки ввода численно, а не лексикографически.

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

Как и прежде, лексикографическое сравнение двух строк осуществляется функцией STRCMP, а перестановка функцией SWAP;

нам нужна еще функция NUMCMP, сравнивающая две строки на основе численного значения и возвращающая условное указание того же вида, что и STRCMP. Эти три функции описываются в MAIN и указатели на них передаются в SORT. В свою очередь функция SORT обращается к этим функциям через их указатели. мы урезали обработку ошибок в аргументах с тем, чтобы сосредоточиться на главных вопросах.

#DEFINE LINES 100 /* MAX NUMBER OF LINES TO BE SORTED */ MAIN(ARGC, ARGV) /* SORT INPUT LINES */ INT ARGC;

CHAR *ARGV[];

\( CHAR *LINEPTR[LINES];

/* POINTERS TO TEXT LINES */ INT NLINES;

/* NUMBER OF INPUT LINES READ */ INT STRCMP(), NUMCMP();

/* COMPARSION FUNCTIONS */ INT SWAP();

/* EXCHANGE FUNCTION */ INT NUMERIC= 0;

/* 1IFNUMERICSORT */ IF(ARGC>1 && ARGV[1][0] == '-' && ARGV[1][1]=='N') NUMERIC = 1;

IF(NLINES = READLINES(LINEPTR, LINES)) >= 0) \( IF (NUMERIC) SORT(LINEPTR, NLINES, NUMCMP, SWAP);

ELSE SORT(LINEPTR, NLINES, STRCMP, SWAP);

WRITELINES(LINEPTR, NLINES);

\) ELSE PRINTF("INPUT TOO BIG TO SORT\N");

\) Б.В. Керниган, Д.М. Ричи. Язык С.

Здесь STRCMP, NIMCMP и SWAP — адреса функций;

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

Второй шаг состоит в модификации SORT:

SORT(V, N, COMP, EXCH) /* SORT STRINGS V[0]... V[N-1] */ CHAR *V[];

/* INTO INCREASING ORDER */ INT N;

INT (*COMP)(), (*EXCH)();

\( INT GAP, I, J;

FOR(GAP = N/2;

GAP > 0;

GAP /= 2) FOR(I =GAP;

I

I++) FOR(J = I-GAP;

J >= 0;

J -= GAP) \( IF((*COMP)(V[J], V[J+GAP]) <= 0) BREAK;

(*EXCH)(&V[J], &V[J+GAP]);

\) \) Здесь следует обратить определенное внимание на описания. Описание INT (*COMP)() говорит, что COMP является указателем на функцию, которая возвращает значение типа INT. Первые круглые скобки здесь необходимы;

без них описание INT *COMP() говорило бы, что COMP является функцией, возвращающей указатель на целые, что, конечно, совершенно другая вещь.

Использование COMP в строке IF (*COMP)(V[J], V[J+GAP]) <= 0) полностью согласуется с описанием: COMP — указатель на функцию, *COMP — сама функция, а (*COMP)(V[J], V[J+GAP]) - обращение к ней. Круглые скобки необходимы для правильного объединения компонентов.

Б.В. Керниган, Д.М. Ричи. Язык С.

Мы уже приводили функцию STRCMP, сравнивающую две строки по первому численному значению:

NUMCMP(S1, S2) /* COMPARE S1 AND S2 NUMERICALLY */ CHAR *S1, *S2;

\( DOUBLE ATOF(), V1, V2;

V1 = ATOF(S1);

V2 = ATOF(S2);

IF(V1 < V2) RETURN(-1);

ELSE IF(V1 > V2) RETURN(1);

ELSE RETURN (0);

\) Заключительный шаг состоит в добавлении функции SWAP, переставляющей два указателя. Это легко сделать, непосредственно используя то, что мы изложили ранее в этой главе.

SWAP(PX, PY) /* INTERCHANGE *PX AND *PY */ CHAR *PX[], *PY[];

\( CHAR *TEMP;

TEMP = *PX;

*PX = *PY;

*PY = TEMP;

\) Имеется множество других необязятельных аргументов, которые могут быть включены в программу сортировки: некоторые из них составляют интересные упражнения.

Упражнение 5-11.

Модифицируйте SORT таким образом, чтобы она работала с меткой -R, указывающей на сортировку в обратном (убывающем) порядке. Конечно, -R должна работать с -N.

Упражнение 5-12.

Добавьте необязательный аргумент -F, объединяющий вместе прописные и строчные буквы, так чтобы различие регистров не учитывалось во время сортировки:

Б.В. Керниган, Д.М. Ричи. Язык С.

данные из верхнего и нижнего регистров сортируются вместе, так что буква 'а' прописное и 'а' строчное оказываются соседними, а не разделенными целым алфавитом.

Упражнение 5-13.

Добавьте необязательный аргумент -D ("словарное упорядочивание"), при наличии которого сравниваются только буквы, числа и пробелы. Позаботьтесь о том, чтобы эта функция работала и вместе с -F.

Упражнение 5-14.

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

6. Структуры Структура — это набор из одной или более переменных, возможно различных типов, сгруппированных под одним именем для удобства обработки. (В некоторых языках, самый известный из которых паскаль, структуры называются "записями").

Традиционным примером структуры является учетная карточка работающего:

"служащий" описывается набором атрибутов таких, как фамилия, имя, отчество (ф.и.о.), адрес, код социального обеспечения, зарплата и т.д. Некоторые из этих атри бутов сами могут оказаться структурами: ф.и.о. Имеет несколько компонент, как и адрес, и даже зарплата.

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

6.1. Основные сведения Давайте снова обратимся к процедурам преобразования даты из главы 5. Дата состоит из нескольких частей таких, как день, месяц, и год, и, возможно, день года и имя месяца. Эти пять переменных можно объеденить в одну структуру вида:

STRUCT DATE \( INT DAY;

INT MONTH;

INT YEAR;

INT YEARDAY;

CHAR MON_NAME[4];

\);

Описание структуры, состоящее из заключенного в фигурные скобки списка описаний, начинается с ключевого слова STRUCT. За словом STRUCT может следовать Б.В. Керниган, Д.М. Ричи. Язык С.

необязательное имя, называемое ярлыком структуры (здесь это DATе). Такой ярлык именует структуры этого вида и может использоваться в дальнейшем как сокращенная запись подробного описания.

Элементы или переменные, упомянутые в структуре, называются членами.

Ярлыки и члены структур могут иметь такие же имена, что и обычные переменные (т.е. Не являющиеся членами структур), поскольку их имена всегда можно различить по контексту. Конечно, обычно одинаковые имена присваивают только тесно связанным объектам.

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

Оператор STRUCT \(...\) X,Y,Z;

синтаксически аналогичен INT X,Y,Z;

втомсмысле, что каждый из операторов описывает X, Y и Z в качестве переменных соотвествующих типов и приводит к выделению для них памяти.

Описание структуры, за которым не следует списка переменных, не приводит к выделению какой-либо памяти;

оно только определяет шаблон или форму структуры.

Однако, если такое описание снабжено ярлыком, то этот ярлык может быть исполь зован позднее при определении фактических экземпляров структур. Например, если дано приведенное выше описание DATE, то STRUCT DATE D;

определяет переменную D в качестве структуры типа DATE.

Внешнюю или статическую структуру можно инициализировать, поместив вслед за ее определением список инициализаторов для ее компонент:

STRUCT DATE D=\( 4, 7, 1776, 186, "JUL"\);

Член определенной структуры может быть указан в выражении с помощью конструкции вида имя структуры. Член Операция указания члена структуры "." связывает имя структуры и имя члена. В качестве примера определим LEAP (признак високосности года) на основе даты, находящейся в структуре D, LEAP = D.YEAR%4 == 0 &&D.YEAR%100 != \!\! D.YEAR % 400 == 0;

Б.В. Керниган, Д.М. Ричи. Язык С.

или проверим имя месяца IF (STRCMP(D.MON_NAME, "AUG") == 0)...

Или преобразуем первый символ имени месяца так, чтобы оно начиналось со строчной буквы D.MON_NAME[0] = LOWER(D.MON_NAME[0]);

Структуры могут быть вложенными;

учетная карточка служащего может фактически выглядеть так:

STRUCT PERSON \( CHAR NAME[NAMESIZE];

CHAR ADDRESS[ADRSIZE];

LONG ZIPCODE;

/* почтовый индекс */ LONG SS_NUMBER;

/* код соц. Обеспечения */ DOUBLE SALARY;

/* зарплата */ STRUCT DATE BIRTHDATE;

/* дата рождения */ STRUCT DATE HIREDATE;

/* дата поступления на работу */ \);

Структура PERSON содержит две структуры типа DATE. Если мы определим EMP как STRUCT PERSON EMP;

то EMP.BIRTHDATE.MONTH будет ссылаться на месяц рождения. Операция указания члена структуры "."

ассоциируется слева направо.

6.2. Структуры и функции В языке "C" существует ряд ограничений на использование структур.

Обязательные правила заключаются в том, что единственные операции, которые вы можете проводить со структурами, состоят в определении ее адреса с помощью операции & и доступе к одному из ее членов. Это влечет за собой то, что структуры нельзя присваивать или копировать как целое, и что они не могут быть переданы функциям или возвращены ими. (В последующих версиях эти ограничения будут сняты). На указатели структур эти ограничения однако не накладываются, так что структуры и функции все же могут с удобством работать совместно. И наконец, автоматические структуры, как и автоматические массивы, не могут быть инициализированы;

инициализация возможна только в случае внешних или статических структур.

Б.В. Керниган, Д.М. Ричи. Язык С.

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

Так как правила запрещают непосредственную передачу структуры функции, то мы должны либо передавать отдельно компоненты, либо передать указатель всей структуры. Первая возможность демонстрируется на примере функции DAY_OF_YEAR, как мы ее написали в главе 5:

D.YEARDAY = DAY_OF_YEAR(D.YEAR, D.MONTH, D.DAY);

другой способ состоит в передаче указателя. если мы опишем HIREDATE как STRUCT DATE HIREDATE;

и перепишем DAY_OF_YEAR нужным образом, мы сможем тогда написать HIREDATE YEARDAY = DAY_OF_YEAR(&HIREDATE);

передавая указатель на HIREDATE функции DAY_OF_YEAR. Функция должна быть модифицирована, потому что ее аргумент теперь является указателем, а не списком переменных.

DAY_OF_YEAR(PD) /* SET DAY OF YEAR FROM MONTH, DAY */ STRUCT DATE *PD;

\( INTI, DAY, LEAP;

DAY = PD->DAY;

LEAP = PD->YEAR % 4 == 0 && PD->YEAR % 100 != \!\! PD->YEAR % 400 == 0;

FOR (I =1;

I < PD->MONTH;

I++) DAY += DAY_TAB[LEAP][I];

RETURN(DAY);

\) Описание STRUCT DATE *PD;

говорит, что PD является указателем структуры типа DATE. Запись, показанная на примере PD->YEAR является новой. Если P — указатель на структуру, то P-> член структуры Б.В. Керниган, Д.М. Ричи. Язык С.

обращается к конкретному члену. (Операция -> — это знак минус, за которым следует знак ">".) Так как PD указывает на структуру, то к члену YEAR можно обратиться и следующим образом (*PD).YEAR но указатели структур используются настолько часто, что запись -> оказывается удобным сокращением. Круглые скобки в (*PD).YEAR необходимы, потому что операция указания члена стуктуры старше, чем *. Обе операции, "->" и ".", ассоциируются слева направо, так что конструкции слева и справа зквивалентны P->Q->MEMB (P->Q)->MEMB EMP.BIRTHDATE.MONTH (EMP.BIRTHDATE).MONTH Для полноты ниже приводится другая функция, MONTH_DAY, переписанная с использованием структур.

MONTH_DAY(PD) /* SET MONTH AND DAY FROM DAY OF YEAR */ STRUCT DATE *PD;

\( INT I, LEAP;

LEAP = PD->YEAR%4 == 0 &&PD->YEAR%100 != \!\! PD->YEAR % 400 == 0;

PD->DAY = PD->YEARDAY;

FOR (I = 1;

PD->DAY > DAY_TAB[LEAP][I];

I++) PD->DAY -= DAY_TAB[LEAP][I];

PD->MONTH = I;

\) Операции работы со структурами "->" и "." наряду со () для списка аргументов и [] для индексов находятся на самом верху иерархии страшинства операций и, следовательно, связываются очень крепко. Если, например, имеется описание STRUCT \( INT X;

INT *Y;

\) *P;

то выражение Б.В. Керниган, Д.М. Ричи. Язык С.

++P->X увеличивает х, а не р, так как оно эквивалентно выражению ++(P->х). Для изменения порядка выполнения операций можно использовать круглые скобки: (++P)->х увеличивает P до доступа к х, а (P++)->X увеличивает P после. (круглые скобки в последнем случае необязательны. Почему?) Совершенно аналогично *P->Y извлекает то, на что указывает Y;

*P->Y++ увеличивает Y после обработки того, на что он указывает (точно так же, как и *S++);

(*P->Y)++ увеличивает то, на что указывает Y;

*P++->Y увеличивает P после выборки того, на что указывает Y.

6.3. Массивы структур Структуры особенно подходят для управления массивами связанных переменных. Рассмотрим, например, программу подсчета числа вхождений каждого ключевого слова языка "C". Нам нужен массив символьных строк для хранения имен и массив целых для подсчета. одна из возможностей состоит в использовании двух параллельных массивов KEYWORD и KEYCOUNT:

CHAR *KEYWORD [NKEYS];

INT KEYCOUNT [NKEYS];

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

CHAR *KEYWORD;

INT KEYCOUNT;

и, следовательно, имеется массив пар. Описание структуры STRUCT KEY \( CHAR *KEYWORD;

INT KEYCOUNT;

\) KEYTAB [NKEYS];

оперделяет массив KEYTAB структур такого типа и отводит для них память. Каждый элемент массива является структурой. Это можно было бызаписать и так:

STRUCT KEY \( CHAR *KEYWORD;

INT KEYCOUNT;

\);

STRUCT KEY KEYTAB [NKEYS];

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

Б.В. Керниган, Д.М. Ричи. Язык С.

Инициализация структур вполне аналогична предыдущим инициализациям — за определением следует заключенный в фигурные скобки список инициализаторов:

STRUCT KEY \( CHAR *KEYWORD;

INT KEYCOUNT;

\) KEYTAB[] =\( "BREAK", 0, "CASE", 0, "CHAR", 0, "CONTINUE", 0, "DEFAULT", 0, /*... */ "UNSIGNED", 0, "WHILE", \);

Инициализаторы перечисляются парами соответственно членам структуры. Было бы более точно заключать в фигурные скобки инициализаторы для каждой "строки" или структуры следующим образом:

\( "BREAK", 0 \), \( "CASE", 0 \),...

Но когда инициализаторы являются простыми переменными или символьными строками и все они присутствуют, то во внутренних фигурных скобках нет необходимости. Как обычно, компилятор сам вычислит число элементов массива KEYTAB, если инициализаторы присутствуют, а скобки[] оставлены пустыми.

Программа подсчета ключевых слов начинается с определения массива KEYTAB.

ведущая программа читает свой файл ввода, последовательно обращаясь к функции GETWORD, которая извлекает из ввода по одному слову за обращение. Каждое слово ищется в массиве KEYTAB с помощью варианта функции бинарного поиска, написанной нами в главе 3. (Конечно, чтобы эта функция работала, список ключевых слов должен быть расположен в порядке возрастания).

#DEFINE MAXWORD MAIN() /* COUNT "C" KEYWORDS */ \( INT N, T;

CHAR WORD[MAXWORD];

WHILE ((T = GETWORD(WORD,MAXWORD)) != EOF) Б.В. Керниган, Д.М. Ричи. Язык С.

IF (T == LETTER) IF((N = BINARY(WORD,KEYTAB,NKEYS)) >= 0) KEYTAB[N].KEYCOUNT++;

FOR(N=0;

N< NKEYS;

N++) IF (KEYTAB[N].KEYCOUNT > 0) PRINTF("%4D %S\N", KEYTAB[N].KEYCOUNT, KEYTAB[N].KEYWORD);

\) BINARY(WORD, TAB, N) /* FIND WORD IN TAB[0]...TAB[N-1] */ CHAR *WORD;

STRUCT KEY TAB[];

INT N;

\( INT LOW, HIGH, MID, COND;

LOW = 0;

HIGH = N — 1;

WHILE (LOW <= HIGH) \( MID = (LOW+HIGH) / 2;

IF((COND = STRCMP(WORD, TAB[MID].KEYWORD)) < 0) HIGH = MID — 1;

ELSE IF (COND > 0) LOW = MID + 1;

ELSE RETURN (MID);

\) RETURN(-1);

\) Мы вскоре приведем функцию GETWORD;

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

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

Но, поскольку размер этого массива полностью определен к моменту компиляции, здесь имеется более простая возможность. Число элементов просто есть Б.В. Керниган, Д.М. Ричи. Язык С.

SIZE OF KEYTAB / SIZE OF STRUCT KEY дело в том, что в языке "C" предусмотрена унарная операция SIZEOF, выполняемая во время компиляции, которая позволяет вычислить размер любого объекта. Выражение SIZEOF(OBJECT) выдает целое, равное размеру указанного объекта. (Размер определяется в неспецифицированных единицах, называемых "байтами", которые имеют тот же размер, что и переменные типа CHAR). Объект может быть фактической переменной, массивом и структурой, или именем основного типа, как INT или DOUBLE, или именем производного типа, как структура. В нашем случае число ключевых слов равно размеру массива, деленному на размер одного элемента массива. Это вычисление используется в утверждении #DEFINE для установления значения NKEYS:

#DEFINE NKEYS (SIZEOF(KEYTAB) / SIZEOF(STRUCT KEY)) Теперь перейдем к функции GETWORD. Мы фактически написали более общий вариант функции GETWORD, чем необходимо для этой программы, но он не на много более сложен. Функция GETWORD возвращает следующее "слово" из ввода, где словом считается либо строка букв и цифр, начинающихся с буквы, либо отдельный символ.

Тип объекта возвращается в качетве значения функции;

это — LETTER, если найдено слово, EOFдля конца файла и сам символ, если он не буквенный.

GETWORD(W, LIM) /* GET NEXT WORD FROM INPUT */ CHAR *W;

INT LIM;

\( INT C, T;

IF (TYPE(C=*W++=GETCH()) !=LETTER) \( *W='\0';

RETURN(C);

\) WHILE (--LIM > 0) \( T = TYPE(C = *W++ = GETCH());

IF (T ! = LETTER && T ! = DIGIT) \( UNGETCH(C);

BREAK;

\) \) *(W-1) — '\0';

RETURN(LETTER);

Б.В. Керниган, Д.М. Ричи. Язык С.

\) Функция GETWORD использует функции GETCH и UNGETCH, которые мы написали в главе 4: когда набор алфавитных символов прерывается, функция GETWORD получает один лишний символ. В результате вызова UNGETCH этот символ помещается назад во ввод для следующего обращения.

Функция GETWORD обращается к функции TYPE для определения типа каждого отдельного символа из файла ввода. Вот вариант, справедливый только для алфавита ASCII.

TYPE(C) /* RETURN TYPE OF ASCII CHARACTER */ INT C;

\( IF (C>= 'A' && C<= 'Z' \!\! C>= 'A' && C<= 'Z') RETURN(LETTER);

ELSE IF (C>= '0' && C<= '9') RETURN(DIGIT);

ELSE RETURN(C);

\) Символические константы LETTER и DIGIT могут иметь любые значения, лишь бы они не вступали в конфликт с символами, отличными от буквенно-цифровых, и с EOF;

очевидно возможен следующий выбор #DEFINE LETTER 'A' #DEFINE DIGIT '0' функция GETWORD могла бы работать быстрее, если бы обращения к функции TYPE были заменены обращениями к соответствующему массиву TYPE[ ]. В стандартной библиотеке языка "C" предусмотрены макросы ISALPHA и ISDIGIT, действующие необходимым образом.

Упражнение 6-1.

Сделайте такую модификацию функции GETWORD и оцените, как изменится скорость работы программы.

Упражнение 6-2.

Напишите вариант функции TYPE, не зависящий от конкретного наборасимволов.

Упражнение 6-3.

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

Б.В. Керниган, Д.М. Ричи. Язык С.

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

Внешнее описание массива KEYTAB не нужно изменять, но функции MAIN и BINARY требуют модификации.

MAIN() /* COUNT C KEYWORD;

POINTER VERSION */ \( INT T;

CHAR WORD[MAXWORD];

STRUCT KEY *BINARY(), *P;

WHILE ((T = GETWORD(WORD, MAXWORD;

) !=EOF) IF (T==LETTER) IF ((P=BINARY(WORD,KEYTAB,NKEYS)) !=NULL) P->KEYCOUNT++;

FOR (P=KEYTAB;

P>KEYTAB + NKEYS;

P++) IF (P->KEYCOUNT > 0) PRINTF("%4D%S/N", P->KEYCOUNT, P->KEYWORD);

\) STRUCT KEY *BINARY(WORD, TAB, N) /* FIND WORD */ CHAR *WORD /* IN TAB[0]...TAB[N-1] */ STRUCT KEY TAB [];

INT N;

\( INT COND;

STRUCT KEY *LOW = &TAB[0];

STRUCT KEY *HIGH = &TAB[N-1];

STRUCT KEY *MID;

WHILE (LOW <= HIGH) \( MID = LOW + (HIGH-LOW) / 2;

IF ((COND = STRCMP(WORD, MID->KEYWORD)) < 0) HIGH = MID — 1;

ELSE IF (COND > 0) LOW = MID + 1;

ELSE RETURN(MID);

\) RETURN(NULL);

Б.В. Керниган, Д.М. Ричи. Язык С.

\) Здесь имеется несколько моментов, которые стоит отметить. Во-первых, описание функции BINARI должно указывать, что она возвращает указатель на структуру типа KEY, а не на целое;

это объявляется как в функции MAIN, так и в BINARY. Если функция BINARI находит слово, то она возвращает указатель на него;

если же нет, она возвращает NULL.

Во-вторых, все обращения к элементам массива KEYTAB осуществляются через указатели. Это влечет за собой одно существенное изменение в функции BINARY:

средний элемент больше нельзя вычислять просто по формуле MID = (LOW + HIGH) / потому что сложение двух указателей не дает какого-нибудь полезного результата (даже после деления на 2) и в действительности является незаконным. эту формулу надо заменить на MID = LOW + (HIGH-LOW) / в результате которой MID становится указателем на элемент, расположенный посередине между LOW и HIGH.

Вам также следует разобраться в инициализации LOW и HIGH. указатель можно инициализировать адресом ранее определенного объекта;

именно как мы здесь и поступили.

ВфункцииMAIN мы написали FOR (P=KEYTAB;

P < KEYTAB + NKEYS;

P++) Если P является указателем структуры, то любая арифметика с P учитывает фактический размер данной структуры, так что P++ увеличивает P на нужную величину, в результате чего P указывает на следующий элемент массива структур. Но не считайте, что размер структуры равен сумме размеров ее членов, — из-за требований выравнивания для различных объектов в структуре могут возникать "дыры".

И, наконец, несколько второстепенный вопрос о форме записи программы. Если возвращаемая функцией величина имеет тип, как, например, в STRUCT KEY *BINARY(WORD, TAB, N) Tо может оказаться, что имя функции трудно выделить среди текста. В связи с этим иногда используется другой стиль записи:

STRUCT KEY * BINARY(WORD, TAB, N) Это главным образом дело вкуса;

выберите ту форму, которая вам нравится, и придерживайтесь ее.

Б.В. Керниган, Д.М. Ричи. Язык С.

6.5. Структуры, ссылающиеся на себя.

Pages:     | 1 || 3 | 4 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.