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

Арифметика указателей

Тест проверяет единицы измерения указательной арифметики, ptrdiff_t, связь с массивами и строгую границу сразу за последним элементом. Здесь нельзя отвечать по числовому виду адреса — нужно опираться на объектную модель C.

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

⏱ --:--

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

Вопрос 1 из 20

Какой элемент массива прочитает выражение `*(p + 2)`?

#include <stdio.h>
int main(void){ int a[]={10,20,30,40}; int *p=a; printf("%d\n", *(p+2)); }

Адрес третьего байта 40 30 20 10

Вопрос 2 из 20

На сколько байтов обычно изменится адрес при `p++`, если p имеет тип `struct item *`?

Всегда на 1 На sizeof(struct item) На sizeof(p) Зависит от значения полей На alignof(struct item) независимо от размера

Вопрос 3 из 20

Как получить указатель на byte_offset байтов после начала объекта?

struct packet packet;
size_t byte_offset = get_offset();
/* известно: byte_offset <= sizeof packet */

`uint32_t *p = (uint32_t *)((unsigned char *)&packet + byte_offset);` — выравнивание гарантирует граница объектаbase + byte_offset /* void* по стандарту */ `unsigned char *p = (unsigned char *)(uintptr_t)packet + byte_offset;` — объект можно преобразовать в целое без взятия адреса(double *)base + byte_offset `unsigned char *p = (unsigned char *)&packet + byte_offset;`(unsigned char *)base + byte_offset `struct packet *p = &packet + byte_offset / sizeof packet;` — дробная часть смещения несущественна&base[byte_offset] /* base — struct* */ `void *p = (void *)&packet + byte_offset;` — арифметика над void * не входит в стандартный C(int *)base + byte_offset

Вопрос 4 из 20

Что вычисляет `&a[5] - &a[2]` для массива a?

int a[8];
ptrdiff_t d = &a[5] - &a[2];

3 байта Адресное значение 3 sizeof(a)-3 Поведение не определено 3 элемента типа массива

Вопрос 5 из 20

Парсер хранит `uint32_t *p` и прибавляет к нему длину заголовка в байтах. В чём дефект?

Смещение вычисляется в элементах `uint32_t`, поэтому остаток от деления длины заголовка на четыре теряется Смещение повторно масштабируется на `sizeof(uint32_t)` Арифметика корректна, но чтение затем обязательно поменяет порядок байтов независимо от протокола Операция допустима только для нулевого смещения: к указателю на целое нельзя прибавлять ненулевое значение Проблема возникает лишь при невыровненном исходном указателе; масштабирование длины остаётся байтовым

Вопрос 6 из 20

Какой тип имеет выражение `end - begin` для двух указателей на элементы одного массива?

int *begin = a + 2;
int *end = a + 7;
/* тип end - begin */

long double uintptr_t int size_t ptrdiff_t

Вопрос 7 из 20

Когда вычитание двух указателей определено?

Только для адресов внутри одного блока, полученного именно через `malloc` Для любых двух ненулевых указателей одного типа, даже если они относятся к разным объектам Только для `char *`, поскольку другие типы нельзя вычитать Для указателей на элементы одного массива, включая допустимую позицию сразу за последним элементом Когда числовые адреса после приведения помещаются в диапазон `int`

Вопрос 8 из 20

Какую разность элементов вычислит выражение `q - p`?

#include <stddef.h>
#include <stdio.h>
int main(void){ int a[6]; int *p=&a[4], *q=&a[1]; printf("%td\n", q-p); }

Зависит от sizeof(int) 3 -3 12 Поведение не определено

Вопрос 9 из 20

Какой формат printf соответствует ptrdiff_t?

ptrdiff_t d = last - first;
printf("...\n", d);

%p %zu %td %ld всегда %u

Вопрос 10 из 20

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

Отрицательная разность станет большим беззнаковым числом `size_t` нельзя использовать для размеров, полученных из указателей; требуется только `uintptr_t` `size_t` может быть уже `ptrdiff_t`, и приведение изменит единицы измерения разности Приведение разрешено только для разности, кратной размеру элемента массива Отрицательное значение станет положительным лишь на платформах с прямым кодом знаковых чисел

Вопрос 11 из 20

Какое выражение эквивалентно `a[i]`?

int value = a[i];

