Είναι σωστό ότι οι primitive τύποι δεδομένων αποθηκεύονται πάντα στη στοίβα και τα αντικείμενα τύπων δεδομένων αναφοράς στη σωρό;

Δεν είναι πάντα σωστό.

Η αποθήκευση των πρωταρχικών τύπων δεδομένων και των αναφορών σε αντικείμενα εξαρτάται από το πλαίσιο:

• Τοπικές μεταβλητές:

  • Οι πρωταρχικοί τύποι δεδομένων που δηλώνονται ως τοπικές μεταβλητές μέσα σε μεθόδους αποθηκεύονται συνήθως στη στοίβα.
  • Οι αναφορές σε αντικείμενα που δηλώνονται ως τοπικές μεταβλητές επίσης αποθηκεύονται στη στοίβα. Τα ίδια τα αντικείμενα βρίσκονται στο σωρό.

• Πεδία αντικειμένων (μεταβλητές στιγμής):

  • Οι πρωταρχικοί τύποι δεδομένων που αποτελούν πεδία αντικειμένων αποθηκεύονται στο σωρό ως μέρος του ίδιου του αντικειμένου.
  • Οι αναφορές σε άλλα αντικείμενα που αποτελούν πεδία αντικειμένων επίσης αποθηκεύονται στο σωρό ως μέρος του αντικειμένου. Τα αναφερόμενα αντικείμενα θα βρίσκονται επίσης στο σωρό.

• Στατικές μεταβλητές:

  • Οι στατικές μεταβλητές (τόσο πρωταρχικές όσο και αναφορικές) αποθηκεύονται ως μέρος των δεδομένων της κλάσης σε μια περιοχή μνήμης που συχνά ονομάζεται PermGen (πριν από το Java 8) ή Metaspace (Java 8 και άνω), αλλά διαφέρει εννοιολογικά από τη στοίβα κλήσεων για τις τοπικές μεταβλητές.

• Escape Analysis:

  • Η JVM μπορεί να εφαρμόσει μια βελτιστοποίηση που ονομάζεται Escape Analysis. Αν η JVM διαπιστώσει ότι ένα αντικείμενο που δημιουργείται σε μια μέθοδο "δραπετεύει" έξω από αυτήν (δηλαδή, δεν γίνεται προσβάσιμο από έξω), τότε αυτό το αντικείμενο μπορεί να κατανεμηθεί απευθείας στη στοίβα αντί στο σωρό (Scalar Replacement). Αυτή η βελτιστοποίηση αποφεύγει το κόστος συλλογής απορριμμάτων για τέτοια αντικείμενα.

Έτσι, αν και οι τοπικές πρωταρχικές μεταβλητές και οι αναφορές σε αντικείμενα αποθηκεύονται στη στοίβα, οι ίδιες οι εμφανίσεις αντικειμένων αποθηκεύονται πάντα στο σωρό, και τα πεδία των αντικειμένων βρίσκονται στο σωρό μαζί με το αντικείμενο. Βελτιστοποιήσεις όπως η Escape Analysis μπορούν να αλλάξουν αυτήν τη συμπεριφορά σε εξαιρετικές περιπτώσεις.