Где в памяти располагаются переменные и массивы?

Question

[Имя]

Случай первый: Если я размещу полностью неинициализированный массив в теле функции, то где он будет размещён?
Я думаю, что он будет размещён целиком в стеке.

Случай второй: Если я размещу полностью неинициализированный массив вне функции, то где он будет размещён?
Я думаю, что он будет размещён в BSS секции, но вне стека.

Случай пятый: Если я размещу частично инициализированный массив в функции, то где будут размещены инициализированная и неинициализированная части?
Я думаю, что инициализированная часть будет располагаться в секции data/rodata, а инициализированная часть в стеке?

Случай четвёртый: Если я размещу частично инициализированный массив вне функции, то где будут размещены инициализированная и неинициализированная части?

Comments

[Василий Банников]

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

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

А "частично инициализированный массив в функции" там же, где и "полностью неинициализированный массив в теле функции"

[Имя]

Василий Банников, то есть, если массив в теле функции, то он всегда в стеке, вне зависимости от того инициализирован ли он?

[Василий Банников]

Герман, ага. Это просто ты так выделяешь память на стеке под какие-то данные. Логика абсолютно такая же, как и с обычными переменными.

[Имя]

Василий Банников, но как тогда массив инициализируется в этом случае? Ведь область стека при загрузке программы в память обнулена.

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

Мне очень интересно посмотреть на Частично (!) инициализированный массив.

[Имя]

Армянское Радио, ну если ассемблер попробовать, можно увидеть что-то такое.

[Василий Банников]

Герман, а что в листинге кода?

[res2001]

Герман,

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

Возможно первоначально стек и обнулен, я тут не в курсе, но на это рассчитывать не стоит, т.к. стек постоянно меняется и ты не можешь гарантировать, что вот эта конкретная переменная попадет в "обнуленную" область стека, которая не была еще использована. Когда из стека "выталкиваются" (pop) данные, то память в стеке никак не изменяется, просто уменьшается (увеличивается) указатель стека. Поэтому стек всегда содержит огрызки данных предыдущих вызовов и размещенных там переменных.
И даже в main нет такой гарантии, т.к. до main выполняется куча кода стандартной библиотеки. На самом деле точкой входа в программу является вовсе не мейн. Если я правильно помню, то точкой входа в программу является _start, которая спрятана внутри стандартной библиотеки.

Массив не может быть частично инициализированным. Он либо не инициализирован (но память выделена), либо инициализирован. Все элементы, которые вы в явном виде не инициализируете, будут заполнены нулями компилятором.

Не инициализированные глобальные и статические данные лежат в сегменте bss.
Инициализированные - в data.
Локальные переменные функций лежат на стеке, не зависимо от того инициализированы он или нет. Код инициализации встраивается в код функции компилятором.
Динамические данные лежат в куче.

Answer 1

[skyazimuth]

1 обычные неинициализированные переменные в функции размещаются на стеке. Если есть возможность, могут быть размещены в регистрах. При ключевом слове static размещается в bss. При ключевом слове const размещается в rodata. То же касается и массивов, разве что в регистрах вряд ли разместятся (хотя, мало ли какие архитектуры могут быть).
2 глобальные неинициализированные массивы размещаются в bss, const - в rodata.
5 массив будет храниться на стеке, при входе в функцию инициализироваться данными из rodata. Массивы неразрывные и однородные, его части не могут быть разного типа хранения. Тут тоже надо иметь в виду, что const будет лежать в rodata, static - в data
4 как сказал, массив однородный и неразрывный, глобальный инициализированный будет весь в data.