Могу присвоить значение не существующему элементу массива и вывести его, в чем проблема?

Question

[DimaIs]

Решил написать программку, возник какойто вопрос, и я решил кое-что(а именно присвоить несуществующему элементу значение)проверить. В итоге(см. скриншот)я не только смог это сделать, но и даже вывел его!
Это новая фича или кто-то уже решал такую проблему? Заранее выражаю благодарность

Comments

[Толстый Лорри]

не существует элемента field[3][3], т.к. в C++ индексы массивов начинаются с нуля.

Answer 1

[15432]

Нет, просто вы записали в область памяти за пределами места, выделенного под массив. Это называется buffer overflow и может привести к непредсказуемым последствиям - например, если сразу за массивом выделена другая важная переменная, она может быть перезаписана. Отсутствие проверки ввода пользователя на допустимые границы может быть серьёзной уязвимостью безопасности - локальные переменные выделяются на стеке, в том числе и массивы. Выход за пределы массива позволит перезаписать адрес возврата (который тоже расположен на стеке) и в теории выполнить произвольный код.

С целью предотвращения такого поведения в языках более высокого уровня при каждом присваивании проверяются границы доступной памяти, не позволяя "выстрелить себе в ногу". В C++ такого нет в угоду большей производительности.

Comments

[DimaIs]

я раньше писал на вижуал студио и там была проверка, выскакивала ошибка, странно... Спасибо за ответ!

[15432]

Visual Studio может вывести предупреждение или запретить компиляцию в подобных опасных ситуациях (например, VS не даст скомпилировать код с функцией fopen()), но это всё на совести статического анализатора Visual Studio и может быть отключено в настройках.

[abcd0x00]

DimaIs:

я раньше писал на вижуал студио и там была проверка, выскакивала ошибка

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