Czy prawdą jest, że typy danych podstawowych zawsze są przechowywane na stosie, a instancje typów danych referencyjnych na stercie?

Nie zawsze jest to prawdziwe.

Przechowywanie typów danych prymitywnych i odwołań do obiektów zależy od kontekstu:

• Zmienne lokalne:

  • Typy danych prymitywnych zadeklarowane jako zmienne lokalne w metodach są zazwyczaj przechowywane na stosie.
  • Odwołania do obiektów zadeklarowane jako zmienne lokalne również są przechowywane na stosie. Same instancje obiektów znajdują się na stercie.

• Pola obiektów (zmienne instancji):

  • Typy danych prymitywnych będące polami obiektów są przechowywane na stercie jako część samego obiektu.
  • Odwołania do innych obiektów, będące polami obiektów, również są przechowywane na stercie jako część obiektu. Referencje do obiektów będących polami również będą na stercie.

• Zmienne statyczne:

  • Zmienne statyczne (zarówno prymitywne, jak i referencyjne) są przechowywane jako część danych klasy w obszarze pamięci, który często nazywa się PermGen (przed Java 8) lub Metaspace (Java 8 i nowsze), ale koncepcyjnie różni się od stosu wywołań dla zmiennych lokalnych.

• Analiza ucieczek (Escape Analysis):

  • JVM może stosować optymalizację zwaną Escape Analysis. Jeśli JVM stwierdzi, że obiekt tworzony w metodzie nie "ucieka" poza tę metodę (tzn. nie staje się dostępny z zewnątrz), to ten obiekt może być alokowany bezpośrednio na stosie zamiast na stercie (Scalar Replacement). Ta optymalizacja pozwala uniknąć kosztów związanych z zarządzaniem pamięcią dla takich obiektów.

W związku z tym, chociaż lokalne zmienne prymitywne i odwołania do obiektów są przechowywane na stosie, same instancje obiektów zawsze są przechowywane na stercie, a pola obiektów znajdują się na stercie razem z obiektem. Optymalizacje takie jak Escape Analysis mogą zmieniać to zachowanie w wyjątkowych przypadkach.