> Что будет выведено при вызове метода из экстеншена класса и протокола в Swift (iOS, Swift)

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

При вызове метода, объявленного в экстеншене класса и протокола, приоритет имеет реализация из экстеншена класса. Это связано с тем, что Swift использует статическую диспетчеризацию для методов, объявленных в экстеншенах: конкретный тип известен на этапе компиляции, и выбирается его реализация. Если метод объявлен только в протоколе, а класс его не реализует - вызывается реализация из экстеншена протокола, но только если тип соответствует протоколу.

Подробное объяснение

В Swift методы в экстеншенах классов и протоколов диспетчеризуются по-разному. Для методов, объявленных в экстеншене класса, используется статическая диспетчеризация - компилятор знает конкретный тип и вызывает его реализацию напрямую. Для методов из экстеншена протокола также используется статическая диспетчеризация, но с учётом соответствия типов.

Ключевой момент: если метод объявлен в экстеншене класса и в экстеншене протокола, то при вызове на конкретном экземпляре класса будет выбрана реализация из экстеншена класса. Это происходит потому, что компилятор видит конкретный тип и предпочитает его реализацию.

Однако если метод объявлен только в протоколе, а класс его не реализует, то вызывается реализация из экстеншена протокола. Но здесь есть нюанс: если метод объявлен в основном теле протокола (не в экстеншене), то для него используется динамическая диспетчеризация, и класс обязан его реализовать.

На практике

На практике это важно учитывать при проектировании API и работе с протоколами. Если вы хотите, чтобы класс мог переопределить поведение по умолчанию из протокола, объявляйте метод в основном теле протокола. Если метод объявлен только в экстеншене протокола, класс не сможет его переопределить - будет использоваться реализация из экстеншена протокола, даже если класс предоставляет свою.

Также стоит помнить, что при вызове метода на переменной типа протокола (например, let obj: MyProtocol = MyClass()) будет использоваться реализация из экстеншена протокола, если метод объявлен только там. Если метод объявлен в основном теле протокола и реализован в классе - вызовется реализация класса.

Пример кода

SWIFT
protocol MyProtocol {
    func method() // объявлен в основном теле протокола
}

extension MyProtocol {
    func method() {
        print("Protocol extension implementation")
    }
    
    func extraMethod() {
        print("Protocol extension extra")
    }
}

class MyClass: MyProtocol {
    func method() {
        print("Class implementation")
    }
    
    func extraMethod() {
        print("Class extra")
    }
}

let obj = MyClass()
obj.method() // "Class implementation" - метод из основного тела протокола, класс реализует
obj.extraMethod() // "Class extra" - метод из экстеншена класса

let protoObj: MyProtocol = MyClass()
protoObj.method() // "Class implementation" - динамическая диспетчеризация
protoObj.extraMethod() // "Protocol extension extra" - статическая диспетчеризация, вызывается реализация из экстеншена протокола

Как отвечать на собеседовании

Начните с чёткого ответа: приоритет у реализации из экстеншена класса. Затем объясните механизм диспетчеризации: статическая для экстеншенов, динамическая для основного тела протокола. Приведите пример, показывающий разницу между вызовом на конкретном типе и на типе протокола. Упомяните, что если метод объявлен только в экстеншене протокола, класс не может его переопределить - это важное ограничение.

Что проверяет интервьюер

Интервьюер проверяет понимание диспетчеризации методов в Swift, знание различий между объявлением метода в основном теле протокола и в экстеншене, а также умение предсказывать поведение кода при работе с протоколами и классами. Это также проверка понимания trade-off между статической и динамической диспетчеризацией.

Типичные ошибки

• Утверждение, что реализация из экстеншена протокола всегда имеет приоритет - это неверно.
• Игнорирование различия между вызовом на конкретном типе и на типе протокола.
• Утверждение, что методы из экстеншена протокола можно переопределить в классе - это невозможно.
• Путаница между методами, объявленными в основном теле протокола, и методами из экстеншена протокола.