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

Структуры, объединения и перечисления

Тест проверяет агрегатные типы как часть объектной модели: копирование структур, активный член union, enum как состояние или маска, байты заполнения и причины, по которым сырой struct нельзя считать готовым сетевым форматом.

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

⏱ --:--

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

Вопрос 1 из 20

Что происходит при `b = a` для двух объектов одной структуры без массивов flexible member?

struct pair { int x,y; };
struct pair a={1,2}, b;
b=a;

Копируются значения всех членов структуры совместимого типа Копируется только первое поле, потому что присваивание структуры эквивалентно присваиванию её адреса Присваивание структур запрещено; поля нужно копировать вручную независимо от их типов Компилятор вызывает скрытый конструктор копирования, как в C++ В `b` записывается адрес объекта `a`, и оба имени начинают обозначать одну область памяти

Вопрос 2 из 20

Как обратиться к полю id через объект `struct user u`?

struct user { int id; };
struct user u={.id=7};

u->id *u.id id[u] u::id u.id

Вопрос 3 из 20

Что даёт designated initializer?

struct point p = { .y = 4, .x = 2 };

Компилятор фиксирует переносимый двоичный формат структуры для сериализации Значения всё равно сопоставляются полям только по порядку их объявления в структуре После такой инициализации поля структуры становятся неизменяемыми Инициализатор выделяет структуру в динамической памяти и возвращает скрытый указатель Названные поля задаются явно, остальные обнуляются

Вопрос 4 из 20

Где допустим flexible array member?

Первым полем любой структуры, чтобы последующие члены задавали длину Внутри `enum`, если значения перечисления задают размер Последним полем структуры, в которой есть хотя бы один другой именованный член Единственным полем объединения `union` Как обычный автоматический массив неизвестной длины внутри функции

Вопрос 5 из 20

Почему поверхностное копирование структуры с `char *name` может быть недостаточным?

struct user { char *name; };
struct user b = a;

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

Вопрос 6 из 20

Каков минимально гарантированный размер union?

Не меньше крупнейшего члена и с выравниванием, пригодным для каждого члена Ровно размер указателя: сами значения членов хранятся отдельно Ровно сумма размеров всех членов: объединение хранит их последовательно без заполнения Ровно размер первого члена, поскольку остальные интерпретируют те же байты Ровно размер крупнейшего члена без возможного хвостового заполнения

Вопрос 7 из 20

Какой дизайн безопаснее для значения, которое может быть int или double?

struct value { enum kind kind; union { int i; double d; } as; };

Одно `union`, где вызывающий код угадывает активный член по контексту Структура с `enum`-тегом и `union` полезной нагрузки Два указателя на возможные значения без явного признака, какой из них действителен Сравнение `sizeof` членов непосредственно перед каждым чтением Структура с размером полезной нагрузки, но без кода её типа

Вопрос 8 из 20

Что напечатает программа по строго переносимому C?

union U { float f; unsigned int i; };
union U u={.f=1.0f};
printf("%u\n",u.i);

Программа обязана быть отклонена: чтение неактивного члена объединения является синтаксической ошибкой Конкретное число не переносимо: представление типов и результат чтения другого члена зависят от реализации Единственное различие между реализациями — перестановка байтов; размер и представление типов гарантированы Результат всегда равен `1065353216`, поскольку стандарт C закрепляет IEEE 754 и 32-битный `unsigned int` Будет напечатано числовое значение битового представления `1.0f`, одинаковое на всех реализациях C17

Вопрос 9 из 20

Как переносимо получить объектное представление float в массив байтов?

float f=1.0f;
unsigned char bytes[sizeof f];
memcpy(bytes,&f,sizeof f);

Сделать сдвиг самого float Привести float* к double* Использовать strlen memcpy в unsigned char[sizeof(float)] Читать другой член union и считать число фиксированным

Вопрос 10 из 20

Почему union не экономит память, если программе одновременно нужны оба значения?

Члены делят память, поэтому новая запись заменяет представление Объект union всегда занимает больше памяти, чем аналогичный struct Каждый член union хранится в отдельной области, как у struct Компилятор запрещает читать более одного члена за всё время После инициализации поля union становятся неизменяемыми

Вопрос 11 из 20

