> Когда создается таблица виртуальных методов и протокольная таблица в Swift (iOS, Swift)

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

Таблица виртуальных методов (vtable) в Swift создается для классов при компиляции, когда тип объявлен и известен компилятору - она статически генерируется для каждого класса и хранится в бинарнике. Протокольная таблица (protocol witness table, PWT) создается динамически в рантайме для каждой конкретной комбинации "тип + протокол", когда компилятор видит, что тип соответствует протоколу. Для структур и enum PWT генерируется при компиляции, для классов - тоже, но используется через косвенное обращение.

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

В Swift диспетчеризация методов зависит от типа и контекста вызова.

Для классов: компилятор создает vtable (таблицу виртуальных методов) для каждого класса в момент компиляции. Она содержит указатели на реализации методов класса, включая унаследованные и переопределенные. Vtable хранится в секции данных бинарника, а каждый экземпляр класса содержит указатель на свой класс (isa-подобный указатель), через который рантайм находит vtable. Создание vtable происходит статически - при компиляции исходного кода класса.

Для протоколов: protocol witness table (PWT) - это таблица, которая сопоставляет требования протокола с конкретными реализациями типа. PWT создается компилятором для каждой пары "тип-протокол" в момент, когда компилятор видит, что тип объявлен как соответствующий протоколу (например, при extension Type: Protocol или в объявлении класса). Для структур и enum PWT - статическая структура в бинарнике. Для классов PWT также статическая, но при вызове через existential (let x: any Protocol) рантайм использует PWT через косвенный доступ.

Важно: если протокол имеет associated types или Self-requirements, PWT может содержать дополнительные метаданные (например, witness для associated type), которые генерируются в рантайме при первом использовании.

На практике

На практике это означает:

• Для класса с обычным наследованием - вызов метода через vtable, если метод не final и не private. Это динамическая диспетчеризация, но без участия протоколов.
• Для протокольного типа (any Protocol) - вызов через PWT. Это тоже динамическая диспетчеризация, но с дополнительным уровнем косвенности.
• Для generic-кода с constraint T: Protocol - компилятор может специализировать код и использовать статическую диспетчеризацию, если это возможно (например, при инлайнинге).
• Для структур, соответствующих протоколу, PWT создается при компиляции, но при передаче через any Protocol - используется косвенный вызов через PWT.

Пример кода

SWIFT
protocol Drawable {
    func draw()
}

struct Circle: Drawable {
    func draw() { print("Circle") }
}

class Shape: Drawable {
    func draw() { print("Shape") }
}

class Square: Shape {
    override func draw() { print("Square") }
}

// Компилятор создает:
// - vtable для Shape (содержит draw)
// - vtable для Square (переопределенный draw)
// - PWT для (Circle, Drawable)
// - PWT для (Shape, Drawable)
// - PWT для (Square, Drawable) - наследует от Shape, но PWT указывает на переопределенный метод

let shape: Shape = Square()
shape.draw() // через vtable Square

let drawable: any Drawable = Circle()
drawable.draw() // через PWT для (Circle, Drawable)

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

Начни с разграничения: vtable - для классов, PWT - для протоколов. Подчеркни, что обе таблицы создаются на этапе компиляции, но PWT - для каждой пары "тип-протокол". Упомяни, что для классов vtable хранится в бинарнике, а доступ к ней идет через указатель на класс в экземпляре. Для PWT - аналогично, но для existential-типов используется косвенный доступ. Если спросят про generic-код - скажи, что компилятор может оптимизировать до статической диспетчеризации.

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

Интервьюер проверяет понимание модели диспетчеризации в Swift: различие между статической и динамической диспетчеризацией, понимание роли vtable и PWT, осознание trade-off между производительностью и гибкостью. Также проверяется знание, что PWT создается для каждой пары "тип-протокол", а не для каждого протокола отдельно.

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

• Утверждение, что vtable создается в рантайме - это неверно, она статическая.
• Смешивание vtable и PWT: vtable - для классов, PWT - для протоколов.
• Утверждение, что PWT создается только для классов - на самом деле для структур и enum тоже.
• Игнорирование того, что для generic-кода компилятор может использовать статическую диспетчеризацию, что не требует PWT.
• Путаница между any Protocol (existential) и some Protocol (opaque) - для some компилятор знает конкретный тип и может использовать статическую диспетчеризацию.