Este adevărat că tipurile de date primitive sunt întotdeauna stocate în stivă, iar instanțele tipurilor de date de referință în heap?

Nu este întotdeauna corect.

Stocarea tipurilor de date primitive și a referințelor către obiecte depinde de context:

• Variabile locale:

  • Tipurile de date primitive declarate ca variabile locale în interiorul metodelor sunt de obicei stocate în stivă.
  • Referințele către obiecte declarate ca variabile locale sunt, de asemenea, stocate în stivă. Instanțele de obiecte în sine se află în heap.

• Câmpurile obiectelor (variabilele de instanță):

  • Tipurile de date primitive care sunt câmpuri ale obiectelor sunt stocate în heap ca parte a obiectului în sine.
  • Referințele către alte obiecte, care sunt câmpuri ale obiectelor, sunt, de asemenea, stocate în heap ca parte a obiectului. Obiectele referențiate vor fi, de asemenea, în heap.

• Variabile statice:

  • Variabilele statice (atât primitive, cât și referințe) sunt stocate ca parte a datelor clasei într-o zonă de memorie numită adesea PermGen (înainte de Java 8) sau Metaspace (Java 8 și mai recent), dar diferă conceptual de stiva de apeluri pentru variabilele locale.

• Analiza de evadare (Escape Analysis):

  • JVM poate aplica o optimizare numită Escape Analysis. Dacă JVM determină că un obiect creat într-o metodă nu "evadează" dincolo de această metodă (adică, nu devine accesibil din exterior), atunci acest obiect poate fi alocat direct în stivă în loc de heap (Scalar Replacement). Această optimizare evită costurile de colectare a gunoiului pentru astfel de obiecte.

Prin urmare, deși variabilele locale primitive și referințele la obiecte sunt stocate în stivă, instanțele de obiecte în sine sunt întotdeauna stocate în heap, iar câmpurile obiectelor se află în heap împreună cu obiectul. Optimizări precum Escape Analysis pot modifica acest comportament în cazuri excepționale.