Можно ли в Swift использовать модификатор final только с классами?

Question

Можно ли в Swift использовать модификатор final только с классами?

Тип вопроса: Swift Core Вероятность: 10% Категория: IOS Разработчик

Ответ

Нет. Модификатор final в Swift применяется не только к классам, но и к методам, свойствам, индексам (subscripts) и даже к структурам и перечислениям (хотя для value-типов это имеет меньше смысла, так как они не поддерживают наследование). Его цель — запретить переопределение (override) или наследование.

1. Final класс: Запрещает создание подклассов.

final class Vehicle {}
// class Car: Vehicle {} // ❌ Ошибка компиляции: Inheritance from a final class

2. Final метод или свойство: Запрещает переопределение в подклассах.

class Animal {
    final func speak() { print("...") }
    final var name: String = "Animal"
}
class Dog: Animal {
    // override func speak() {} // ❌ Ошибка: Cannot override final method
    // override var name: String { "Dog" } // ❌ Ошибка
}

3. Final структура или перечисление: Хотя они не наследуются, final предотвращает их использование как протокол-ориентированный супертип в некоторых контекстах (например, let value: some Vehicle). На практике используется редко.

Преимущества использования final:

Безопасность: Явно указывает на дизайн, не предназначенный для наследования.
Производительность: Компилятор может делать агрессивные оптимизации (например, devirtualization), так как знает, что метод или класс не будут переопределены.
Скорость компиляции: Уменьшает время проверки типов.

Ответ 18+ 🔞

Да ты посмотри, какой народ-то пошёл! Все как с цепи сорвались — наследовать, переопределять, оверрайдить! Ну зачем, спрашивается, здоровому классу плодить наследников, если он самодостаточный, как ёперный театр?

Вот смотри, в Swift есть модификатор final. И он, блядь, не только для классов! Это как табличка «Руками не трогать, а то оторвётся». Его можно навесить на методы, свойства, индексы (subscripts), и даже на структуры с перечислениями — хотя для value-типов это, конечно, как презерватив на чучело, смысла мало, но формально можно.

Смысл-то один — запретить переопределение (override) или наследование. Чтобы не лезли, суки, со своими кривыми руками в чужой код.

1. Final класс. Это когда ты говоришь: «Всё, ребята, на этом эволюция вида закончилась». Подкласс не сделаешь — компилятор тебя нахуй пошлёт.

final class Vehicle {}
// class Car: Vehicle {} // ❌ Ошибка компиляции: Inheritance from a final class

Вот и сиди теперь со своим Vehicle, довольный.

2. Final метод или свойство. А это уже точечный запрет. Класс-то наследовать можно, но вот этот конкретный кусок — руки прочь! Не тронь, блядь, мою святыню!

class Animal {
    final func speak() { print("...") }
    final var name: String = "Animal"
}
class Dog: Animal {
    // override func speak() {} // ❌ Ошибка: Cannot override final method
    // override var name: String { "Dog" } // ❌ Ошибка
}

Собака может быть, а вот говорить как животное — нет. Молчи, пёс!

3. Final структура или перечисление. Ну это вообще, блядь, для перфекционистов. Они и так не наследуются, но final тут — это как поставить замок на дверь в сарае без стен. Формально запрещает использовать их как протокол-ориентированный супертип в каких-то хитрожопых контекстах. На практике — да похуй, честно говоря.

А зачем это всё, спрашиваешь?

Безопасность, епта! Ты явно говоришь всем: «Дизайн тут такой — не для наследников. Не лезь, а то выйдешь охуевшим».
Производительность, мать её! Компилятор, видя final, может делать агрессивные оптимизации. Он же знает, что метод не переопределят — вот он и выкидывает лишние проверки, делает девиртуализацию. Всё летает.
Скорость компиляции. Меньше ему надо голову ломать, проверяя, кто кого переопределил. Быстрее соберёт — быстрее пойдёшь пить кофе.

Вот и вся философия. Не хочешь, чтобы тебя ебали в сраку с наследованием — ставь final и спи спокойно. А то потом какой-нибудь полупидор-наследник переопределит твой критический метод, и пиздец всему.