Почему работает выход за пределы границ массива?

Question

A F @TiPo

C++

Почему работает выход за пределы границ массива?

Язык программирования: C++

Среда разработки и компилятор: Visual Studio 2013 Update 4

У меня успешно компилируется и выполняется следующий код:

#include <iostream>

using namespace std;

int main(void)
{
	int arr[3];

	arr[6] = 10;
	cout << arr[6] << endl;

	return 0;
}

Разве программа не должна аварийно завершаться на следующей строке?
arr[6] = 10;

Вопрос задан более трёх лет назад
822 просмотра

Комментировать

Подписаться 1 Оценить Комментировать

Решения вопроса 1

8 комментариев

A F @TiPo Автор вопроса

Это C++. Разве в нём это не исправлено?

Написано более трёх лет назад
Армянское Радио @gbg Куратор тега C++

TiPo: Это не является "проблемой" языка, которую нужно "исправлять". Это утверждение справедливо и для C, и для C++.

Написано более трёх лет назад
Adamos @Adamos

int arr[3];
arr[6] = 10;
Это не С++. Это С, и работает оно, как С. То есть ничего за вас само не делает.

Написано более трёх лет назад
A F @TiPo Автор вопроса

Армянское Радио: Спасибо.

Написано более трёх лет назад
Армянское Радио @gbg Куратор тега C++

Adamos: Если это компилируют компилятором C++, это С++

Написано более трёх лет назад
Adamos @Adamos

Угу, и ассемблерные вставки тоже станут С++, по такой логике.
Товарищ ориентируется на то, что он как-то слышал, что в С++ решили подобные проблемы, однако он не в курсе, КАК их решили и почему их по-прежнему можно создать все в том же С++.

Написано более трёх лет назад
Армянское Радио @gbg Куратор тега C++

Adamos: Я предлагаю жестко отделить факт обратной совместимости (некоторые тексты на C могут быть обработаны компилятором C++) от того факта, что эти языки допускают вставку кусков ассемблера. Кстати, если не указать volatile, раскладка вставки остается на усмотрение компилятора, и разные компиляторы (С и С++) сделают это разным образом. Это совершенно разные процессы, а вы их, по неясной причине, смешали.

Написано более трёх лет назад
Adamos @Adamos

Армянское Радио: объяснюсь еще раз. ТС спрашивает - это же С++, разве в нем это не исправлено? Я отвечаю - это не та парадигма С++, в которой все исправлено, это наследство от С. В том современном С++, в котором "все исправлено", такие вещи не должны использоваться в принципе.

Написано более трёх лет назад

Пригласить эксперта

Ответы на вопрос 3

3 комментария

A F @TiPo Автор вопроса

Абсолютно точно.

Написано более трёх лет назад
Meehalkoff @Meehalkoff
mikhail ~]$ gcc --version gcc (GCC) 4.9.1 20140903 (prerelease)

такое же поведение
Написано более трёх лет назад
Ix_Didicus @Ix_Didicus

gcc версии 4.8.3 под Cygwin — сегфолт
cl версии 16 (10-я студия) — работает

Написано более трёх лет назад

9 комментариев

A F @TiPo Автор вопроса

Отладочную.

Написано более трёх лет назад
Владимир Мартьянов @vilgeforce

TiPo: Тогда это очень странно... В общем, повредили вы некритичную для работы программы область памяти, повезло :-)

Написано более трёх лет назад
A F @TiPo Автор вопроса

В релизе так же всё работает.

Написано более трёх лет назад
A F @TiPo Автор вопроса

vilgeforce: то есть? Можете объяснит подробнее? :-) В первый раз с таким сталкиваюсь. :-)

Написано более трёх лет назад
Владимир Мартьянов @vilgeforce

TiPo: В релизной значительно меньше проверок. У меня тоже бывало софтина с повреждением памяти лопатила сотни часов и ничего. А релизная сразу валилась. Попробуйте еще дебажную из студии запустить, может так покажет...

Написано более трёх лет назад
A F @TiPo Автор вопроса

vilgeforce: везде всё работает. :-D

