Τι είναι primitive types έναντι reference types στη Java;

Question

Accepted Answer

Η Java έχει δύο θεμελιώδεις κατηγορίες τύπων: **primitives** (απλές τιμές που αποθηκεύονται απευθείας) και **reference types** (αντικείμενα, όπου η μεταβλητή κρατά μια αναφορά/δείκτη στο αντικείμενο). Συμπεριφέρονται πολύ διαφορετικά στη μνήμη, στην ανάθεση και στη σύγκριση. ## Οι 8 primitive types ```java int i = 42; // 32-bit integer long l = 100L; // 64-bit integer double d = 3.14; // 64-bit floating point float f = 1.5f; // 32-bit floating point boolean b = true; // true/false char c = 'A'; // 16-bit Unicode character byte by = 127; // 8-bit short s = 1000; // 16-bit ``` Oι Primitives αποθηκεύουν την **πραγματική τιμή** απευθείας, έχουν σταθερό μέγεθος, δεν μπορούν να είναι null, και βρίσκονται στη στοίβα (για τοπικές μεταβλητές). Είναι γρήγορες και αποδοτικές σε χρήση μνήμης. ## Reference types — Αντικείμενα ```java String name = "Ann"; // reference to a String object int[] arr = {1, 2, 3}; // reference to an array object List list = new ArrayList<>(); // reference to a List object Person p = new Person("Bob"); // reference to a Person object ``` Oι μεταβλητές αναφοράς κρατούν μια **αναφορά** (διεύθυνση μνήμης) σε ένα αντικείμενο που είναι αποθηκευμένο στη σωρό — όχι το ίδιο το αντικείμενο. Μπορούν να είναι `null`. ## Η κρίσιμη διαφορά: ανάθεση και σύγκριση ```java // primitives — assignment COPIES the value (independent) int a = 5; int b = a; // b is a COPY b = 10; // a is still 5 // references — assignment COPIES the reference (both point to the SAME object) int[] x = {1, 2, 3}; int[] y = x; // y points to the SAME array y[0] = 99; // x[0] is now 99 too! (shared object) ``` ```java // == compares VALUES for primitives, but REFERENCES (identity) for objects String s1 = new String("hi"); String s2 = new String("hi"); s1 == s2; // false — different objects (different references) s1.equals(s2); // true — equals() compares CONTENT ``` Αυτή είναι μια μεγάλη παγίδα: **`==` στα αντικείμενα συγκρίνει την ταυτότητα (ίδιο αντικείμενο;), όχι το περιεχόμενο** — χρησιμοποιήστε `.equals()` για σύγκριση περιεχομένου. ## Οι κλάσεις Wrapper συνδέουν τα δύο ```java Integer boxed = 42; // Integer is the OBJECT wrapper for int (autoboxing) int unboxed = boxed; // auto-unboxing back to primitive List nums; // collections need objects, not primitives ``` Κάθε primitive type έχει μια wrapper class (`int`→`Integer`, κ.λπ.) ώστε τα primitives να μπορούν να χρησιμοποιηθούν όπου απαιτούνται αντικείμενα (συλλογές, γενικές παράμετροι). ## Γιατί έχει σημασία Η διάκριση μεταξύ primitive και reference είναι θεμελιώδης για τη Java και η πηγή πολλών λεπτών σφαλμάτων και συμπεριφορών: η ανάθεση αντιγράφει τιμές για primitives αλλά μοιράζεται αναφορές για αντικείμενα (έτσι η τροποποίηση ενός κοινόχρηστου αντικειμένου επηρεάζει όλες τις αναφορές), και ιδιαίτερα ότι **`==` συγκρίνει την ταυτότητα για αντικείμενα** (ένα κλασικό λάθος — χρησιμοποιήστε `.equals()` για σύγκριση περιεχομένου). Η κατανόηση αυτού επηρεάζει την ορθότητα στις συγκρίσεις, στα ορίσματα μεθόδων (τα αντικείμενα μεταφέρονται ουσιαστικά κατά τιμή αναφοράς), στη διαχείριση null (μόνο οι αναφορές μπορούν να είναι null) και την απόδοση (τα primitives είναι πιο ελαφριά). Είναι βασική γνώση για τη σύνταξη σωστής Java.