C C · 20 вопросов · ~55 мин · ⏱ Таймер 55:00 · Лёгкий ·

Заголовочные файлы и компоновка

Тест проверяет границу модулей C: что объявлять в заголовочном файле, где держать единственное определение, как работают защита от повторного включения и связывание, почему сообщения `undefined reference` и `multiple definition` требуют анализа объектных файлов, а не случайных правок исходника.

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

⏱ --:--

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

Вопрос 1 из 20

Что должно находиться в header для публичной функции?

/* widget.h */
int widget_open(const char *path);

Полное определение обычной функции в каждом включающем .c без inline Результат вызова Прототип функции Объектный код Команда линковщика

Вопрос 2 из 20

Где корректно определить глобальный объект `int counter`?

/* counter.h */ extern int counter;
/* counter.c */ int counter=0;

Определить `int counter = 0;` прямо в публичном заголовке Оставить только описание объекта в комментарии заголовка Поместить одинаковое внешнее определение в каждый использующий `.c` Объявить объект как переменную в `Makefile` Одно определение в `.c`, а в заголовке — `extern`-объявление при необходимости

Вопрос 3 из 20

Почему файл реализации полезно начинать со своего заголовка?

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

Вопрос 4 из 20

Что такое tentative definition на уровне файла, например `int x;`?

/* file scope */
int x;

Это всегда чистое `extern`-объявление без выделения хранения Препроцессор рассматривает её как объектоподобный макрос Это только объявление автоматической локальной переменной Предварительное определение станет нулевым определением в конце файла Такая запись объявляет функцию без параметров

Вопрос 5 из 20

Как скрыть структуру реализации за непрозрачным типом?

Передавать целочисленный дескриптор вместо указателя на контекст Объявить поля структуры как внешние объекты через `extern` В заголовке — `struct ctx;` и функции, полное определение — в `.c` Описать все поля `struct ctx` в публичном заголовке Заменить каждое поле структуры отдельным макросом доступа

Вопрос 6 из 20

Что предотвращает include guard?

#ifndef PROJECT_WIDGET_H
#define PROJECT_WIDGET_H
/* declarations */
#endif

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

Вопрос 7 из 20

Почему guard не стоит называть `_WIDGET_H`?

Препроцессор не допускает символ `_` в именах макросов Имя слишком короткое и поэтому не распознаётся препроцессором Такое начало имени зарезервировано для реализации Макрос с подчёркиванием становится локальным для заголовка Выбранное имя меняет ABI объявленных функций

Вопрос 8 из 20

Должен ли публичный заголовок компилироваться при самостоятельном включении?

/* check_header.c */
#include "widget.h"
int main(void){return 0;}

Самодостаточность нужна только C++, а в C неполные объявления всегда восстанавливаются компилятором Нет: клиент обязан знать скрытый порядок включения зависимостей и соблюдать его вручную Требование действует лишь для заголовков без деклараций функций и типов Да: заголовок должен сам включать или объявлять всё, что требуется его публичному интерфейсу Любой публичный заголовок обязан предварительно включать `<stdio.h>`, даже если не использует его типы

Вопрос 9 из 20

Как уменьшить цикл включений между a.h и b.h, если нужны только указатели на структуры?

/* a.h */ struct B; struct A { struct B *b; };

Усилить цикл, включая `a.h` из `b.h` и обратно несколько раз Удалить защиту включения, чтобы второй проход завершил типы Скопировать определения структур в оба заголовка Заменить все типы на `void *`, отказавшись от объявлений структур Предварительно объявить структуры, а полные определения включить в файлах реализации

Вопрос 10 из 20

Что можно сказать о `#pragma once`?

Препроцессор создаёт внешнюю функцию `once`, которая отмечает уже прочитанные файлы Это широко поддерживаемое расширение; include guard остаётся стандартным переносимым способом `#pragma once` входит в обязательный набор директив C17 и одинаково распознаётся всеми реализациями Она заменяет компоновку: определения из заголовка автоматически объединяются в один символ Директива запрещает повторное включение системных заголовков даже из разных файлов исходного кода

Вопрос 11 из 20

