Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

month_day(1988, 60, &m, &d)

присваивает переменной m значение 2, а d - 29 (29 февраля).

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

static char daytab[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: определяет день года по месяцу и дню */

int day_of_year(int year, int month, int day)

{

int i, leap;

leap = year % 4 == 0 && year % 100 !=0 || year % 400 == 0;

for (i = 1; i ‹ month; i++)

day += daytab[leap][i];

return day;

}

/* month_day: определяет месяц и день по дню года */

void month_day(int year, int yearday, int *pmonth, int *pday)

{

int i, leap;

leap = year % 4 == 0 && year % 100 != 0 || year % 400 == 0;

for (i = 1; yearday › daytab[leap][i]; i++)

yearday -= daytab[leap][i];

*pmonth = i;

*pday = yearday;

}

Напоминаем, что арифметическое значение логического выражения (например выражения, с помощью которого вычислялось leap ) равно либо нулю (ложь), либо единице (истина), так что мы можем использовать его как индекс в массиве daytab .

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

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

daytab[i][j] /* [строка] [столбец] */

а не так:

daytab[i,j] /* НЕВЕРНО */

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

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

Если двумерный массив передается функции в качестве аргумента, то объявление соответствующего ему параметра должно содержать количество столбцов; количество строк в данном случае несущественно, поскольку, как и прежде, функции будет передан указатель на массив строк, каждая из которых есть массив из 13 значений типа int . B нашем частном случае мы имеем указатель на объекты, являющиеся массивами из 13 значений типа int . Таким образом, если массив daytab передается некоторой функции f , то эту функцию можно было бы определить следующим образом:

f(int daytab[2][13]) {…}

Вместо этого можно записать

f(int daytab[][13]) {…}

поскольку число строк здесь не имеет значения, или

f(int (*daytab)[13]) {…}

Последняя запись объявляет, что параметр есть указатель на массив из 13 значений типа int . Скобки здесь необходимы, так как квадратные скобки []имеют более высокий приоритет, чем *. Без скобок объявление

int *daytab[13]

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

Упражнение 5.8. В функциях day_of_year и month_day нет никаких проверок правильности вводимых дат. Устраните этот недостаток.

Напишем функцию month_name(n) , которая возвращает указатель на строку символов, содержащий название n -го месяца. Эта функция идеальна для демонстрации использования статического массива. Функция month_name имеет в своем личном распоряжении массив строк, на одну из которых она и возвращает указатель. Ниже покажем, как инициализируется этот массив имен.

Синтаксис задания начальных значений аналогичен синтаксису предыдущих инициализаций:

/* month_name: возвращает имя n-го месяца */

char *month_name(int n)

{

static char *name[] = {

"Неверный месяц",

"Январь","Февраль","Март","Апрель","Май","Июнь",

"Июль","Август","Сентябрь","Октябрь","Ноябрь","Декабрь"

};

return (n ‹ 1 || n › 12) ? name[0] : name[n];

}

Объявление name массивом указателей на символы такое же, как и объявление lineptr в программе сортировки. Инициализатором служит список строк, каждой из которых соответствует определенное место в массиве. Символы i -й строки где-то размещены, и указатель на них запоминается в name[i] . Так как размер массива name не специфицирован, компилятор вычислит его по количеству заданных начальных значений.

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

int a[10][20];

int *b[10];

записи a[3][4] и b[3][4] будут синтаксически правильным обращением к некоторому значению типа int . Однако только a является истинно двумерным массивом: для двухсот элементов типа int будет выделена память, а вычисление смещения элемента a[строка][столбец] от начала массива будет вестись по формуле 20 * строка + столбец , учитывающей его прямоугольную природу. Для b же определено только 10 указателей, причем без инициализации. Инициализация должна задаваться явно -либо статически, либо в программе. Предположим, что каждый элемент b указывает на двадцатиэлементный массив, в результате где-то будут выделены пространство, в котором разместятся 200 значений типа int , и еще 10 ячеек для указателей. Важное преимущество массива указателей в том, что строки такого массива могут иметь разные длины. Таким образом, каждый элемент массива b не обязательно указывает на двадцатиэлементный вектор; один может указывать на два элемента, другой - на пятьдесят, а некоторые и вовсе могут ни на что не указывать.