К счастью, вывод согласуется с выводом

, давая нам уверенность [59] , что мы в самом деле написали правильный код.

Воспроизведение вывода ls замечательно и хорошо, но действительно ли это полезно? Ответ — да. Любое приложение, работающее с иерархиями файлов, должно быть способно различать различные типы файлов. Подумайте об архиваторе, таком как

или . Было бы пагубно, если бы такая программа рассматривала файл дискового устройства как обычный файл, пытаясь прочесть его и сохранить его содержимое в архиве! Или подумайте о , которая может выполнять произвольные действия, основываясь на типе и других атрибутах файлов, с которыми она сталкивается, ( является сложной программой; посмотрите find(1), если вы с ней не знакомы.) Или даже нечто простое, как пакет, оценивающий свободное дисковое пространство, тоже должно отличать обычные файлы от всего остального.

В разделе 4.4.4 «Пример: Unix cat» мы обещали вернуться к программе V7

, чтобы посмотреть, как она использует системный вызов . Первая группа строк, использовавшая ее, была такой:

Этот код теперь должен иметь смысл. В строке 31 вызывается

для стандартного вывода, чтобы заполнить структуру . Строка 32 отбрасывает всю информацию в за исключением типа файла, используя логическое AND с маской . Строка 33 проверяет, что используемый для стандартного вывода файл не является файлом устройства. В таком случае программа сохраняет номера устройства и индекса в и . Эти значения затем проверяются для каждого входного файла в строках 50–56.

Если значения

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

Проверка сделана безусловно, хотя

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

Поскольку

инициализирован значением (-1), ни один действительный номер индекса не будет ему соответствовать [60] . То, что не инициализирован так, является небрежным, но не представляет проблемы, поскольку тест в строке 51 требует, чтобы были равными значения как устройства, так и индекса. (Хороший компилятор выдаст предупреждение, что используется без инициализации: '' сделает это.)

Обратите также внимание, что ни один вызов

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

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

для копирования ввода из файлов устройств в самих себя, как в случае с терминалами:

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

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

По этой причине существует системный вызов

. Он действует точно также, как , но если проверяемый файл окажется символической ссылкой, возвращаемые сведения относятся к символической ссылке, а не к указываемому файлу. А именно:

• 

будет .

• 

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

Мы уже видели, что системный вызов

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