C C · 25 вопросов · ~70 мин · ⏱ Таймер 10:00 · Средний ·

Коды ошибок и errno

Тест проверяет ошибку как часть контракта: сначала return sentinel, затем релевантный errno, сохранение причины, контекстное сообщение и проектирование собственного API, где допустимые данные не смешиваются с отказом.

Отвечено: 0 из 25

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. На 25 вопросов отведено 70 минут. Код читайте построчно: часть заданий проверяет вывод, часть — поиск дефекта, переносимость и безопасное исправление. После завершения откроются объяснения и профиль по 5 темам.

Вопрос 1 из 25

Как правильно использовать `errno` после POSIX-вызова?

int fd=open(path,O_RDONLY);
if(fd==-1){ int e=errno; ... }

Проверить `errno` независимо от возвращённого функцией значения Сравнить `errno` с кодом предыдущей операции, даже если вызов успешен Считать любое ненулевое значение `errno` ошибкой последнего вызова Обнулить `errno` после вызова и проверить, изменилось ли оно затем Сначала проверить возвращённый признак ошибки и лишь затем читать `errno`

Вопрос 2 из 25

Почему проверка `if (errno) fail();` после ненулевого результата `malloc` может ложно сообщить об ошибке?

void *p=malloc(n);
if(errno) fail();

`errno` имеет тип указателя и требует сравнения с `NULL`, а не с нулём Проверять `errno` следует до `malloc`, потому что распределитель использует прежнее значение как входной параметр Успешный `malloc` возвращает адрес, но сохраняет ненулевой `errno` только при выделении выровненного блока `errno` могло остаться от прежнего вызова; проверять нужно результат `malloc` Любая успешная библиотечная функция обязана обнулить `errno`, но оптимизатор может удалить это присваивание

Вопрос 3 из 25

Функция `strtol` может законно вернуть `LONG_MAX`. Как отличить это значение от переполнения?

errno=0; char *end; long v=strtol(s,&end,10);

Заменить `strtol` на `atoi`, который однозначно сообщает переполнение Отличить переполнение от допустимого `LONG_MAX` невозможно Проверить только длину исходной строки Сравнить результат только с `LONG_MAX`, не проверяя другие признаки Обнулить `errno`, вызвать `strtol`, затем проверить `ERANGE` и конечный указатель

Вопрос 4 из 25

Почему значение `-1` — плохой единственный признак «не найдено», если функция поиска может законно вернуть любой `int`?

Отрицательные значения нельзя передавать через возвращаемое значение пользовательской функции Значение `-1` допустимо только для типа `long`, поэтому сигнатура должна возвращать более широкий тип Значение `-1` может быть данными; нужен отдельный статус или выходной параметр Можно отличать ошибку по `errno`, даже если контракт функции не обещает устанавливать его при отсутствии результата Переход к `unsigned int` устраняет конфликт, не меняя множество допустимых результатов поиска

Вопрос 5 из 25

Как следует проверять результат `fclose(f)` и почему ошибку закрытия нельзя игнорировать?

if(fclose(f)==EOF){...}

Убедиться, что локальная переменная `FILE *` автоматически стала `NULL` после закрытия Проверять только `errno`, не рассматривая возвращаемое значение `fclose` Сравнить размер файла с ожидаемым, считая это полным эквивалентом результата `fclose` Проверить возвращаемое значение: `0` означает успех, `EOF` — ошибку закрытия или сброса буфера Ничего не проверять, потому что ошибки записи обязаны проявиться раньше в `fprintf`

Вопрос 6 из 25

Сбрасывает ли успешный вызов errno в 0?

errno = EIO;
int fd = open(valid_path, O_RDONLY);
/* open завершился успешно; какое значение errno теперь допустимо? */

Равно 0: успешное завершение служит неявным сбросом прежнего кода ошибки Сохраняет `EIO` лишь для функций памяти; успешный `open` записывает ноль Принимает код последней внутренней операции `open`, даже если весь вызов завершился успешно Становится `EINPROGRESS`, пока возвращённый файловый дескриптор остаётся открытым Успешный вызов не обязан менять `errno`, поэтому там может остаться прежнее значение

Вопрос 7 из 25

Почему `int saved=errno` делают сразу?

