> Что выведется в консоли при вызове двух одинаковых функций в протоколе с табличной диспетчеризацией (iOS, Swift)

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

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

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

Табличная диспетчеризация (protocol witness table) - это механизм, который Swift использует для динамического вызова методов протокола. Когда тип соответствует протоколу, компилятор создаёт таблицу, содержащую указатели на реализации требований протокола для этого типа.

Ключевой момент: в таблицу попадают только те методы, которые являются требованиями протокола (объявлены в самом протоколе). Методы, определённые только в расширении протокола, не являются требованиями и не попадают в witness table.

Если у вас есть две функции с одинаковой сигнатурой - одна объявлена в протоколе, другая в расширении протокола - то при вызове через протоколный тип будет использоваться реализация из witness table (та, что в классе). Реализация из расширения протокола будет вызвана только если тип не предоставляет собственную реализацию требования.

На практике

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

Это особенно важно при работе с делегатами, стратегиями и другими паттернами, где используется протоколная абстракция.

Пример кода

SWIFT
protocol Greeting {
    func sayHello() // требование протокола
}

extension Greeting {
    func sayHello() {
        print("Hello from protocol extension")
    }
    
    func sayBye() {
        print("Bye from protocol extension")
    }
}

class RussianSpeaker: Greeting {
    func sayHello() {
        print("Привет из класса")
    }
    
    func sayBye() {
        print("Пока из класса")
    }
}

let speaker: Greeting = RussianSpeaker()
speaker.sayHello() // "Привет из класса" - динамическая диспетчеризация через witness table
speaker.sayBye()   // "Bye from protocol extension" - статическая диспетчеризация, метод не в witness table

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

Начните с определения табличной диспетчеризации и объяснения, что такое protocol witness table. Затем чётко разделите методы, объявленные в протоколе, и методы из расширения. Покажите на примере разницу в поведении. Подчеркните, что это осознанный trade-off в Swift: динамическая диспетчеризация для требований протокола и статическая для расширений - это позволяет оптимизировать производительность, но требует внимательности.

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

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

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

• Утверждение, что обе функции вызовут одинаковый результат.
• Непонимание, что метод из расширения протокола не попадает в witness table.
• Путаница между диспетчеризацией через протокол и через конкретный тип.
• Игнорирование того факта, что если класс не реализует требование протокола, то будет использована реализация из расширения (как fallback).