Почему не все поля класса в Java объявляют как `final`?

Ключевое слово final для поля означает, что ссылка (или значение примитива) может быть присвоена только один раз. Не все поля подходят для этого по дизайну класса.

Причины, по которым поля могут быть не final:

1. Изменяемое состояние (mutable state): Объект должен менять своё внутреннее состояние в ответ на вызовы методов.

   class BankAccount {
       private double balance; // Не final, т.к. изменяется при операциях
       public void deposit(double amount) { this.balance += amount; }
       public void withdraw(double amount) { this.balance -= amount; }
   }

2. Ленивая инициализация (lazy initialization): Поле инициализируется не в конструкторе, а при первом обращении.

   class HeavyService {
       private ExpensiveResource resource; // Не final
       public ExpensiveResource getResource() {
           if (resource == null) {
               resource = loadResource(); // Инициализация отложена
           }
           return resource;
       }
   }

3. Зависимость от внешних данных или циклические ссылки: Значение поля может быть установлено после создания объекта (например, через setter для инъекции зависимостей).

   @Component
   class ServiceA {
       @Autowired // Spring установит это поле после создания бина
       private ServiceB serviceB; // Не может быть final
   }

4. Наследование и переопределение: В абстрактном классе или классе, предназначенном для наследования, поле может быть предназначено для изменения в подклассах.

Преимущества final полей (используйте их где возможно):

• Потокобезопасность: final поля гарантированно видны всем потокам после корректной публикации объекта (без синхронизации).
• Неизменяемость: Помогает создавать immutable-объекты, что упрощает reasoning и уменьшает ошибки.
• Ясность дизайна: Чётко указывает, какие части состояния объекта постоянны.

Правило: Делайте поле final, если его значение логически не должно меняться в течение жизни объекта. Для обязательной однократной инициализации используйте конструктор или блоки инициализации.