2

если я объявил переменную но не присвоил ей значение, например int i; память в стеке под нее выделяется сразу или только когда ей присвоится какое-либо значение?

5
  • 2
    такие детали вполне могут быть реализованы по-разному в разных компиляторах. // да даже и в одном, но в разных ситуациях. 16 сен 2021 в 11:35
  • не стоит так радикально менять смысл вопроса. в особенности после того, как на предыдущую редакцию кто-то уже дал ответ. // лучше задать новый с помощью соответствующей кнопки в правом верхнем углу страницы. 16 сен 2021 в 12:13
  • Один вопрос - одна тема. Не меняйте кардинально так вопрос, создайте новый. Откатил назад к исходной версии. Ваш текст сможете найти в истории правок: ru.stackoverflow.com/posts/1329050/revisions
    – A K
    16 сен 2021 в 12:16
  • 1
    В машинном коде переменной вовсе может не быть. Число может быть помещено в регистр процессора. 16 сен 2021 в 13:13
  • Рекомендую переставить галку, появился более точный и правильный ответ.
    – A K
    16 сен 2021 в 15:12

2 ответа 2

6

На такие простые вопросы всегда невероятно трудно ответить. Потому что простого и короткого ответа нет.

Начнём с того, что компиляция кода c# проходит несколько стадий: сперва в IL-код, потом в машинный код. И память под переменную где-то там выделяется в обоих случаях.

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

Рассмотрим такой код:

class Test
{
    int instanceField;

    static int staticField;

    public void Foo(int param)
    {
        int variableA = 42;
        Console.WriteLine(variableA);
    }

    public void Bar()
    {
        int variableB = 42;

        var range = Enumerable.Range(0, 10).Where(x => x == variableB);

        Console.WriteLine(range.Count());
    }
}

Память под поле instanceField будет выделена при создании экземпляра класса. Скорей всего она будет в куче, но в последниях версиях .NET появился Escape analysis и память под объект в некоторых случаях может быть выделена на стеке.

Память под статическое поле staticField будет выделена, если я не ошибаюсь, при загрузке сборки.

Память под параметр param будет выделена при вызове метода. В зависимости от соглашений о вызове (Calling convention), рантайма (CLR, Mono) и уровня оптимизаций (Debug, Release) она может быть в стеке, в регистре, или бог знает где ещё.

Память под локальную переменную variableA будет выделена, скорее всего, в момент компиляции (JIT или AOT) метода Foo. На стеке или в регистре. Но если, например, убрать или закомментировать вызов Console.WriteLine(variableA);, то компилятор может выкинуть эту неиспользуемую переменную, в итоге память под неё вообще никогда не будет выделяться.

А ещё в последних версиях дотнета есть Tiered compilation. В ходе неё сперва может быть быстро выдан слабооптимизированный код (память под переменную выделена в одном месте), потом код может быть перекомпилирован в сильнооптимизированный (память выделена в другом месте).

С переменной variableB всё ещё интереснее! Она участвует в замыкании. В результате компилятором будет создан класс, содержащий эту переменную в качестве поля. Соответственно, память будет выделена в момент создания экземпляра этого класса.

В общем, всё сложно.
The Truth About Value Types - предлагаю ознакомиться с этой статьёй.

3
  • Ссылки на упомянутые термины нужны? Или заинтересовавшиеся сами нагуглят? 16 сен 2021 в 14:14
  • 2
    ссылки всегда нужны.
    – Grundy
    16 сен 2021 в 14:24
  • О, а вот и более правильное объяснение с нюансами подъхало!
    – A K
    16 сен 2021 в 15:09
3

В ваших терминах - "сразу". И будет ей присвоено значение по умолчанию для типа int - то есть ноль. (А например для классов таким значением по умолчанию является null)

Вы вполне могли бы провести натурный эксперимент, накидав простой код типа такого:

введите сюда описание изображения

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

6
  • Слушайте, а я правильно понял, что это не классический отладчик "студии"? Там вроде нет IL и других вещей, котрые видны на картинке. А что это за тулза?
    – S.H.
    16 сен 2021 в 11:58
  • @S.H. Верно. Это linqpad - очень легковесная мини-IDE для быстрого прототипирования, весьма рекомендую, особенно её метод .Dump() для очень наглядного вывода на экран.
    – A K
    16 сен 2021 в 12:14
  • @Димас Все когда-то не умели, научитесь: это вопрос мотивации, времени и упорства. Очень важный навык для программиста, рекомендую прокачивать постепенно.
    – A K
    16 сен 2021 в 12:15
  • 1
    ru.stackoverflow.com/a/1245901/373567 если значимая переменная не инициализирована, она не имеет значения по умолчанию. То есть код int i; i++; не скомпилируется. Выделения памяти под локальную переменную вообще может не произойти, в роли такой переменной может участвовать регистр процессора. О выделении памяти ваш ответ корректен для полей класса и объектов, но не для локальных переменных, хранящих значения или ссылки на объекты. Почему так себя ведет LinqPad - загадка, но он явно не отражает реальную суть происходящего.
    – aepot
    16 сен 2021 в 13:19
  • 1
    При объявлении переменной задачется ее сематическая область видимости, а вот само значение переменной, как и сама переменная, задается при первом присваивании. То есть грубо говоря при объявлении переменной ничего и нигде не выделяется. Именно поэтому я пишу здесь такие длинные комментарии. С полями - да, там другая логика. Значение по умолчанию полю класса присваивается в любом случае при объявлении, если оно не задано явно или не присвоено в конструкторе класса.
    – aepot
    16 сен 2021 в 13:22

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.