Понятие о дескрипторах файлов

 

Дескриптор файла является целым значением. Действительные дескрипторы файлов начинаются с 0 и растут до некоторого установленного системой предела. Эти целые фактически являются индексами таблицы открытых файлов для каждого процесса (Таблица поддерживается внутри операционной системы; она недоступна запущенным программам.) В большинстве современных систем размеры таблиц большие. Команда '' печатает это значение:

ulimit ‑n

 

Из С максимальное число открытых файлов возвращается функцией (получить размер таблицы дескрипторов):

 

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

 

 

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

ch04‑maxfds

 

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

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

 

 

Очевидные символические константы. Оксюморон?

При работе с системными вызовами на основе дескрипторов файлов и стандартных ввода, вывода и ошибки целые константы 0, 1 и 2 обычно используются прямо в коде. В подавляющем большинстве случаев использование таких символических констант (manifest constants) является плохой мыслью. Вы никогда не знаете, каково значение некоторой случайной целой константы и имеет ли к ней какое‑нибудь отношение константа с тем же значением, использованная в другой части кода. С этой целью стандарт POSIX требует объявить следующие именованные константы (symbolic constants) в:

«Номер файла» для стандартного ввода: 0.

Номер файла для стандартного вывода: 1.

Номер файла для стандартной ошибки: 2.

Однако, по нашему скромному мнению, использование этих макросов избыточно. Во‑первых, неприятно набирать 12 или 13 символов вместо 1. Во‑вторых, использование 0, 1 и 2 так стандартно и так хорошо известно, что на самом деле нет никаких оснований для путаницы в смысле этих конкретных символических констант.

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

 

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

Один из подходов (рекомендованный Джеффом Колье (Geoff Collyer)) заключается в использовании следующего определения:

 

Затем эти константы можно использовать вместо 0, 1 и 2. Их легко читать и печатать.

 

 

Открытие и закрытие файлов

 

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

 

 

Три аргумента следующие:

 

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

 

Поразрядное ИЛИ с одной или более констант, определенных в. Вскоре мы их рассмотрим.

 

Режимы доступа для создаваемого файла. Это обсуждается далее в главе, см. раздел 4.6 «Создание файлов». При открытии существующего файла опустите этот параметр[46].

Возвращаемое open() значение является либо новым дескриптором файла, либо ‑1, означающим ошибку, в этом случае будет установлена. Для простого ввода/вывода аргумент должен быть одним из значений из табл. 4.3.

 

Таблица 4.3. Значения для

 

Именованная константа	Значение	Комментарий
	0	Открыть файл только для чтения, запись невозможны
	1	Открыть файл только для записи, чтение невозможно
	2	Открыть файл для чтения и записи

Вскоре мы увидим пример кода. Дополнительные значения описаны в разделе 4.6 «Создание файлов». Большой объем ранее написанного кода Unix не использовал эти символические значения. Вместо этого использовались числовые значения. Сегодня это рассматривается как плохая практика, но мы представляем эти значения, чтобы вы их распознали, если встретитесь с ними

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

 

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

Если вы будете игнорировать возвращаемое значение, специально приведите его к типу, чтобы указать, что вам не нужен результат:

 

Легкомысленность этого совета в том, что слишком большое количество приведений к имеют тенденцию загромождать код. Например, несмотря на принцип «всегда проверять возвращаемое значение», чрезвычайно редко можно увидеть код, проверяющий возвращаемое значение или приводящий его к. Как и со многими аспектами программирования на С, здесь также требуются опыт и рассудительность.

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

Система закрывает все открытые файлы, когда процесс завершается, но – за исключением 0, 1 и 2 – плохая манера полагаться на это.

Когда возвращает новый дескриптор файла, она всегда возвращает наименьшее неиспользуемое целое значение. Всегда. Поэтому, если открыты дескрипторы файлов 0–6 и программа закрывает дескриптор файла 5, следующий вызов вернет 5, а не 7. Это поведение важно; далее в книге мы увидим, как оно используется для аккуратной реализации многих важных особенностей Unix, таких, как перенаправление ввода/вывода и конвейеризация (piping)