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

@AndrSlav · Регистрация: 20.12.2013

Студворк — интернет-сервис помощи студентам

Здравствуйте. Объясните, пожалуйста, код из инета:

Если вы думаете, что злоключения ждут неаккуратные программы только на больших объемах данных, то я вынужден вас огорчить. Рассмотрим интересный код для работы с массивом, содержащего всего 5 элементов. Следующий пример работоспособен в 32-битном варианте и неработоспособен в 64-битной.

C++
1
2
3
4
5
6
int A = -2;
unsigned B = 1;
int array[5] = { 1, 2, 3, 4, 5 };
int *ptr = array + 3;
ptr = ptr + (A + B); // Некорректное значение указателя на 64-битной платформе
printf("%i\n", *ptr); // Нарушение доступа на 64-битной платформе

Давайте проследим, как происходит вычисление выражения "ptr + (a + b)":

Согласно правилам языка С++, переменная A типа int приводится к типу unsigned.
Происходит сложение A и B. В результате будет получено значение 0xFFFFFFFF типа unsigned.
Затем происходит вычисление выражения "ptr + 0xFFFFFFFFu", но что из этого выйдет, зависит от размера указателя на данной архитектуре. Если сложение будет происходить в 32-битной программе, то данное выражение будет эквивалентно "ptr - 1", и будет выведено число 3.

В 64-битной программе к указателю честным образом прибавится значение 0xFFFFFFFFu, в результате чего указатель окажется далеко за пределами массива. И при доступе к элементу по данному указателю нас ждут неприятности.

Для предотвращения показанной ситуации, как и в первом случае, рекомендую использовать в арифметике с указателями только memsize-типы. Два варианта исправления кода:

C++
1
2
3
ptr = ptr + (ptrdiff_t(A) + ptrdiff_t(B));
ptrdiff_t A = -2;
size_t B = 1;

...

C++
1
ptr = ptr + (A + B);

Вы можете возразить и предложить следующий вариант исправления:

C++
1
2
3
4
int A = -2;
int B = 1;
...
ptr = ptr + (A + B);

Да, такой код будет работать, но он плох по ряду причин

1. "переменная A типа int приводится к типу unsigned" приводится к бесзнаковому типу и остается -2? В сумме с B дает -1?
2. Здесь имеется в виду, что unsigned большей размерности, чем int? Посмотрел в инете- вроде от арх-ры зависит, может быть и 128 бит, но не уверен, хочу убедиться.

ValeryS · 12.01.2014, 16:17

Сообщение от AndrSlav

"переменная A типа int приводится к типу unsigned" приводится к бесзнаковому типу и остается -2? В сумме с B дает -1?

у безнаковой нет знака
значит -2 в безнаковой записи будет 4294967294 (и то и другое 0xfffffffe)
теперь прибавляем 1 и получаем 4294967295 (0xffffffff)
допустим указатель указывает на адрес 256(0х100)
прибавляем
0х100+0xffffffff=0х1000000FF
вылетели за пределы массива
так будет на 64 битной платформе
А что буде на 32 битной?
результат тот же но старшая единица не влазит в разрядную сетку и отбрасывается
результат 255(0х000000FF)
все в порядке, об этом и речь в твоей ссылке
правда я не уверен( проверять надо), что
-2 будет 0x00000000fffffffe а не 0xfffffffffffffffe

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

Опции темы