0

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

Двигаемся дальше... Мне бы хотелось понять, что происходит со стеком, когда мы декларируем переменную в цикле. Правильно ли я понимаю, что после каждой пройденной итерации, те локальные переменные, которые были объявлены непосредственно в теле самого цикла, проходят через процесс удаления из стека (выполняется операция pop), а потом снова туда загружаются (это происходит уже в процессе новой итерации, в этом случае срабатывает операция push)? Не уверен, что это так, но на такие размышления меня навёл следующий тестовый код:

class Test {
    public static void main(String[] args) {
        for(int i = 0; i < 5; i++) {
            if(i == 1)
                System.out.println(j);
            int j = 0;
        }
    }
}

/*
    Compilation Errors Detected

    Line: 6
    cannot find symbol
      symbol:   variable j
      location: class Test
*/

Как мы можем видеть, компилятор указывает нам на то, что в пределах области видимости, в которой мы пытаемся получить доступ к нашей локальной переменной, собственно отсутствует переменная с таким идентификатором (хотя мы её уже объявляли в предыдущей итерации). Что меня ещё смущает так это то, что если взглянуть на байт-код в случае, если переменная будет указана вне цикла (но будет использоваться в нём) и аналогичный бинарный код для той ситуации, когда объявление проходило в цикле, то выяснится, что они абсолютно одинаковы!

Теперь ключевой вопрос. Учитывая всё вышенаписанное, что же происходит на самом деле?

9
  • 2
    1) Вы пишите на Java, зачем вы слушаете тех кто пишет на си\си++? это совершенно разные ЯП с разным поведением с разными подкапотными действиями. 2) Что же происходит на самом деле - ровно то что вы видите в байт коде. 3) Ну и теперь более оправданным является использование подходящих переменных под текущие нужды. если вам нужна локальная переменная - используйте локальную, нужна глобальная - используйте глобальную. 14 янв 2019 в 0:05
  • А со стеком какие манипуляции выполняются? Неужели переменная загружается туда лишь единожды?
    – Lexoid
    14 янв 2019 в 0:08
  • 1
    4) Хитрости конечно есть всегда, но вам о них рано задумываться, сначала надо выучить от и до как именно работает ваш ЯП, его оптимизатор, внутренние структуры, и только после вы сможете понять трюки по оптимизации. 14 янв 2019 в 0:09
  • 2
    Отвечаю на ваш комментарий, вам это знать сейчас не нужно, что изменит это знание для вас сейчас? вы сможете правильно это использовать? вы хорошо знаете архитектуру ВМ Java?... зы. все мои советы - из разряда общих, я не являюсь программистом на Java, и уж тем более не знаю ее поднаготную. И да, пролью вам свет немного - как именно будет хранится переменная очень сильно зависит от того как она будет использована, современные ЯП очень хорошо умеют оптимизировать код 14 янв 2019 в 0:10
  • 1
    Зачем это знать? Хочу удовлетворить своё любопытство! Уж простите, такой я человек по своей природе. Если возник какой-то вопрос в голове и я не могу найти на него ответ, то порой даже заснуть не могу!)
    – Lexoid
    14 янв 2019 в 0:13

1 ответ 1

0

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

void foo() {
   if(condition1) {
       int i = 1;
   }
   if(condition2) {
       int j = 2;
   }
}

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

Операция pop (точнее ее аналог) вызывается только один раз при выходе из метода.

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

2
  • То есть, если мы объявляем переменную в цикле, то выделение памяти под неё произойдёт всего 1 раз?
    – Lexoid
    14 янв 2019 в 16:14
  • @Lexoid Именно так. Память на стеке выделяется один раз для вызова функции.
    – talex
    15 янв 2019 в 2:08

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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