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

Question

[A F]

Язык программирования: 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;

Answer 1

[Армянское Радио]

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

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

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

Comments

[A F]

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

[Армянское Радио]

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

[Adamos]

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

[A F]

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

[Армянское Радио]

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

[Adamos]

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

[Армянское Радио]

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

[Adamos]

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

Answer 2

[D']

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

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

Comments

[A F]

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

[Meehalkoff]

mikhail ~]$ gcc --version
gcc (GCC) 4.9.1 20140903 (prerelease)

такое же поведение

[Ix_Didicus]

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

Answer 3

[Владимир Мартьянов]

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

Comments

[A F]

Отладочную.

[Владимир Мартьянов]

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

[A F]

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

[A F]

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

[Владимир Мартьянов]

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

[A F]

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

[Владимир Мартьянов]

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

[A F]

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

[Владимир Мартьянов]

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

Answer 4

[AxisPod]

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