Краткий ответ

Переопределение разрешено для метода типа, объявленного с class. Метод типа, объявленный с static, переопределить в наследнике нельзя: он остаётся фиксированным для исходного объявления.

class выбирают для поддерживаемого полиморфизма на уровне типа, а static — когда реализация должна быть неизменяемой для наследников.

Исторический контекст

В объектно-ориентированном программировании методы класса могут быть либо общими служебными операциями, либо частью полиморфного интерфейса. Эти случаи требуют разной стратегии диспетчеризации: фиксированного выбора реализации или выбора реализации с учётом конкретного типа-наследника.

Swift разделяет такие намерения разными ключевыми словами. Это делает ограничение наследования явным и предотвращает случайное изменение поведения типа через переопределение.

Постановка проблемы

Если базовый класс предоставляет фабричный метод или другой метод типа, наследнику может потребоваться вернуть собственный тип результата или изменить алгоритм. Использование static в такой ситуации приведёт к ошибке при попытке переопределения.

Обратная ошибка тоже опасна: объявление метода как class расширяет точки полиморфного поведения. Это может усложнить сопровождение и позволить наследникам менять контракт, который изначально задумывался как неизменяемый.

Подробное решение

static-метод типа не является переопределяемым. Наследник может унаследовать такой метод и вызывать его через своё имя типа, но не может заменить его реализацию с помощью override.

class-метод допускает переопределение. При вызове через конкретный метатип Swift может выбрать реализацию наследника, поэтому такой метод поддерживает динамический полиморфизм на уровне самого типа.

Минимальный пример:

class Document {
    static func format() -> String { "base" }
    class func make() -> Self { self.init() }
    required init() {}
}

class Report: Document {
    override class func make() -> Self { self.init() }
}

print(Document.format())
print(Report.make())

Метод format нельзя переопределить в Report. Метод make можно переопределить, потому что он объявлен с class; Self позволяет фабричному методу возвращать фактический тип, через который выполнен вызов.

Есть важное ограничение: class применим только к членам классов, тогда как static используется также для членов структур и перечислений. У структур и перечислений нет наследования, поэтому их static-члены не нуждаются в механизме переопределения.

Выбор между ключевыми словами — это не только вопрос синтаксиса. static лучше фиксирует API и уменьшает поверхность полиморфизма, а class предоставляет гибкость наследования ценой более сильной связанности базового класса с его подклассами.

Ситуация из практики

Базовый класс NetworkRequest содержит метод типа, создающий экземпляр запроса. У разных подклассов должны использоваться разные конкретные типы запросов.

Вариант со static проще и жёстче: реализация одинакова для всех наследников, её нельзя случайно изменить. Но он не подходит, если подклассам нужен собственный способ создания объектов.

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

Если фабрика действительно является частью полиморфного дизайна, выбирают class и явно требуют корректного переопределения. Для неизменяемой утилиты, например форматирования общей схемы, выбирают static; это предотвращает подмену реализации в наследниках.

Что кандидаты часто упускают

Можно ли вызвать унаследованный static-метод через имя подкласса?

Да, если метод доступен по уровню доступа. Такой вызов не превращает метод в переопределяемый: наследник лишь использует унаследованную реализацию. Имя подкласса в выражении вызова само по себе не создаёт динамического полиморфизма.
Что именно означает override у class-метода?

override сообщает компилятору, что наследник намеренно заменяет существующий переопределяемый член базового класса. Swift проверяет наличие подходящего метода в базовом классе и не позволяет использовать override для static-метода, поскольку такой член не участвует в переопределении.
Почему static у структуры не является аналогом class у класса?

Структуры не наследуются, поэтому у их static-членов нет наследников, способных заменить реализацию. Ключевое слово static здесь обозначает член, принадлежащий типу, а не экземпляру; запрет переопределения становится естественным следствием отсутствия наследования.