Σε ποιες περιπτώσεις μπορεί να εφαρμοστεί ο…

Ο τροποποιητής final στη Java μπορεί να εφαρμοστεί σε:

Μεταβλητές:
- Τοπικές μεταβλητές: Η τιμή τους ανατίθεται μία φορά και δεν μπορεί να αλλάξει μετά την αρχικοποίηση.
- Πεδία κλάσης: Η τιμή του πεδίου ανατίθεται είτε κατά δήλωση είτε στον κατασκευαστή και στη συνέχεια δεν μπορεί να αλλάξει.
- Παράμετροι μεθόδου: Μία παράμετρος μέσα σε μια μέθοδο γίνεται σταθερά; δεν μπορεί να επαναπροσδιοριστεί μέσα στο σώμα της μεθόδου.
Η χρήση του final σε μεταβλητές διασφαλίζει:
- Αμεταβλητότητα: Εγγύηση ότι η τιμή δεν θα αλλάξει.
- Ασφάλεια νημάτων: Τα final πεδία της κλάσης είναι αυτόματα ορατά σε όλα τα νήματα μετά την ολοκλήρωση του κατασκευαστή χωρίς επιπλέον συγχρονισμό.
- Βελτιστοποιήσεις μεταγλωττιστή: Ο μεταγλωττιστής μπορεί να πραγματοποιήσει ορισμένες βελτιστοποιήσεις γνωρίζοντας ότι η τιμή δεν θα αλλάξει.
Μέθοδοι:
- Μια μέθοδος που δηλώνεται ως final δεν μπορεί να υπερισχύσει σε υποκλάσεις.
- Αυτό είναι χρήσιμο για:
  - Πρόληψη ανεπιθύμητων αλλαγών συμπεριφοράς: Διασφαλίζει ότι η λογική της μεθόδου θα παραμείνει αμετάβλητη.
  - Ενίσχυση σύνθεσης: Ενθαρρύνει τη χρήση σύνθεσης αντί κληρονομικότητας.
  - Δυνατές βελτιστοποιήσεις μεταγλωττιστή: Ο μεταγλωττιστής μπορεί να εκτελεί ενσωμάτωση κλήσεων final μεθόδων.
Κλάσεις:
- Μια κλάση που δηλώνεται ως final δεν μπορεί να έχει υποκλάσεις.
- Η εφαρμογή του final σε μια κλάση χρησιμοποιείται για:
  - Δημιουργία αμετάβλητων (immutable) κλάσεων: Για παράδειγμα, κλάσεις-περιτυλίγματα για primitive τύπους (Integer, String).
  - Προστασία του σχεδιασμού: Αποτρέπει την επέκταση που μπορεί να παραβιάσει τα invariants της κλάσης.
  - Αυξημένη ασφάλεια: Διασφαλίζει ότι η συμπεριφορά της κλάσης δεν μπορεί να αλλάξει μέσω δημιουργίας υποκλάσεων.

Εφαρμογή	Περιγραφή	Πλεονεκτήματα
`final` πεδίο	Η τιμή ανατίθεται μία φορά (κατά δήλωση ή στον κατασκευαστή).	Αμεταβλητότητα, ασφάλεια νημάτων, βελτιστοποιήσεις.
`final` παράμετρος	Η τιμή δεν μπορεί να αλλάξει μέσα στη μέθοδο.	Ξεκάθαρη υπογραφή, εγγύηση αμεταβλητότητας της τιμής της παραμέτρου.
`final` μέθοδος	Δεν μπορεί να υπερισχύσει σε υποκλάσεις.	Πρόληψη αλλαγής συμπεριφοράς, ενίσχυση σύνθεσης, βελτιστοποιήσεις.
`final` κλάση	Δεν μπορεί να έχει υποκλάσεις (αδύνατη η κληρονομικότητα).	Αμεταβλητότητα κλάσης, προστασία σχεδιασμού, αύξηση ασφάλειας.

Παραδείγματα:

public class Example {
    // final πεδίο
    private final String name;

    // final primitive πεδίο
    private final int id;

    // final, αλλά μπορεί να είναι αναφορά σε διαφορετικά αντικείμενα List
    private final List<String> items;

    // Σταθερά χρόνου μεταγλώττισης
    public static final double PI = 3.14159;

    public Example(String name, int id) {
        this.name = name; // ανάθεση στο final πεδίο
        this.id = id; // ανάθεση στο final πεδίο
        this.items = new ArrayList<>(); // αρχικοποίηση του final πεδίου λίστας
    }

    // final μέθοδος
    public final void printDetails() {
        System.out.println("Name: " + name + ", ID: " + id);
    }

    // μέθοδος με final παράμετρο
    public void addItem(final String item) {
        // item = "νέο στοιχείο"; // σφάλμα μεταγλώττισης: Cannot assign a value to final variable 'item'
        items.add(item);
    }
}

// final κλάση
// public final class ImmutableClass {
//     private final int value;
//
//     public ImmutableClass(int value) {
//         this.value = value;
//     }
//
//     public int getValue() {
//         return value;
//     }
// }

// public class SubclassOfImmutable extends ImmutableClass { // Σφάλμα μεταγλώττισης: Cannot inherit from final class
// }

Σε ποιες περιπτώσεις μπορεί να εφαρμοστεί ο τροποποιητής final στη Java;