В кой момент и при какви условия започва да работи…

Методното разпределение (method dispatch) в Swift определя точно кой код ще бъде изпълнен при извикване на метод на обект. Изборът на тип разпределение се извършва в момента на компилация на Swift кода.

Съществуват три основни типа разпределение в Swift:

Директно разпределение (Direct Dispatch):
- Най-бързо.
- Адресът на функцията е известен по време на компилация.
- Използва се по подразбиране за:
  - struct и enum (тъй като те не поддържат наследяване на класове).
  - final методи на класове.
  - private методи на класове (internal и public не поддържат директно разпределение).
  - Глобални функции.
  - Статични методи.
  - Разширения (extensions).
Разпределение по таблица (Table Dispatch):
- Използва се за class, когато е необходим полиморфизъм и наследяване.
- Адресът на конкретната реализация на метода се определя по време на изпълнение (runtime) чрез таблица на виртуалните методи (vtable - Virtual Table).
- Всяка класа има своя vtable, съдържаща указатели към реализациите на методите.
- Поддържа наследяване и преопределяне на методи.
```
class Animal { // Ще използва Table Dispatch
    func speak() {
        print("Неизвестен звук")
    }
}

class Dog: Animal { // Преопределение, използва vtable
    override func speak() {
        print("Уф")
    }
}
```
Разпределение по свидетелство (Witness Table Dispatch):
- Използва се за протоколи (protocol).
- Подобно на table dispatch, но използва таблица на свидетеля (witness table) за намиране на реализацията на метода на протокола за конкретен тип, който съответства на протокола.
- Позволява използването на полиморфизъм с протоколи.
```
protocol Speakable { // Ще използва Witness Table Dispatch
    func speak()
}

struct Cat: Speakable { // Реализация на протокола
    func speak() {
        print("Мяу")
    }
}
```

Условия, влияещи върху избора:

Тип данни: struct, enum, class, protocol.
Модификатори за достъп: final, private, internal, public.
Наследяване: Възможност за преопределяне на методи.
Съответствие с протоколи: Реализация на методи от протокол.
Контекст на извикване: Извикване чрез конкретен тип или чрез протокол/базов клас.

Swift компилаторът се стреми да използва директно разпределение, където е възможно, за оптимизация на производителността, но при необходимост за поддръжка на полиморфизъм и наследяване превключва към table или witness table dispatch. Явното обозначаване на методи като final или private позволява принудително използване на директно разпределение.

В кой момент и при какви условия започва да работи диспетчеризацията в Swift?