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

Указатели на функции

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

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

⏱ --:--

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

Вопрос 1 из 25

Как объявить указатель op на функцию `int f(int,int)`?

int add(int left, int right);
/* Объявите переменную op, способную хранить адрес add. */

`int (**op)(int, int)` — указатель на указатель на функцию `int (*op)(int, int)` — указатель на функцию нужной сигнатуры `int (*op(int, int))(int, int)` — функция, возвращающая указатель на функцию `int *op(int, int)` — функция, возвращающая `int *` `int (*op[1])(int, int)` — массив из одного указателя на функцию

Вопрос 2 из 25

Зачем в этом объявлении вводят имя типа функции `binary_op` через `typedef`?

typedef int binary_op(int,int);
binary_op *op;

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

Вопрос 3 из 25

Можно ли вызывать функцию через указатель несовместимого типа после каста?

double f(double);
int (*p)(int)=(int(*)(int))f;
int x=p(1);

Да, если фактический результат функции помещается в int Нет, вызов через несовместимый тип — неопределённое поведение Да, но только в сборке без оптимизации (`-O0`) Да, если промежуточный указатель привести через `void *` Да: явное приведение гарантирует совместимость соглашения вызова

Вопрос 4 из 25

Эквивалентны ли `op(a,b)` и `(*op)(a,b)`?

int r1=op(1,2);
int r2=(*op)(1,2);

Они эквивалентны лишь после явного преобразования `op` к `void *` Первая форма вызывает функцию, а вторая возвращает её адрес без вызова Да: для действительного указателя на функцию обе формы вызывают одну и ту же функцию Нет: форма `op(a, b)` допустима только для имени функции, но не для указателя Вторая форма изменяет значение `op`, потому что оператор `*` снимает один уровень указателя

Вопрос 5 из 25

Какой параметр лучше для компаратора qsort?

`int cmp(const void *, const void *)` с приведением внутри `void cmp(void)`, поскольку результат сравнения не используется `int cmp(int *, int *)`, потому что qsort передаёт int `int **cmp`, чтобы компаратор мог менять элементы массива `float cmp(char)`, если сортируются байтовые значения

Вопрос 6 из 25

Что нужно проверить перед `handlers[cmd]()`?

if(cmd<COUNT && handlers[cmd]) handlers[cmd]();

Убедиться, что обработчик возвращает `void`, даже если таблица объявлена с другим типом Проверить только `cmd != 0`, поскольку нулевой обработчик всегда зарезервирован Убедиться, что `cmd` находится в диапазоне таблицы и выбранный слот не равен `NULL` Сравнить размер числового кода с размером указателя на функцию Проверить чётность адреса функции как признак корректного выравнивания

Вопрос 7 из 25

Как объявить массив из трёх указателей на функции void(void)?

void (*handlers[3])(void);

void h(*[3]) void *h[3](void) void h[3] void (**h)(3) void (*h[3])(void)

Вопрос 8 из 25

Когда таблица диспетчеризации предпочтительнее switch?

Когда плотные коды однозначно соответствуют функциям одной сигнатуры Когда обработчики имеют несовместимые сигнатуры Когда внешние индексы нельзя или не нужно проверять Только если в протоколе определена одна команда Таблица всегда лучше `switch` независимо от структуры кодов

Вопрос 9 из 25

Почему внешний код операции нельзя без проверки использовать как индекс?

handlers[packet.opcode](packet.payload);

Массивы функций запрещены стандартом C Указатели на функции нельзя хранить в объектах Внешние коды бывают разреженными, большими и зарезервированными Код операции всегда является строкой, а не числом Единственная проблема — порядок байтов кода операции

Вопрос 10 из 25

Как хранить вместе имя команды и обработчик?

struct command { const char *name; handler_fn fn; };

Объединить строку и указатель в `union` без тега, читая активный член по контексту Создать массив структур с полями имени и обработчика, чтобы соответствие было частью одной записи Хранить имена и функции в двух независимых массивах и синхронизировать их порядок вручную Разнести каждый обработчик по отдельному файлу и генерировать таблицу только макросами Использовать цепочку глобальных `goto`, где метка соответствует имени команды

Вопрос 11 из 25

Что нужно проверить, если указатель на функцию и пользовательский контекст сохраняются для будущего вызова?

Нужно сохранить время жизни функции, модуля и связанного контекста до отмены регистрации Указатель функции безопасно хранить в обычном `int` Следует скопировать машинный код функции в пользовательский буфер Контекст нужно освободить сразу после регистрации обработчика Для будущего вызова достаточно хранить только числовой адрес функции

Вопрос 12 из 25

Как передать ошибку из функции обратного вызова вызывающему коду?

typedef enum { CB_OK,CB_STOP,CB_ERROR } cb_result;

Менять глобальный флаг без синхронизации и без описания того, кто его сбрасывает Печатать сообщение внутри функции обратного вызова и возвращать обычный успешный результат Немедленно вызывать `exit`, чтобы вызывающая сторона не могла продолжить обход Всегда записывать ошибку только в глобальный `errno`, даже если вызов не связан с библиотечной функцией Вернуть документированный статус либо передать объект ошибки через отдельный параметр

Вопрос 13 из 25

Почему удаление текущей функции обратного вызова из списка во время итерации опасно?

