Форум программистов, компьютерный форум CyberForum.ru

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
AndrSlav
44 / 44 / 6
Регистрация: 20.12.2013
Сообщений: 259
#1

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

12.01.2014, 16:03. Просмотров 327. Ответов 1
Метки нет (Все метки)

Здравствуйте. Объясните, пожалуйста, код из инета:
Если вы думаете, что злоключения ждут неаккуратные программы только на больших объемах данных, то я вынужден вас огорчить. Рассмотрим интересный код для работы с массивом, содержащего всего 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 бит, но не уверен, хочу убедиться.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
12.01.2014, 16:03
Здравствуйте! Я подобрал для вас темы с ответами на вопрос арифметика указателей (C++):

Арифметика указателей - C++
есть size_t * pointer_1; logfile_f("\npointer_1 is 0x%X", pointer_1); есть size_t * pointer_2 = pointer_1 - 284; ...

Индексация массивов, арифметика указателей - C++
инициализирую одномерный массив и делаю на него указатель const int N = 6; int X = {9,3,2,3,6,8}; int *mas = X; ...

Арифметика указателей (указатель на void*) - C++
У меня есть указатель на void*, который я получил с помощью void *beginPointer = VirtualAlloc(NULL, size, MEM_COMMIT, PAGE_READWRITE);Мне...

Способы создания объектов и арифметика указателей - C++
Вот сам код: class ListNode { public: ListNode(int val) { next=NULL; i=val; } ListNode*...

Замена максимального элемента массива на среднее арифметическое (арифметика указателей) - C++
Написать программу, которая заменяет значение максимального элемента массива на среднее арифметическое элементов массива. Массив из 8 целых...

Объяснить от чего зависит размер указателя и что такое арифметика указателей - C++
Уважаемые программисты, возник вопрос. По умолчанию указатель любого типа может иметь только 4 байта. Но взглянем на следующий код: ...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
ValeryS
Модератор
6556 / 5022 / 464
Регистрация: 14.02.2011
Сообщений: 16,763
12.01.2014, 16:17 #2
Цитата Сообщение от 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
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
12.01.2014, 16:17
Привет! Вот еще темы с ответами:

по поводу указателей. Как правильно задавать массив указателей и его удалять? - C++
Т.е., например создаю указатель: TPoint *p_Point=NULL; а если массив? TPoint *p_MassPoint; //=?; как массив обнулить не ясно ...

Почему в сортировке указателей на объекты в вызове функции используются адреса объектов, а не указателей? - C++
Доброго времени суток! Рассматриваю пример (из Лафоре) сортировки массива указателей на объекты, для чего используются указатели на...

Объяснить различия в работе указателей на целое число и указателей на const char (строки в стиле Си) - C++
Уважаемые программисты, возникло несколько вопросов касательно указателей. Почему при выводе указателя на int нужна звёздочка (*), а...

Создать специфицированный шаблон функции, принимающей массив указателей на char и количество самих указателей - C++
Задача: создать специфицированный шаблон функции, принимающей массив указателей на char и количество самих указателей. Вернуть адрес...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru