Почему final-классы оптимизируются лучше обычных?

Question

final-класс нельзя наследовать, поэтому компилятор точно знает, что методы не будут переопределены. Это позволяет заменить динамический вызов методов на статический. В результате уменьшается количество косвенных переходов и ускоряется выполнение кода. Такие оптимизации особенно заметны в горячих участках.

YeaHub · Accepted Answer

Ключевая ценность final — это снятие неопределённости для компилятора.Определениеfinal-класс — класс, от которого запрещено наследование и переопределение методов.Что мешает оптимизациям у обычных классовДля обычного класса компилятор должен учитывать, что:метод может быть переопределён в подклассефактическая реализация будет известна только в runtimeПоэтому вызов идёт через:таблицу виртуальных методовdynamic dispatchЧто меняется с finalКогда класс объявлен final:подклассов быть не можетпереопределений не будетреализация метода известна заранееКомпилятор может:использовать static dispatchinline’ить методыубирать лишние retain/releaseПрактический эффектВ реальном коде это даёт:более быстрые вызовы методовменьше overhead’а в tight loopsлучшую предсказуемость производительностиОсобенно полезно:для сервисовдля моделейдля классов без архитектурной необходимости наследованияКраткий выводfinal даёт компилятору больше информации, а значит — больше возможностей для оптимизации. Если класс не предполагает наследование, final — почти всегда правильный выбор.