Что означает `static` у функции на уровне файла?

static int helper(int x){ return x+1; }

Функцию разрешается вызвать только один раз Машинный код функции размещается в динамической памяти Имя функции получает внутреннее связывание и не экспортируется из единицы трансляции Функция автоматически становится `inline` Все локальные переменные функции сохраняются между вызовами

Вопрос 12 из 20

Что означает `extern int x;` без инициализатора?

Объявление объекта с внешним связыванием; его определение должно существовать в программе, если объект используется Объявление функции `x`, которая не принимает параметров и возвращает `int` Предварительное определение с нулевой инициализацией, подобное записи `int x;` Полное определение объекта с внешним связыванием именно в этой единице трансляции Определение объекта с внутренним связыванием, доступного только текущему файлу

Вопрос 13 из 20

Что произойдёт, если в заголовке написать `static int cache;` и включить его в три .c?

/* cache.h */ static int cache;

Линковщик объединит объекты с одинаковым именем, несмотря на их внутреннее связывание Все единицы трансляции будут ссылаться на один внешний объект `cache` с общим адресом Объявление допустимо только в `.c`; включение из заголовка делает программу синтаксически неверной Каждая единица трансляции получит собственный `cache` Ключевое слово `static` в заголовке преобразуется в `extern` после первого включения

Вопрос 14 из 20

Как экспортировать только функцию API, скрыв вспомогательные?

Определить публичные и вспомогательные функции в заголовке без `static`, чтобы прототипы совпадали Использовать для имён помощников начальное подчёркивание: соглашение об имени задаст внутреннее связывание Хранить адреса вспомогательных функций в динамически выделенной таблице, не объявляя их в заголовке Объявить функцию API в `.h`, а вспомогательные функции определить как `static` в соответствующем `.c`-файле Убрать `static` со всех функций и полагаться на то, что линковщик экспортирует только используемые

Вопрос 15 из 20

Почему глобальный static-контекст может мешать библиотеке?

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

Вопрос 16 из 20

Что означает сообщение `undefined reference to foo` при связывании показанной команды?

$ cc main.o -o app
/usr/bin/ld: main.o: undefined reference to ‘foo’

Внутри условного оператора допущена синтаксическая ошибка Переменная `foo` во время выполнения оказалась равна `NULL` Произошло переполнение целого значения при компиляции Есть ссылка на `foo`, но среди переданных объектов и библиотек нет определения Форматная строка `printf` не соответствует типу `foo`

Вопрос 17 из 20

Что означает `multiple definition of x`?

Символ `x` был только объявлен через `extern` Заголовок с корректной защитой был включён более одного раза Линковщик встретил несколько внешних определений одного символа Два указателя во время выполнения получили одинаковое значение Имя `x` встретилось дважды в выражениях одного файла

Вопрос 18 из 20

Какой инструмент показывает символы объектного файла?

nm -C module.o

`nm object.o`, показывающая определённые и неопределённые символы `readelf -S object.o`, отображающая таблицу секций ELF `strings object.o`, извлекающая печатные последовательности без классификации символов `objdump -h object.o`, перечисляющая прежде всего секции и их размеры `ar t library.a`, перечисляющая члены архива, но не символы отдельного объекта

Вопрос 19 из 20

Почему порядок статических библиотек в команде линковщика иногда важен?

Порядок нужен из-за порядка байтов объектных файлов Файл `.a` является исходным текстом и должен компилироваться последним Положение библиотеки меняет синтаксис языка C в объектных файлах Архив обычно удовлетворяет уже известные ссылки, поэтому его ставят после использующих объектов Линковщик всегда читает только первую библиотеку в командной строке

Вопрос 20 из 20

Как отличить ошибку компиляции от линковки?

Компилятор проверяет сетевой доступ, а линковщик — арифметические типы Различить этапы невозможно: обе программы выполняют один и тот же анализ Линковка всегда происходит до препроцессора и компиляции Этап определяется только цветом диагностического сообщения в терминале Компилятор проверяет единицы трансляции, линковщик объединяет объекты и разрешает внешние имена

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

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

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

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