- •Предисловие
- •Предисловие к первому изданию
- •Введение
- •1. Обзор языка
- •1.1. Начнем, пожалуй
- •1.2. Переменные и арифметические выражения
- •1.3. Инструкция for
- •1.4. Именованные константы
- •1.5. Ввод-вывод символов
- •1.5.1. Копирование файла
- •1.5.2. Подсчет символов
- •1.5.3. Подсчет строк
- •1.5.4. Подсчет слов
- •1.6. Массивы
- •1.7. Функции
- •1.8. Аргументы. Вызов по значению
- •1.9. Символьные массивы
- •1.10. Внешние переменные и область видимости
- •2. Типы, операторы и выражения
- •2.1. Имена переменных
- •2.2. Типы и размеры данных
- •2.3. Константы
- •2.4. Объявления
- •2.5. Арифметические операторы
- •2.6. Операторы отношения и логические операторы
- •2.7. Преобразования типов
- •2.8. Операторы инкремента и декремента
- •2.9. Побитовые операторы
- •2.10. Операторы и выражения присваивания
- •2.11. Условные выражения
- •2.12. Приоритет и очередность вычислений
- •3. Управление
- •3.1. Инструкции и блоки
- •3.2. Конструкция if-else
- •3.3. Конструкция else-if
- •3.4. Переключатель switch
- •3.5. Циклы while и for
- •3.6. Цикл do-while
- •3.7. Инструкции break и continue
- •3.8. Инструкция goto и метки
- •4. Функции и структура программы
- •4.1. Основные сведения о функциях
- •4.2. Функции, возвращающие нецелые значения
- •4.3. Внешние переменные
- •4.4. Области видимости
- •4.5. Заголовочные файлы
- •4.6. Статические переменные
- •4.7. Регистровые переменные
- •4.8. Блочная структура
- •4.9. Инициализация
- •4.10. Рекурсия
- •4.11. Препроцессор языка Си
- •4.11.1. Включение файла
- •4.11.2. Макроподстановка
- •4.11.3. Условная компиляция
- •5. Указатели и массивы
- •5.1. Указатели и адреса
- •5.2. Указатели и аргументы функций
- •5.3. Указатели и массивы
- •5.4. Адресная арифметика
- •5.5. Символьные указатели функции
- •5.6. Массивы указателей, указатели на указатели
- •5.7. Многомерные массивы
- •5.8. Инициализация массивов указателей
- •5.9. Указатели против многомерных массивов
- •5.10. Аргументы командной строки
- •5.11. Указатели на функции
- •5.12. Сложные объявления
- •6. Структуры
- •6.1. Основные сведения о структурах
- •6.2. Структуры и функции
- •6.3. Массивы структур
- •6.4. Указатели на структуры
- •6.5. Структуры со ссылками на себя
- •6.6. Просмотр таблиц
- •6.7. Средство typedef
- •6.8. Объединения
- •6.9. Битовые поля
- •7. Ввод и вывод
- •7.1. Стандартный ввод-вывод
- •7.2. Форматный вывод (printf)
- •7.3. Списки аргументов переменной длины
- •7.4. Форматный ввод (scanf)
- •7.5. Доступ к файлам
- •7.6. Управление ошибками (stderr и exit)
- •7.7. Ввод-вывод строк
- •7.8. Другие библиотечные функции
- •7.8.1. Операции со строками
- •7.8.2. Анализ класса символов и преобразование символов
- •7.8.3. Функция ungetc
- •7.8.4. Исполнение команд операционной системы
- •7.8.5. Управление памятью
- •7.8.6. Математические функции
- •7.8.7. Генератор случайных чисел
- •8. Интерфейс с системой UNIX
- •8.1. Дескрипторы файлов
- •8.2. Нижний уровень ввода-вывода (read и write)
- •8.3. Системные вызовы open, creat, close, unlink
- •8.4. Произвольный доступ (lseek)
- •8.5. Пример. Реализация функций fopen и getc
- •8.6. Пример. Печать каталогов
- •8.7. Пример. Распределитель памяти
- •А. Справочное руководство
- •А 1. Введение
- •А 2. Соглашения о лексике
- •А 2.1. Лексемы (tokens)
- •А 2.2. Комментарий
- •А 2.3. Идентификаторы
- •А 2.4. Ключевые слова
- •А 2.5. Константы
- •А 2.5.1. Целые константы
- •А 2.5.2. Символьные константы
- •А 2.5.3. Константы с плавающей точкой
- •А 2.5.4. Константы-перечисления
- •А 2.6. Строковые литералы
- •A 3. Нотация синтаксиса
- •А 4. Что обозначают идентификаторы
- •А 4.1. Класс памяти
- •А 4.2. Базовые типы
- •А 4.3. Производные типы
- •А 4.4. Квалификаторы типов
- •А 5. Объекты и Lvalues
- •А 6. Преобразования
- •А 6.1. Целочисленное повышение
- •А 6.2. Целочисленные преобразования
- •А 6.3. Целые и числа с плавающей точкой
- •А 6.4. Типы с плавающей точкой
- •А 6.5. Арифметические преобразования
- •А 6.6. Указатели и целые
- •А 6.7. Тип void
- •А 6.8. Указатели на void
- •А 7. Выражения
- •А 7.1. Генерация указателя
- •А 7.2. Первичные выражения
- •А 7.3. Постфиксные выражения
- •А 7.3.1. Обращение к элементам массива
- •А 7.3.2. Вызов функции
- •А 7.3.3. Обращение к структурам
- •А 7.3.4. Постфиксные операторы инкремента и декремента
- •А 7.4. Унарные операторы
- •А 7.4.1. Префиксные операторы инкремента и декремента
- •А 7.4.2. Оператор получения адреса
- •А 7.4.3. Оператор косвенного доступа
- •А 7.4.4. Оператор унарный плюс
- •А 7.4.5. Оператор унарный минус
- •А 7.4.6. Оператор побитового отрицания
- •А 7.4.7. Оператор логического отрицания
- •А 7.4.8. Оператор определения размера sizeof
- •А 7.5. Оператор приведения типа
- •А 7.6. Мультипликативные операторы
- •А 7.7. Аддитивные операторы
- •А 7.8. Операторы сдвига
- •А 7.9. Операторы отношения
- •А 7.10. Операторы равенства
- •А 7.11. Оператор побитового И
- •А 7.12. Оператор побитового исключающего ИЛИ
- •А 7.13. Оператор побитового ИЛИ
- •А 7.14. Оператор логического И
- •А 7.15. Оператор логического ИЛИ
- •А 7.16. Условный оператор
- •А 7.17. Выражения присваивания
- •А 7.18. Оператор запятая
- •А 7.19. Константные выражения
- •А 8. Объявления
- •А 8.1. Спецификаторы класса памяти
- •А 8.2. Спецификаторы типа
- •А 8.3. Объявления структур и объединений
- •A 8.4. Перечисления
- •А 8.6. Что означают объявители
- •А 8.6.1. Объявители указателей
- •А 8.6.2. Объявители массивов
- •А 8.6.3. Объявители функций
- •А 8.7. Инициализация
- •А 8.8. Имена типов
- •А 8.9. Объявление typedef
- •А 8.10. Эквивалентность типов
- •А 9. Инструкции
- •А 9.1. Помеченные инструкции
- •А 9.2. Инструкция-выражение
- •А 9.3. Составная инструкция
- •А 9.4. Инструкции выбора
- •А 9.5. Циклические инструкции
- •А 9.6. Инструкции перехода
- •А 10. Внешние объявления
- •А 10.1. Определение функции
- •А 10.2. Внешние объявления
- •А 11. Область видимости и связи
- •А 11.1. Лексическая область видимости
- •А 11.2. Связи
- •А 12. Препроцессирование
- •А 12.2. Склеивание строк
- •А 12.3. Макроопределение и макрорасширение
- •А 12.4. Включение файла
- •А 12.5. Условная компиляция
- •А 12.6. Нумерация строк
- •А 12.7. Генерация сообщения об ошибке
- •А 12.8. Прагма
- •А 12.9. Пустая директива
- •А 12.10. Заранее определенные имена
- •А 13. Грамматика
- •B. Стандартная библиотека
- •В 1. Ввод-вывод: <stdio.h>
- •В 1.1. Операции над файлами
- •В 1.2. Форматный вывод
- •В 1.3. Форматный ввод
- •В 1.4. Функции ввода-вывода символов
- •В 1.5. Функции прямого ввода-вывода
- •В 1.6. Функции позиционирования файла
- •В 1.7. Функции обработки ошибок
- •В 2. Проверки класса символа: <ctype.h>
- •В 3. Функции, оперирующие со строками: <string. h>
- •В 5. Функции общего назначения: <stdlib. h>
- •В 6. Диагностика: <assert. h>
- •В 7. Списки аргументов переменной длины: <stdarg.h>
- •В 8. Дальние переходы: <setjmp. h>
- •В 9. Сигналы: <signal. h>
- •В 10. Функции даты и времени: <time.h>
- •В 11. Зависящие от реализации пределы: <limits.h> и <float.h>
- •C. Перечень изменений
Имена перечислителей, используемые в одной области видимости, должны отличаться друг от друга и от имен обычных переменных, однако их значения могут и совпадать.
Роль идентификатора в переч-спецификаторе аналогична роли тега структуры в структ-спецификаторе: он является именем некоторого конкретного перечисления. Правила для списков и переч-спецификаторов (с тегами и без) те же, что и для спецификаторов структур или объединений, с той лишь оговоркой, что элементы перечислений не бывают незавершенного типа; тег переч-спецификатора без списка перечислителей должен иметь в пределах области видимости спецификатор со списком.
Впервой версии языка перечислений не было, но они уже несколько лет применяются.
А8.5. Объявители
Объявители имеют следующий синтаксис:
объявитель:
указательнеоб собственно-объявитель
собственно-объявитель: идентификатор ( объявитель )
собственно-объявитель [ константное-выражениенеоб ] собственно-объявитель ( список-типов-параметров ) собственно-объявитель ( список-идентификаторовнеоб )
указатель:
*список-квалификаторов-типанеоб
*список-квалификаторов-типанеоб указатель
список-квалификаторов-типа: квалификатор-типа
список-квалификаторов-типа квалификатор-типа
У структуры объявителя много сходных черт со структурой подвыражений, поскольку в объявителе, как и в подвыражении, допускаются операции косвенного обращения, обращения к функции и получения элемента массива (с тем же порядком применения).
А 8.6. Что означают объявители
Список объявителей располагается сразу после спецификаторов типа и указателя класса памяти. Главный элемент любого объявителя — это объявляемый им идентификатор; в простейшем случае объявитель из него одного и состоит, что отражено в первой строке продукции грамматики с именем собственно-объявителъ. Спецификаторы класса памяти относятся непосредственно к идентификатору, а его тип зависит от вида объявителя. Объявитель следует воспринимать как утверждение: если в выражении идентификатор появляется в том же контексте, что и в объявителе, то он обозначает объект специфицируемого типа.
Если соединить спецификаторы объявления, относящиеся к типу (А8.2), и некоторый конкретный объявитель, то объявление примет вид "Т D", где Т — тип, а D — объявитель. Эта запись индуктивно придает тип идентификатору любого объявителя.
Вобъявлении Т D, где D — просто идентификатор, тип идентификатора есть Т.
Вобъявлении Т D, где D имеет вид
( D1 )
тип идентификатора в D1 тот же, что и в D. Скобки не изменяют тип, но могут повлиять на результаты его "привязки" к идентификаторам в сложных объявителях.
А 8.6.1. Объявители указателей
В объявления Т D, где D имеет вид
* список-квалификаторов-типанеоб D1
а тип идентификатора объявления Т D1 есть "модификатор-типа Т", тип идентификатора D есть
"модификатор-типа список-квалификаторов-типа указатель на Т". Квалификаторы,
следующие за *, относятся к самому указателю, а не к объекту, на который он указывает. Рассмотрим, например, объявление
int *ap[];
Здесь ар[] играет роль D1; объявление int ap[] следует расшифровать (см. ниже) как "массив из int"; список квалификаторов типа здесь пуст, а модификатор типа есть "массив из". Следовательно, на самом деле объявление ар гласит: "массив из указателей на int". Вот еще примеры объявлений:
int i, *pi, *const cpi = &i; const int ci = 3, *pci;
В них объявляются целое i и указатель на целое pi. Значение указателя cpi неизменно; cpi всегда будет указывать в одно и то же место, даже если значение, на которое он указывает, станет иным. Целое ci есть константа, оно измениться не может (хотя может инициализироваться, как в данном случае). Тип указателя pci произносится как "указатель на const int"; сам указатель можно изменить; при этом он будет указывать на другое место, но значение, на которое он будет указывать, с помощью pci изменить нельзя.
А 8.6.2. Объявители массивов
В объявлениях Т D, где D имеет вид
D1 [ константное-выражениенеоб ]
и где тип идентификатора объявления Т D1 есть "модификатор-типа Т", тип идентификатора D есть "модификатор-типа массив из Т". Если константное выражение присутствует, то оно должно быть целочисленным и больше 0. Если константное выражение, специфицирующее количество элементов в массиве, отсутствует, то массив имеет незавершенный тип.
Массив можно конструировать из объектов арифметического типа, указателей, структур и объединений, а также других массивов (генерируя при этом многомерные массивы). Любой тип, из которого конструируется массив, должен быть завершенным, он не может быть, например, структурой или массивом незавершенного типа. Это значит, что для многомерного массива пустой может быть только первая размерность. Незавершенный тип массива получает свое завершение либо в другом объявлении этого массива (А10.2), либо при его инициализации (А8.7). Например, запись
float fa[17], *afp[17];
объявляет массив из чисел типа float и массив из указателей на числа типа float. Аналогично
static int x3d[3][5][7];
объявляет статический трехмерный массив целых размера 3x5x7. На самом деле, если быть точными, x3d является массивом из трех элементов, каждый из которых есть массив из пяти элементов, содержащих по 7 значений типа int.
Операция индексирования Е1[Е2] определена так, что она идентична операции *(Е1+Е2). Следовательно, несмотря на асимметричность записи, индексирование — коммутативная операция. Учитывая правила преобразования, применяемые для оператора + и массивов (А6.6, А7.1, А7.7), можно сказать, что если Е1 — массив, а Е2 — целое, то Е1[Е2] обозначает Е2-й элемент массива Е1.
Так, x3d[i][j][k] означает то же самое, что и *(x3d[i][j]+k). Первое подвыражение, x3d[i][j], согласно А7.1, приводится к типу "указатель на массив целых"; по А7.7 сложение включает умножение на размер объекта типа int. Из этих же правил следует, что массивы запоминаются "построчно" (последние индексы меняются чаще) и что первая размерность в объявлении помогает определить количество памяти, занимаемой массивом, однако в вычислении адреса элемента массива участия не принимает.
А 8.6.3. Объявители функций
В новом способе объявление функции Т D, где D имеет вид
D1 (список-типов-параметров)
и тип идентификатора объявления Т D1 есть "модификатор-типа Т", тип идентификатора в D есть
"модификатор-типа функция с аргументами список-типов-параметров, возвращающая Т". Параметры имеют следующий синтаксис:
список-типов-параметров: список-параметров список-параметров , ...
список-параметров: объявление-параметра
список-параметров , объявление-параметра
объявление-параметра: спецификаторы-объявления объявитель
спецификаторы-объявления абстрактный-объявительнеоб
При новом способе объявления функций список параметров специфицирует их типы, а если функция вообще не имеет параметров, на месте списка типов указывается одно слово — void. Если список типов параметров заканчивается многоточием ", ...", то функция может иметь больше аргументов, чем число явно описанных параметров. (См. А7.3.2.)
Типы параметров, являющихся массивами и функциями, заменяются на указатели в соответствии с правилами преобразования параметров (А10.1). Единственный спецификатор класса памяти, который разрешается использовать в объявлении параметра, — это register, однако он игнорируется, если объявитель функции не является заголовком ее определения. Аналогично, если объявители в объявлениях параметров содержат идентификаторы, а объявитель функции не является заголовком определения функции, то эти идентификаторы тотчас же выводятся из текущей области видимости.
При старом способе объявление функции Т D, где D имеет вид
D1 ( список-идентификаторовнеоб )
и тип идентификатора объявления Т D1 есть "модификатор-типа Т", тип идентификатора в D есть
"модификатор-типа функция от неспецифицированных аргументов, возвращающая Т".
Параметры, если они есть, имеют следующий вид:
список-идентификаторов: идентификатор