В кои случаи може да се приложи модификаторът final в Java?

Модификаторът final в Java може да бъде приложен към:

1. Променливи:

   • Локални променливи: Тяхната стойност се присвоява веднъж и не може да бъде променяна след инициализация.
   • Поля на класа: Стойността на полето се присвоява при декларация или в конструктора и след това не може да бъде променяна.
   • Параметри на метода: Параметърът вътре в метода става константа; не може да бъде преотстъпван вътре в тялото на метода.

   Използването на final за променливи осигурява:

   • Непроменяемост: Гаранция, че стойността няма да се промени.
   • Безопасност при нишки: final полетата на класа са автоматично видими за всички нишки след завършване на конструктора без допълнителна синхронизация.
   • Оптимизации на компилатора: Компилаторът може да извършва определени оптимизации, знаейки, че стойността няма да се промени.

2. Методи:

   • Метод, обявен като final, не може да бъде презаписан в подкласове.
   • Това е полезно за:
     • Предотвратяване на нежелани промени в поведението: Гарантира, че логиката на метода ще остане непроменена.
     • Стимулиране на композицията: Насърчава използването на композиция вместо наследяване.
     • Възможни оптимизации на компилатора: Компилаторът може да изпълнява inline разгръщане на final методи.

3. Класове:

   • Клас, обявен като final, не може да има подкласове.
   • Използването на final за клас е за:
     • Създаване на неизменяеми (immutable) класове: Например, класове-обвивки за примитивни типове (Integer, String).
     • Защита на дизайна: Предотвратява разширяване, което може да наруши инвариантите на класа.
     • Повишаване на сигурността: Гарантира, че поведението на класа не може да бъде променено чрез създаване на подкласове.

Приложение	Описание	Предимства
final поле	Стойността се присвоява веднъж (при декларация или в конструктора).	Непроменяемост, сигурност при нишки, оптимизации.
final параметър	Стойността не може да бъде променяна вътре в метода.	Ясна сигнатура, гаранция за неизменяемост на стойността на параметъра.
final метод	Не може да бъде презаписан в подкласове.	Предотвратяване на промени в поведението, стимулиране на композицията, оптимизации.
final клас	Не може да има подкласове (невъзможност за наследяване).	Непроменяемост на класа, защита на дизайна, повишена сигурност.

Примери:

public class Example {
    // final поле
    private final String name;

    // final примитивно поле
    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
// }