Зачем нужно ключевое слово final

Ключевое слово final в PHP ограничивает наследование: применённое к классу, оно запрещает создание дочерних классов; применённое к методу, оно запрещает его переопределение в наследниках. Это инструмент контроля над архитектурой, который гарантирует неизменность критически важной функциональности и предотвращает нежелательные модификации кода.

Как это работает

final можно использовать в двух контекстах:

• Для класса: класс, объявленный как final, не может быть унаследован. Попытка создать дочерний класс приведёт к фатальной ошибке Class X may not inherit from final class (Y). Это полезно, когда класс представляет собой законченную реализацию, которую не следует расширять, либо когда наследование может нарушить инварианты класса.
• Для метода: метод, объявленный как final, не может быть переопределён в дочерних классах. Попытка переопределить такой метод вызовет фатальную ошибку Cannot override final method. Это применяется, когда метод реализует ключевую логику, изменение которой в наследниках может привести к некорректной работе.

Примеры

final класс

final class БазовыйКласс {
    public function привет() {
        echo "Привет, мир!";
    }
}

// Следующая строка вызовет ошибку:
// class ДочернийКласс extends БазовыйКласс {}
// Fatal error: Class ДочернийКласс may not inherit from final class (БазовыйКласс)

final метод

class БазовыйКласс {
    final public function привет() {
        echo "Привет, мир!";
    }
}

class ДочернийКласс extends БазовыйКласс {
    // Попытка переопределить метод вызовет ошибку:
    // public function привет() {
    //     echo "Изменённое приветствие!";
    // }
    // Fatal error: Cannot override final method БазовыйКласс::привет()
}

Подводные камни

• final не влияет на свойства класса — их всё равно можно переопределять в наследниках, если они не private.
• final нельзя применить к конструктору или деструктору, так как они не наследуются в обычном смысле.
• Класс, объявленный final, не может содержать abstract методов, поскольку абстрактные методы требуют реализации в наследниках.
• Использование final в библиотеках или фреймворках может ограничить расширяемость для пользователей, поэтому его применяют осознанно.

Когда использовать

• Для классов, которые представляют собой готовые value-объекты или DTO, чтобы избежать случайного наследования.
• Для методов, реализующих безопасность, валидацию или другие критичные проверки, которые не должны быть изменены.
• В архитектуре, где предполагается композиция вместо наследования, final помогает явно запретить иерархии.

Коротко

• final для класса запрещает наследование, для метода — переопределение.
• Попытка нарушить ограничение вызывает фатальную ошибку на этапе компиляции.
• Используется для защиты инвариантов и критической логики от изменений в наследниках.
• Не применяется к свойствам и не сочетается с abstract.