Написано более трёх лет назад
Владимир Мартьянов @vilgeforce

TiPo: Выделилось при сборке 32 байт памяти вместо 12, вы обращаетесь к 24-му, память под него есть. А выделилось бы ровно - могли бы попасть в какой-то адрес. Оно бы упало.

Написано более трёх лет назад
A F @TiPo Автор вопроса

vilgeforce: спасибо! :-)

Написано более трёх лет назад
Владимир Мартьянов @vilgeforce

TiPo: Да пожалуйста :-) Если посмотрите в отладчике куда же именно идет обращение - может станет понятнее почему не валится.

Написано более трёх лет назад

Комментировать

Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации

Похожие вопросы

C++

+1 ещё

Простой
Как это исправить?
- 1 подписчик
- 9 часов назад
- 84 просмотра
0

ответов
Python

+2 ещё

Простой
Как транслировать аудио в микрофон, py, c#, c++?
- 1 подписчик
- вчера
- 156 просмотров
3

ответа
C++

+1 ещё

Средний
Как найти кратчайший путь в лабиринте, двигаться в котором можно только вперед и направо?
- 1 подписчик
- 21 апр.
- 107 просмотров
1

ответ
C++

+1 ещё

Средний
Как в C++ создать массив с неизвестным числом элементов?
- 1 подписчик
- 21 апр.
- 113 просмотров
3

ответа
C++

+1 ещё

Средний
Как оптимизировать код с++ с рекурсией в времени?
- 1 подписчик
- 21 апр.
- 115 просмотров
2

ответа
C++

+1 ещё

Средний
Как понять в чем ошибки?
- 1 подписчик
- 21 апр.
- 107 просмотров
1

ответ
C++

Средний
Как переобразовать string в const unsigned char* в C++?
- 1 подписчик
- 20 апр.
- 74 просмотра
2

ответа
C++

+1 ещё

Средний
Как исправить ошибку sqlite3?
- 1 подписчик
- 20 апр.
- 108 просмотров
2

ответа
C++

+1 ещё

Сложный
Как правильно запустить SFML-файл в VIsual Studio Code?
- 1 подписчик
- 20 апр.
- 57 просмотров
2

ответа
C++

+1 ещё

Простой
Возможно ли сделать nested enum c/c++?
- 2 подписчика
- 20 апр.
- 67 просмотров
1

ответ
Показать ещё Загружается…

WordPress developer (Contractor, Remote)

Hicaliber

До 2 300 $

Middle Fullstack Developer (Laravel + Vue.js) (Contractor, Remote)

Hicaliber

от 2 500 до 3 800 $

Backend PHP Разработчик

Integrilla

от 120 000 ₽

Анимация логотипа

24 апр. 2024, в 00:08

20000 руб./за проект

Разработка дизайна раздела «Статьи» на сайте «Мир отходов»

23 апр. 2024, в 23:01

10000 руб./за проект

Дизайн личного кабинета (клиентская часть)

23 апр. 2024, в 22:37

500 руб./в час

Answer 1 · 2015-03-30 16:47:48

Выход за границу аллоцированного блока памяти в C/C++ сопровождается неопределенным поведением. Неопределенное поведение, в редком частном случае может совпасть с ожидаемым поведением.

Допускать состояние неопределенного поведения в программах нельзя - это ошибка. Исправляйте.

Среда выполнения намеренно не выполняет проверку на выход за границу индексного оператора, дабы не тратить драгоценное время процессора.

Answer 2 · 2015-03-30 16:46:36

gcc 4.8.2:
Компилирует, но сама программа падает, как и ожидалось, с сегфолтом.

Програма точно не падает у тебя?

Answer 3 · 2015-03-30 16:46:54

Владимир Мартьянов @vilgeforce

Раздолбай и программист

Релизную сборку запускаете или отладочную?

Ответ написан более трёх лет назад

9 комментариев

Answer 4 · 2015-03-31 08:00:32

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

Почему работает выход за пределы границ массива?

Войдите, чтобы написать ответ

Минуточку внимания

Войдите на сайт