- •Глава 8. Интерфейс с системой unix
- •Приложение a. Справочное руководство
- •Приложение b. Стандартная библиотека
- •Приложение с. Перечень изменений
- •Предметный указатель
- •Предисловие
- •Предисловие к первому изданию
- •Введение
- •Глава 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.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 Пример. Распределитель памяти
- •Приложение a. Справочное руководство
- •A1. Введение
- •A2. Соглашения о лексике
- •A2.1. Лексемы (tokens)
- •A2.2. Комментарий
- •A2.3. Идентификаторы
- •A2.4. Ключевые слова
- •Volatile
- •A2.5. Константы
- •A2.5.1. Целые константы
- •A2.5.2. Символьные константы
- •А2.5.3. Константы с плавающей точкой
- •A2.5.4. Константы-перечисления
- •A2.6. Строковые литералы
- •A3. Нотация синтаксиса
- •A4. Что обозначают идентификаторы
- •A4.1. Класс памяти
- •A4.2. Базовые типы
- •A4.3. Производные типы
- •A4.4. Квалификаторы типов
- •A5. Объекты и Lvalues
- •A6. Преобразования
- •A6.1. Целочисленное повышение
- •A6.2. Целочисленные преобразования
- •A6.3. Целые и числа с плавающей точкой
- •A6.4. Типы с плавающей точкой
- •А6.5. Арифметические преобразования
- •A6.6. Указатели и целые
- •A6.7. Тип void
- •А6.8. Указатели на void
- •A7. Выражения
- •A7.1. Генерация указателя
- •A7.2. Первичные выражения
- •A7.3. Постфиксные выражения
- •A7.3.1. Обращение к элементам массива
- •A7.3.2. Вызов функции
- •A7.3.3. Обращение к структурам
- •A7.3.4. Постфиксные операторы инкремента и декремента
- •А7.4. Унарные операторы
- •А7.4.1. Префиксные операторы инкремента и декремента
- •A7.4.6. Оператор побитового отрицания
- •A7.4.7. Оператор логического отрицания
- •A7.4.8. Оператор определения размера sizeof
- •A7.5. Оператор приведения типа
- •A7.6. Мультипликативные операторы
- •A7.7. Аддитивные операторы
- •A7.8. Операторы сдвига
- •A7.9. Операторы отношения
- •A7.10. Операторы равенства
- •A7.15. Оператор логического или
- •А7.16. Условный оператор
- •A7.17. Выражения присваивания
- •A7.18. Оператор запятая
- •A7.19. Константные выражения
- •A8. Объявления
- •A8.1. Спецификаторы класса памяти
- •А8.2. Спецификаторы типа
- •A8.3. Объявления структур и объединений
- •A8.4. Перечисления
- •А8.5. Объявители
- •A8.6. Что означают объявители
- •A8.6.1. Объявители указателей
- •А8.6.2. Объявители массивов
- •А8.6.3. Объявители функций
- •A8.7. Инициализация
- •A8.8. Имена типов
- •А8.9. Объявление typedef
- •A8.10. Эквивалентность типов
- •A9. Инструкции
- •A9.1. Помеченные инструкции
- •A9.2. Инструкция-выражение
- •A9.3. Составная инструкция
- •A9.4. Инструкции выбора
- •A9.5. Циклические инструкции
- •A9.6. Инструкции перехода
- •А10. Внешние объявления
- •A10.1. Определение функции
- •A10.2. Внешние объявления
- •A11. Область видимости и связи
- •A11.1. Лексическая область видимости
- •A11.2. Связи
- •A12. Препроцессирование
- •A12.1. Трехзнаковые последовательности
- •A12.2. Склеивание строк
- •А12.3. Макроопределение и макрорасширение
- •A12.4. Включение файла
- •A12.5. Условная компиляция
- •A12.6. Нумерация строк
- •A13. Грамматика
- •Приложение b. Стандартная библиотека
- •B1.1. Операции над файлами
- •B1.2. Форматный вывод
- •B1.3. Форматный ввод
- •B1.4. Функции ввода-вывода символов
- •B1.5. Функции прямого ввода-вывода
- •B1.6. Функции позиционирования файла
- •B1.7. Функции обработки ошибок
- •Приложение c. Перечень изменений
8.1 Дескрипторы файлов
В системе UNIX любые операции ввода-вывода выполняются посредством чтения и записи файлов, поскольку все внешние устройства, включая клавиатуру и экран, рассматриваются как объекты файловой системы. Это значит, что все связи между программой и внешними устройствами осуществляются в рамках единого однородного интерфейса.
В самом общем случае, прежде чем читать или писать, вы должны проинформировать систему о действиях, которые вы намереваетесь выполнять в отношении файла; эта процедура называется открытием файла. Если вы собираетесь писать в файл, то, возможно, его потребуется создать заново или очистить от хранимой информации. Система проверяет ваши права на эти действия (файл существует? вы имеете к нему доступ?) и, если все в порядке, возвращает программе небольшое неотрицательное целое, называемое дескриптором файла. Всякий раз, когда осуществляется ввод-вывод, идентификация файла выполняется по его дескриптору, а не по имени. (Дескриптор файла аналогичен файловому указателю, используемому в стандартной библиотеке, или хэндлу (handle) в MS- DOS.) Вся информация об открытом файле хранится и обрабатывается операционной системой; программа пользователя обращается к файлу только через его дескриптор.
Ввод с клавиатуры и вывод на экран применяются настолько часто, что для удобства работы с ними предусмотрены специальные соглашения. При запуске программы командный интерпретатор (shell) открывает три файла с дескрипторами 0, 1 и 2, которые называются соответственно стандартным вводом, стандартным выводом и стандартным файлом ошибок. Если программа читает из файла 0, а пишет в файлы 1 и 2 (здесь цифры - дескрипторы файлов), то она может осуществлять ввод и вывод, не заботясь об их открытии.
Пользователь программы имеет возможность перенаправить ввод-вывод в файл или из файла с помощью значков < и >, как, например, в
prog < infile > outfile
В этом случае командный интерпретатор заменит стандартные установки дескрипторов 0 и 1 на именованные файлы. Обычно дескриптор файла 2 остается подсоединенным к экрану, чтобы на него шли сообщения об ошибках. Сказанное верно и для ввода-вывода, связанного в конвейер. Во всех случаях замену файла осуществляет командный интерпретатор, а не программа. Программа, если она ссылается на файл 0 (в случае ввода) и файлы 1 и 2 (в случае вывода), не знает, ни откуда приходит ее ввод, ни куда отправляется ее вывод.
8.2 Нижний уровень ввода-вывода (read и write)
Ввод-вывод основан на системных вызовах read и write, к которым Си-программа обращается с помощью функций с именами read и write.
Для обеих первым аргументом является дескриптор файла. Во втором аргументе указывается массив символов вашей программы, куда посылаются или откуда берутся данные. Третий аргумент - это количество пересылаемых байтов.
int n_read = read(int fd, char *buf, int n);
int n_written = write(int fd, char *buf, int n);
Обе функции возвращают число переданных байтов. При чтении количество прочитанных байтов может оказаться меньше числа, указанного в третьем аргументе. Нуль означает конец файла, а -1 сигнализирует о какой-то ошибке. При записи функция возвращает количество записанных байтов, и если это число не совпадает с требуемым, следует считать, что запись не произошла. За один вызов можно прочитать или записать любое число байтов. Обычно это число равно или 1, что означает посимвольную передачу "без буферизации", или чему-нибудь вроде 1024 или 4096, соответствующих размеру физического блока внешнего устройства. Эффективнее обмениваться большим числом байтов, поскольку при этом требуется меньше системных вызовов. Используя полученные сведения, мы можем написать простую программу, копирующую свой ввод на свой вывод и эквивалентную программе копирования файла, описанной в главе 1. С помощью этой программы можно копировать откуда угодно и куда угодно, поскольку всегда существует возможность перенаправить ввод-вывод на любой файл или устройство.
#include "syscalls.h"
main() /* копирование ввода на вывод */
{
char buf[BUFSIZ];
int n;
while ((n = read(0, buf, BUFSIZ)) > 0)
write(i, buf, n);
return 0;
}
Прототипы функций, обеспечивающие системные вызовы, мы собрали в файле syscalls.h, что позволяет нам включать его в программы этой главы. Однако имя данного файла не зафиксировано стандартом.
Параметр BUFSIZ также определен в <syscalls.h>: в каждой конкретной системе он имеет свое значение. Если размер файла не кратен BUFSIZ, то какая-то операция чтения вернет значение меньшее, чем BUFSIZ, а следующее обращение к read даст в качестве результата нуль.
Полезно рассмотреть, как используются read и write при написании программ более высокого уровня — таких как getchar, putchar и т. д. Вот, к примеру, версия программы getchar, которая осуществляет небуферизованный ввод, читая по одному символу из стандартного входного потока.
#include "syscalls.h"
/* getchar: небуферизованный ввод одного символа */
int getchar(void)
{
char с;
return (read(0, &c, 1) == 1) ? (unsigned char) с : EOF;
}
Переменная c должна быть типа char, поскольку read требует указателя на char. Приведение c к unsigned char перед тем, как вернуть ее в качестве результата, исключает какие-либо проблемы, связанные с распространением знака.
Вторая версия getchar осуществляет ввод большими кусками, но при каждом обращении выдает только один символ.
#include "syscalls.h"
/* getchar: простая версия с буферизацией */
int getchar(void)
{
static char buf[BUFSIZ];
static char *bufp = buf;
static int n = 0;
if (n == 0) { /* буфер пуст */
n = read(0, buf, sizeof buf);
bufp = buf;
}
return (--n >= 0) ? (unsigned char) *bufp++ : EOF;
}
Если приведенные здесь версии функции getchar компилируются с включением заголовочного файла <stdio.h> и в этом заголовочном файле getchar определена как макрос, то нужно задать строку #undef с именем getchar.