Какие значения получат константы?

enum color { RED=1, GREEN=5, BLUE };

RED=1,GREEN=4,BLUE=5 Зависит от sizeof(enum) RED=1,GREEN=5,BLUE=6 RED=0,GREEN=0,BLUE=0 RED=1,GREEN=2,BLUE=5

Вопрос 12 из 20

Подходит ли enum для независимых флагов, которые могут быть включены одновременно?

enum perm { READ=1u<<0, WRITE=1u<<1, EXEC=1u<<2 };
unsigned flags=READ|WRITE;

Да, но одновременно может быть установлен только один флаг Только если маска хранится в `union`, а не в целом типе Да: константы можно задать степенями двойки, а маску хранить в беззнаковом целом Нет: к значениям `enum` стандарт запрещает применять побитовые операторы Да, если хранить маску в `char *` и сравнивать строки флагов

Вопрос 13 из 20

Почему нельзя полагаться на `sizeof(enum status)==4` во внешнем формате?

Размер и совместимый целочисленный тип `enum` выбирает реализация Каждый `enum` стандартно занимает ровно один байт Размер меняется во время выполнения вместе с числом использованных значений Объект `enum` хранит имя константы как строку Оператор `sizeof` нельзя применять к перечислениям

Вопрос 14 из 20

Что должен делать switch по enum при получении значения вне известных констант?

switch (state) {
case READY: handle_ready(); break;
case BUSY:  handle_busy();  break;
}

Создать новую константу перечисления во время выполнения и повторить `switch` Освободить объект `enum`, чтобы исключить повторное попадание неизвестного значения Иметь `default` с ошибкой, журналом или безопасным отказом Продолжить с последним корректным состоянием: значение `enum` не может выйти за список констант Перейти к первому `case`, поскольку он считается значением по умолчанию

Вопрос 15 из 20

Как сравнивать значение enum?

Обычными `==` и `!=` с именованными константами соответствующего перечисления Только через `strcmp`, потому что константы перечисления являются именами Исключительно через `switch`, даже когда нужно проверить одно значение Только сравнением результатов `sizeof` По числовым адресам объектов `enum`

Вопрос 16 из 20

Что возвращает offsetof(struct S, member)?

size_t off=offsetof(struct record,id);

Размер названного члена без учёта заполнения перед ним Смещение начала члена в байтах относительно начала объекта структуры Количество членов, объявленных перед выбранным полем Требуемое выравнивание всей структуры, а не конкретного поля Фактический адрес поля в одном конкретном экземпляре структуры

Вопрос 17 из 20

Почему sizeof(struct S) может быть больше суммы sizeof её полей?

Реализация хранит в каждом объекте текстовые имена его полей для отладчика Комментарии и имена типов включаются в объектное представление при отладочной сборке Реализация добавляет байты заполнения ради выравнивания `sizeof` округляет сумму размеров членов до ближайшей степени десяти Каждый член структуры хранится дважды: как значение и как копия для выравнивания

Вопрос 18 из 20

Можно ли сравнивать две структуры через memcmp как логические значения?

int equal(const struct S *a,const struct S *b){ return memcmp(a,b,sizeof *a)==0; }

Да, если перед сравнением обе структуры были инициализированы по полям одинаковыми значениями Не всегда: `memcmp` видит байты заполнения и представление, а не только значения полей Да для структур, состоящих только из целочисленных полей одинаковой ширины Да, если `sizeof` обоих объектов совпадает и они созданы одной функцией Нет только при разном порядке байтов; байты заполнения `memcmp` при сравнении не учитывает

Вопрос 19 из 20

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

Кодировать поля в заданных ширине и порядке байтов Использовать локальный размер `enum` как признак версии внешнего формата Сериализовать числовой адрес структуры и восстановить объект по тому же адресу Записать объект целиком через `write`: размер и расположение полей фиксирует стандарт C Копировать структуру вместе с байтами заполнения, предварительно обнулив только первый член

Вопрос 20 из 20

Что гарантирует `_Alignof(T)`?

printf("%zu\n", _Alignof(struct S));

Число полей T Количество байтов заполнения Размер T Адрес первого объекта Требование выравнивания для объектов типа T

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

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

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

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