Тело функции состоит из бесконечного цикла (строки 68–91), разрываемого в строке 84, которая возвращает выделенный буфер. Цикл начинается выделением первоначального буфера (строка 70) и чтения ссылки (строка 71). Строки 73–79 обрабатывают случай ошибки, сохраняя и восстанавливая errno таким образом, что она может корректно использоваться вызывающим кодом.

Строки 81–85 обрабатывают случай «успеха», при котором размер содержимого ссылки меньше размера буфера. В этом случае добавляется завершающий ноль (строка 83), а затем буфер возвращается, прерывая бесконечный цикл. Это гарантирует, что в буфер помещено все содержимое ссылки, поскольку у

нет возможности сообщить о «недостаточном размере буфера».

Строки 87–88 освобождают буфер и удваивают размер буфера для следующей попытки в начале цикла. Строки 89–90 обрабатывают случай, при котором размер ссылки слишком велик:

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

Некоторое дополнительное разъяснение: условие '

' верно лишь на системах, в которых ''; мы не знаем таких, но лишь на таких системах может обернуться в ноль. Поскольку на практике это условие не может быть истинным, компилятор может оптимизировать все выражение, включив следующую проверку ''. После прочтения этого кода вы можете спросить: «Почему не использовать для получения размера символической ссылки, не выделить буфер нужного размера с помощью , и все?» На это есть несколько причин. [61]

• 

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

• Вызов

создает условие состязания: ссылка может измениться между исполнением и , в любом случае вынуждая повторение.

• Некоторые системы не заполняют должным образом член

для символической ссылки. (Печально, но верно.) Сходным образом, как мы увидим в разделе 8.4.2 «Получение текущего каталога: », Linux в предоставляет специальные символические ссылки, у которых равен нулю, но для которых возвращает действительное содержимое.

Наконец, буфер не слишком большой,

использует и с большим размером вместо , чтобы избежать бесполезного копирования, которое делает . (Поэтому комментарий в строке 58 устарел, поскольку не используется; это исправлено в версии Coreutils после 5.0.)

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

Владелец и группа файла изменяются с помощью трех сходных системных вызовов.

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

Стоит заметить, что один системный вызов изменяет как владельца, так и группу файла. Чтобы изменить лишь владельца или лишь группу, передайте (-1) в качестве того идентификационного номера, который должен остаться без изменений.

Хотя вы могли бы подумать, что можно передать соответствующее значение из полученного заранее

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

Вы могли бы поинтересоваться: «Зачем нужно изменять владельца символической ссылки? Права доступа и владение ей не имеют значения». Но что случится, если пользователь уходит, а все его файлы все еще нужны? Необходима возможность изменения владельца всех файлов этого лица на кого-то еще, включая символические ссылки.