Ответ.

История вопроса:

Арифметика указателей появилась в языке C для обеспечения эффективной работы с памятью, массивами и структурами. Она тесно связана с адресацией памяти и тем, как C работает на самом низком уровне — прибавление или вычитание из указателя позволяет обращаться к последовательным элементам массива.

Проблема:

Главная сложность состоит в том, что арифметика указателей не эквивалентна арифметике чисел: прибавление 1 к указателю увеличивает его на размер типа, на который он указывает. Классические ошибки — выход за пределы выделенного массива, работа с указателями несовместимых типов и попытки вычислений с void *.

Решение:

Всегда учитывать размер типа при работе с указателями, избегать алгебраических вычислений с void*, контролировать границы массива. Для обращения к элементу массива использовать индексацию или вычисленные указатели, предварительно проверяя границы.

Пример кода:

#include <stdio.h>
int main() {
   int arr[5] = {1, 2, 3, 4, 5};
   int *p = arr;
   printf("%d
", *(p + 2)); // 3
   // Недопустимо: p + 10 выходит за границы массива
   return 0;
}

Ключевые особенности:

• Прибавление к указателю увеличивает адрес на sizeof(тип), а не на байт
• Сравнивать можно только указатели, указывающие на элементы одного массива
• Арифметика с void* недопустима (за исключением некоторых GNU-расширений)

Вопросы с подвохом.

Можно ли прибавлять к указателю значение типа float или переменные других типов?

Нет, к указателям можно прибавлять или вычитать только значения целого типа. Использование плавающей точки приведет к ошибке компиляции.

*Вернет ли (arr + i) и arr[i] всегда одно и то же, даже если i выходит за границы массива?

Нет. Семантически они эквивалентны, но если индекс выходит за пределы массива, оба выражения приводят к неопределённому поведению (undefined behavior).

Что произойдет при вычитании указателей, ссылающихся на разные массивы?

Результат не определен стандартом и считается ошибкой. Вычитать можно только указатели, находящиеся в рамках одного массива (или памяти, выделенной одним блоком).

Типовые ошибки и анти-паттерны

• Выход за пределы массива при работе с указателями (buffer overrun)
• Выполнение арифметики с void* без явного приведения
• Использование указателей для доступа к памяти, которую уже освободили

Пример из жизни

В коде разработчик использует арифметику указателей для обхода массива:

Плюсы:

• Быстрее индексации в некоторых архитектурах.

Минусы:

• Параллельно забыл проверить границы — возникло повреждение памяти (segmentation fault).

В отрефакторенном варианте используются явные проверки границ при каждом шаге:

Плюсы:

• Гарантия отсутствия выхода за пределы массива

Минусы:

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