if(close(fd)==-1){ int saved=errno; cleanup(); report(saved); }

Код ошибки нужно преобразовать в сетевой порядок байтов до передачи функции журналирования Сохранение ускоряет последующий вызов `report`, потому что чтение глобальной переменной дороже локального Очистка или журналирование могут изменить `errno` Локальная копия требуется, чтобы следующий `malloc` мог увидеть исходную ошибку `close` Значение `errno` автоматически сбрасывается по таймеру после выхода из системного вызова

Вопрос 8 из 25

Является ли errno безопасным между потоками?

Нет: все потоки всегда используют один глобальный объект `int` Да: реализация предоставляет отдельное значение `errno` для каждого потока Потоковые программы вообще не имеют `errno` `errno` является общим атомарным счётчиком ошибок `errno` доступно только главному потоку

Вопрос 9 из 25

Можно ли присваивать errno?

errno=0;
double x=strtod(s,&end);

Да: перед функцией с двусмысленным крайним результатом его обнуляют и затем проверяют вместе с результатом Нет: приложение может лишь читать значение после документированного отказа Присваивание закрывает последний поток `stdio`, поэтому его используют перед преобразованием строк Присваивание разрешено библиотеке, а пользовательский код должен вызывать отдельную функцию сброса Допустимы отрицательные значения, а ноль зарезервирован для реализации

Вопрос 10 из 25

Как обрабатывать интерфейс, который возвращает собственный код ошибки и при этом может менять `errno`?

Следовать прямому коду возврата API и не подменять его значением `errno` Перемножить оба значения для получения уникальной ошибки Всегда игнорировать прямой код и читать только `errno` Игнорировать возвращаемое значение, если `errno` равно нулю Сложить код возврата с `errno` и использовать сумму

Вопрос 11 из 25

Что печатает perror("open config")?

if((f=fopen(path,"r"))==NULL) perror("open config");

Только числовое значение `errno` без переданного префикса и без перевода строки Ничего, если строка-префикс не совпадает с именем системного вызова Полную трассировку стека до места, где библиотека установила `errno` Сообщение записывается в файл с именем `config`, а не в стандартный поток ошибок Префикс `open config`, двоеточие и текст текущей ошибки в `stderr`

Вопрос 12 из 25

Почему `perror(NULL)` хуже контекстного сообщения?

Показывает системную причину, но не операцию и объект Функция печатает числовой адрес нулевого указателя Вызов всегда обнуляет `errno` Недостаток существует только при иной локали `perror(NULL)` не компилируется в стандартном C

Вопрос 13 из 25

Можно ли сравнивать строки strerror для логики?

if(strcmp(strerror(errno),"Permission denied")==0) ...

Можно сравнивать строки только в английской локали Сравнение безопасно исключительно для `EINVAL` Да: строка `strerror` является стабильным идентификатором на всех системах Нет: текст локализован и нестабилен, ветвиться нужно по числовому коду Нужно сравнивать адреса возвращённых строк, а не содержимое

Вопрос 14 из 25

Почему библиотека не всегда должна сама вызывать perror?

Печатать системные ошибки имеет право только `main`, а вложенные функции обязаны молчать У библиотечного кода нет доступа к `stderr`, пока вызывающая программа явно не передаст поток Главная причина — стоимость форматирования: `perror` слишком медленен для любого библиотечного вызова Библиотека не знает политики приложения; ей лучше вернуть структурированную ошибку Стандарт запрещает библиотечным функциям читать `errno`; это разрешено только приложению

Вопрос 15 из 25

Как сохранить правильный текст ошибки после очистки ресурсов?

if (open_file(path) < 0) {
    cleanup();
    fprintf(stderr, "%s: %s\n", path, strerror(errno));
}

Сравнить указатели потоков `FILE *` Сохранить `errno` до очистки и использовать сохранённый код Сохранить только указатель на статическую строку без кода Всегда вызывать `perror` после всех операций очистки Удалить очистку ресурсов, чтобы `errno` не изменилось

Вопрос 16 из 25

Какой стиль удобен, если функция возвращает значение любого int и ошибку?

/* Разбираемое значение может быть любым int, включая -1. */
int value;
/* выбрать контракт функции parse, который отдельно сообщает об ошибке */

