Здравствуйте! Подскажите, пожалуйста, как исправить?


Результат должен быть:

Но при отладке вылазит ошибка Run-Time Check Failure #2 - Stack around the variable 'i2' was corrupted.
и результат работы:

  
использую VS 2005

Это сообщение отредактировал(а) voyageur - 27.2.2009, 16:51

voyageur, кто сказал, что после инкрементирования указателя он будет указывать на другую переменную(i1)? В release версии такое возможно и сработает, но является грязным хаком, так что UB(порча стека) - закономерный результат неправомерных действий.

pan2004, это нас в институте такому учат, прям вот как препод на доске написал так и есть. То есть нельзя чтоли таким образом адрес изменять? должно перейти на i1 т.к. в памяти оно хранится перед i2, то есть адрес переменной i2 - 1 будет i1 а если i2 +1 то будет i3. Разве нет?

Это сообщение отредактировал(а) voyageur - 27.2.2009, 19:53

Нет. Скорее всего ты не сможешь найти в стандарте места, который оговаривает такое поведение.
В дебаг режиме компилятор(VS) судя по всему "окаймляет" каждую стековую переменную специальными метками. Во время выполнения проверяется целостность этих меток, а так как они повреждены(твоим блуждающим указателем), это идентифицируется как stack damage(то же самое касается и "кучи" в режиме дебага). Подобный механизм позволяет в дебаг версии быстро отловить ошибки типа выхода за границы массива. 
В релиз версии подобные метки ставится не должны, так что твоя программа может даже работать. Но не стоит на это полагаться. В настоящих программах строго рекомендую не пользоваться подобными уловками.

значит препод баран. Не слушай его в дальнейшем.

pan2004, сегодня столкнулся с багом у себя в программе по этой части. компилятор cl (Visual Studio 2008)
подобного поведения не заметил. ошибка - обнуление памяти большего размера чем выделено( выделение при помощи оператора new), как проявлялось - bad_alloc exception при последующем выделении памяти.
В релиз версии не проверял, но имхо это поведение не похоже на описанное выше.

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

может это относилось к функции типа void f(...); (с переменным кол-вом аргументов) ? только в этом случае есть необходимость и возможность перебирать параметры "вручную" по указателю.

pan2004, спасибо за полный ответ.

mes, нет, такой код нашел в сети: http://it.kgsu.ru/C++/c0018.html пример 3. 

Убивать нужно за такое (творчество).


Это сообщение отредактировал(а) cutwater - 28.2.2009, 13:48

Это сообщение отредактировал(а) mes - 28.2.2009, 11:15