&a+i sizeof(a+i) a+i *(a+i) *a+i

Вопрос 12 из 20

Допустимо ли создать указатель `int *end = a + n` для массива из n элементов?

int a[5];
int *end = a + 5;

Только при `n == 0`; для непустого массива положение сразу за последним элементом запрещён Нет: само вычисление `a + n` уже выходит за допустимый диапазон Только для массивов со статической длительностью хранения Да: разыменование `*end` возвращает ноль как признак конца массива Да: указатель положение сразу за последним элементом можно формировать и сравнивать, но нельзя разыменовывать

Вопрос 13 из 20

Чем `&a` отличается от `a` для `int a[10]`?

int a[10];
/* сравните типы a и &a */

`a` обычно становится `int *`, а `&a` имеет тип `int (*)[10]` `a` преобразуется к `void *`, а `&a` сохраняет тип элементов Значение и тип полностью совпадают, поэтому арифметика обоих выражений одинакова `&a` указывает на первый `int`, а `a` — на последний элемент массива Оператор `&` нельзя применять к имени массива

Вопрос 14 из 20

Какое значение обозначает необычная запись `2[a]`?

#include <stdio.h>
int main(void){ int a[]={1,2,3,4}; printf("%d\n", 2[a]); }

Поведение не определено 2 3 4 1

Вопрос 15 из 20

Почему `int **p = matrix` неверно для `int matrix[3][4]`?

Тип следует заменить на `float **`, потому что каждый подмассив имеет собственный адрес `int **` описывает массив указателей на строки и совместим с матрицей после проверки выравнивания Двумерный массив можно передавать только как `void *`, поскольку размер строки не входит в тип `matrix` преобразуется к `int *`, но присваивание требует дополнительного явного приведения `matrix` преобразуется к `int (*)[4]`: это указатель на строку из четырёх `int`, а не указатель на указатель

Вопрос 16 из 20

Какое условие корректно обходит полуинтервал указателей `[first, last)`, разыменовывая только его элементы?

for (int *p=first; p<last; ++p) use(*p);

`p != last + 1`: формируется указатель на два элемента за массивом `p >= first || p < last`: достаточно выполнения хотя бы одной половины условия Продолжать цикл, пока `p < last`, и разыменовывать `p` только внутри этого условия `*p != 0`: нулевое значение элемента служит универсальной границей любого массива `p <= last` с разыменованием `p` в теле: указатель `last` считается последним элементом диапазона

Вопрос 17 из 20

Почему условие `p <= end` опасно в этом обходе массива?

int *end = a + n;
for (int *p=a; p<=end; ++p) use(*p);

При `p == end` цикл разыменовывает указатель сразу за последним элементом Сравнение `p <= end` запрещено даже для указателей внутри одного массива Цикл корректен: `end` обозначает обычный элемент массива с индексом `n` Инкремент `p` недопустим, поскольку имя указателя не является массивом Переменная `end` должна иметь тип `ptrdiff_t`, иначе сравнение невозможно

Вопрос 18 из 20

Можно ли сравнивать `<` указатели на два независимых malloc-блока для определения, какой “раньше”?

Нет: переносимый реляционный порядок задан лишь внутри одной массивной области Да: стандарт задаёт единый числовой порядок всех адресов процесса Можно, если оба выделения имеют одинаковый размер Можно для любых двух ненулевых указателей, полученных из `malloc` Можно после приведения обоих адресов к `int`

Вопрос 19 из 20

Как безопасно проверить, что осталось не меньше need элементов?

/* p и end относятся к одному массиву */
if (/* достаточно элементов */) { ... }

Проверить общую массивную область и `p <= end`, затем сравнить `need` с `end - p` Привести `end - p` к `size_t` до проверки порядка указателей Преобразовать адреса к `double` и сравнить их числовую разность Считать проверку избыточной: сложение указателя само ограничивается концом массива Сразу сформировать `p + need` и сравнить с `end`: дальний выход за массив допустим до разыменования

Вопрос 20 из 20

Какой указатель стандарт C разрешает получить арифметикой внутри массива, хотя разыменовывать результат нельзя?

Указатель на первый байт существующего объекта Указатель на реально существующее поле структуры Указатель на позицию сразу за последним элементом того же массива Указатель на существующий объект типа `int` Нулевой указатель, полученный преобразованием целого нуля

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

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

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

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