`enum status f(args,int *out)` Игнорировать ошибку Возвращать адрес локального Специальный -1 без оговорки Глобальный вывод

Вопрос 17 из 25

Что должно происходить с *out при ошибке?

При любой ошибке функция обязана вернуть частичный объект, даже если его нельзя безопасно уничтожить Функция может частично менять `*out`, если код ошибки позволяет вызывающей стороне угадать, какие поля инициализированы Следует вызвать `free(out)`, чтобы освободить переменную вызывающей стороны вместе с её содержимым Контракт должен гарантировать неизменность `*out` либо заранее заданное безопасное состояние Состояние `*out` можно не описывать, поскольку после ошибки вызывающая сторона не должна обращаться к своей переменной

Вопрос 18 из 25

Как обёртка должна добавлять контекст?

Напечатать сообщение на низком уровне и вернуть успех, поскольку диагностика уже выполнена Сбросить `errno` перед возвратом, чтобы верхний слой не увидел устаревшее значение Сохранить исходный код и добавить контекст операции Заменить исходный код ошибки общим значением `ERROR`, чтобы верхний слой не зависел от деталей Привести числовой код к указателю и использовать адрес как уникальный контекст операции

Вопрос 19 из 25

Почему отрицательные errno-like коды внутри модуля требуют документации?

return -EIO; /* какой контракт? */

Отрицательные значения `int` запрещены как возвращаемые значения публичной функции C Любое отрицательное целое автоматически интерпретируется вызывающей стороной как указатель Компилятор меняет знак отрицательного кода при возврате через границу единицы трансляции Нужно явно задать домен, знак и преобразование кодов, иначе слои смешают разные соглашения об ошибках Такой стиль допустим исключительно внутри ядра и синтаксически запрещён пользовательским библиотекам

Вопрос 20 из 25

Когда error object полезнее одного enum?

Когда возможен ровно один код отказа, но приложение хочет хранить его в структуре Когда нужно сохранить код, контекст, позицию и системную причину для верхнего слоя Только для отказа `malloc`; остальные функции полностью описываются одним значением `enum` Когда интерфейс должен отказаться от возвращаемых значений и сообщать ошибки только через глобальный объект Когда перечисление нельзя передать по значению и требуется динамически выделяемая оболочка

Вопрос 21 из 25

Как увидеть errno системного вызова в strace?

$ ./app
open config: Permission denied
# Нужно связать сообщение с конкретным системным вызовом.

В строке `strace` увидеть результат вида `openat(...) = -1 EACCES` Сравнить размер возвращаемого типа с размером `errno` Остановить процесс в GDB и прочитать глобальную переменную после завершения вызова Запустить трассу линковщика, которая перечисляет символы стандартной библиотеки Искать только итоговый код процесса, поскольку трассировщик не показывает системные ошибки

Вопрос 22 из 25

Что означает внедрение отказов при тестировании обработки ошибок?

Сборка без предупреждений, чтобы проверить поведение только реальных отказов среды выполнения Принудительная установка `errno` перед каждым вызовом без изменения результата этого вызова Повреждение кода возврата уже после того, как вызывающая функция обработала исходный результат Контролируемое принуждение памяти или ввода-вывода к отказу Изменение входных данных без фиксации сценария, пока программа не завершится с ошибкой

Вопрос 23 из 25

Что логировать при отказе open?

Только время события без причины Операцию, безопасный путь, флаги, код и текст ошибки Только слово «ошибка» без операции и объекта Адрес стека текущей функции вместо пути Полный пароль или секрет, использованный при доступе

Вопрос 24 из 25

Как проверить очистка всех точек отказа конструктора?

for(int fail_at=1;fail_at<=steps;fail_at++) test_create_with_failpoint(fail_at);

В тестовой сборке сделать `malloc` безотказным, чтобы исключить нестабильность результатов Ограничиться статическим анализом, не выполняя ветви, в которых отказ происходит после нескольких шагов Внедрять отказ на каждом шаге, запускать ASan/LSan и проверять состояние выхода Проверить один успешный запуск: корректный конструктор использует одинаковую очистку и при отказах Сравнивать только тексты сообщений, не проверяя освобождение частично созданных ресурсов

Вопрос 25 из 25

Почему “повторить любую ошибку” опасно?

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

Ответьте на все 25 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу