Почему массивы в Си заполняются «М»?

Question

[h45h47]

В Си массивы, которые не были заполнены при объявлении, автоматически заполняются символом "M".

spoiler

Но почему именно "М", в этом есть какой-то сакральный смысл? Или это отсылка на древний мем?

spoiler

Проверено не на одном компьютере и не только мной, так что это не случайность.

Comments

[Владимир Коротенко]

в дебаге или в релизе

[wisgest]

Или это отсылка на древний мем?

?

[Владимир Коротенко]

wisgest, мне вспомнилось 0xdeadbeef но там есть еще много
https://ru.wikipedia.org/wiki/Hexspeak

[wisgest]

Владимир Коротенко, вряд ли, какой смысл в 0x4d4d4d4d4? ('M'==0x4d)

[Владимир Коротенко]

wisgest, смысл в том что можно в памяти поймать паттерны

[Владимир Коротенко]

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

[wisgest]

Владимир Коротенко, а, в вопросе русская буква в кодировке cp1251, я думал, что латинская.

Answer 1

[Владимир Коротенко]

Uninitialized variables are not set to zero; they are initialized to special fill patterns, 0xcc and 0xcd (depending on whether the memory was allocated on the stack or the debug heap). The debugger can also be configured to break when uninitialized memory is read (though there are probably some restrictions on when this feature can be used)

В вашем случае 0xcc
Компилятор заполняет неициализированные переменные именно этим значением, что бы отлавливать значения которые не были инициализированы. Поэтому бывает забавно. В дебаге работает, а в релизе нет.

Answer 2

[res2001]

Не заполняются они М.
Если объявляется массив автоматический на стеке без инициализатора, то просто отводится память на стеке (уменьшение/увеличение регистра счетчика стека), никаких "теневых" присваиваний элементам не происходит, элементы массива принимают те значения, которые были в этих ячейках памяти ранее.
То же самое и с динамическим массивом, только механизам выделения памяти другой.
По любому адресу в памяти всегда находится какое-то значение, даже если эта память еще не выделена, просто потому что плашка памяти уже вставлена в материнку и на нее подано питание.

Возможно в вашем случае это и не случайность - вы же не приводите код, которым выделяете память.

Comments

[h45h47]

Память выделяется просто - char str[100][124]; И раз элементы массива принимают значения ячеек, то почему в этих ячейках лежит именно "М"? Может при запуске компьютера восстановление ячеек (не уверен, что при запуске происходит восстановление всех ячеек, но может быть) производится именно символом "М" или причина какая-то другая. Это и интересно узнать, потому что на разных компьютерах результат повторяется.

[res2001]

h45h47,

Это и интересно узнать, потому что на разных компьютерах результат повторяется.

Я не могу это подтвердить. На собственной практике видел абсолютно разные варианты.

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

[Antony]

res2001 Я могу ошибаться, но вроде бы дебагер в Visual Studio намеренно заполняет неинициализированную память подобным "странным" мусором, чтобы это бросалось в глаза при отладке.

h45h47 а вообще пока вы не заполните (хотя бы нолями) память чем-то, там будет все что угодно.

[Владимир Коротенко]

h45h47, я ответил. Это компилятор, но лучше смотрите за варнингами, при смене на релиз там будет все что угодно

[res2001]

Antony,

дебагер в Visual Studio намеренно заполняет неинициализированную память подобным "странным" мусором

Вполне вероятно, только это, видимо, делает не дебагер, а компилятор. Вероятно, что в release сборке этого уже не будет.
Возможно это делается в рамках диагностики выхода за пределы массива и т.п. штук, в этом случае, так же возможны какие-то предопределенные значения до и после массива.

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

[res2001]

https://stackoverflow.com/questions/370195/when-an...

[h45h47]

res2001 проверил, в релизной сборке это действительно случайные числа. Спасибо.