Вярно ли е, че примитивните типове данни винаги се съхраняват в стека, а екземплярите на референтните типове данни - в купчината?

Не винаги е вярно.

Съхранението на примитивните типове данни и референциите към обекти зависи от контекста:

• Локални променливи:

  • Примитивните типове данни, обявени като локални променливи вътре в методи, обикновено се съхраняват в стека.
  • Референциите към обекти, обявени като локални променливи, също се съхраняват в стека. Самите екземпляри на обектите се намират в купчината.

• Поля на обекти (променливи на екземпляра):

  • Примитивните типове данни, които са полета на обекти, се съхраняват в купчината като част от самия обект.
  • Референциите към други обекти, които са полета на обекти, също се съхраняват в купчината като част от самия обект. Реферираните обекти също ще бъдат в купчината.

• Статични променливи:

  • Статичните променливи (както примитивни, така и референциални) се съхраняват като част от данните на класа в област от памет, която често се нарича PermGen (преди Java 8) или Metaspace (Java 8 и нагоре), но концептуално се различават от стека за извиквания за локалните променливи.

• Escape Analysis:

  • JVM може да прилага оптимизация, наречена Escape Analysis. Ако JVM определи, че обект, създаден в метод, "не бяга" извън този метод (т.е. не става достъпен отвън), то този обект може да бъде алокиран директно в стека вместо в купчината (Scalar Replacement). Тази оптимизация позволява да се избегнат разходите за събиране на отпадъци за такива обекти.

Следователно, въпреки че локалните примитивни променливи и референциите към обекти се съхраняват в стека, самите екземпляри на обектите винаги се съхраняват в купчината, а полетата на обектите се намират в купчината заедно с обекта. Оптимизации като Escape Analysis могат да променят това поведение в изключителни случаи.