for(node=list;node;node=node->next) node->fn(node->ctx);

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

Вопрос 14 из 25

Как безопасно вызвать необязательную функцию обратного вызова?

typedef void (*event_fn)(void *ctx, const struct event *event);

struct listener {
    event_fn on_event; /* поле может быть NULL */
    void *ctx;
};

Проверять указатель на `NULL` либо заранее ставить безопасную функцию-заглушку Перед вызовом заменять `NULL` адресом функции, которая выполняет сам косвенный вызов Вызывать обработчик без проверки: нулевой адрес будет автоматически пропущен средой выполнения Проверять только `ctx`, поскольку ненулевой контекст гарантирует наличие обработчика Хранить отдельный признак наличия и не обновлять его при изменении указателя

Вопрос 15 из 25

Что означает синхронный обратный вызов?

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

Вопрос 16 из 25

Зачем функции обратного вызова часто передают `void *user_data`?

void on_data(void *user,const void *buf,size_t n){ struct parser *p=user; ... }

Чтобы один обработчик мог работать с состоянием конкретного экземпляра Чтобы свободно читать объект через любой несовместимый тип Чтобы функцию можно было вызывать без объявления прототипа Чтобы библиотека автоматически освобождала данные после вызова Чтобы обработчик мог принимать переменное число аргументов

Вопрос 17 из 25

Что нужно доказать перед приведением `user_data` к `struct parser *`?

Достаточно совпадения `sizeof(void *)` и `sizeof(struct parser *)` Любой достаточно выровненный массив байтов можно читать как `struct parser` без создания объекта этого типа Достаточно, чтобы адрес был ненулевым и численно помещался в `uintptr_t` В `user_data` передан адрес живого `struct parser`, и адрес удовлетворяет выравниванию этого типа Объект может быть уже уничтожен, если функция обратного вызова объявлена `static`

Вопрос 18 из 25

Можно ли передать адрес локальной переменной асинхронному обработчику?

void start(void){ struct ctx c; register_async(cb,&c); }

Квалификатор `volatile` продлевает время жизни локального объекта Нет: адрес локальной переменной нельзя передавать даже синхронной функции Только если вызов гарантированно завершится до выхода; иначе нужен более долгоживущий объект Можно только для локальных переменных типа `int` Да: асинхронный обработчик автоматически копирует локальную переменную

Вопрос 19 из 25

Как обслуживать несколько экземпляров устройства одной функцией обратного вызова?

Хранить выбранное устройство в одной глобальной переменной и менять её перед каждым вызовом Сгенерировать отдельную функцию-обёртку для каждого возможного экземпляра устройства Определять экземпляр сравнением адреса функции обратного вызова с таблицей зарегистрированных функций Передавать указатель на нужный экземпляр отдельным параметром `user_data` вместе с функцией обратного вызова Запоминать последний экземпляр в статической локальной переменной внутри функции обратного вызова

Вопрос 20 из 25

Кто отвечает за время жизни пользовательского контекста?

Владельца выбирает компилятор по типу `void *` и времени жизни функции У пользовательского контекста нет владельца, потому что `void *` не содержит типовой информации Контекст всегда принадлежит функции обратного вызова и должен освобождаться после каждого вызова Библиотека обязана освобождать любой `user_data`, даже если получила только заимствованный адрес Владение задаёт контракт: заимствование, передача либо явная схема удержания и освобождения

Вопрос 21 из 25

Как в GDB найти имя функции по адресу обработчика?

(gdb) p/x handler
(gdb) info symbol 0x...

`info address ADDRESS`, предназначенная прежде всего для имени известного символа `info symbol ADDRESS`, сопоставляющая адрес с ближайшим символом и смещением `set endian`, меняя интерпретацию адреса перед поиском `x/s ADDRESS`, рассматривая адрес функции как указатель на строку `disassemble /m ADDRESS`, если требуется только машинный код без имени

Вопрос 22 из 25

Что первым проверить при сбое на косвенном вызове?

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

Вопрос 23 из 25

Какое предупреждение компилятора полезно для поиска опасных приведений указателей на функции?

typedef int (*handler_fn)(const char *);

handler_fn load_handler(void *symbol) {
    return (handler_fn)symbol;
}

`-Wcast-function-type`, проверяющий приведения между несовместимыми типами функций `-Wformat`, находящий несоответствия форматной строки и фактических аргументов `-Wstrict-prototypes`, требующий полного списка параметров в объявлениях функций `-Wcast-qual`, находящий снятие квалификаторов у указателей на объекты `-Wmissing-prototypes`, сообщающий об отсутствии публичного прототипа перед определением

Вопрос 24 из 25

Что даёт трассировка стека после сбоя функции обратного вызова?

(gdb) bt full

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

Вопрос 25 из 25

Как ловить устаревший контекст системно?

Отключить оптимизацию и полагаться на сохранение прежних адресов освобождённых объектов Объявить указатель на контекст как `volatile`, не меняя правила владения и отмены регистрации Сочетать журнал регистрации, ASan и явный контроль времени жизни контекста Проверять перед вызовом лишь то, что адрес контекста не равен `NULL` Перехватывать `SIGSEGV` вокруг каждого вызова и продолжать работу с прежней регистрацией

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

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

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

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