Приветствую на лекции,

посвящённой устройству дженериков и associated type в протоколах.

Рассмотрим пример функции, приведённой на одном из видео с WWDC.

В функции min есть один плейсхолдер T,

на него наложено только одно ограничение: он должен поддерживать сравнение.

Как компилятор будет обрабатывать эту функцию?

Ему неизвестен размер переменной, которая будет передаваться в функцию,

ему неизвестно расположение реализации метода сравнения,

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

Эта проблема, как и многие другие в программировании,

решается с помощью ещё одного уровня абстракции.

Когда компилятор доходит до такой функции,

он оборачивает дженерик-значения в контейнер.

Они имеют фиксированный размер, а если значение в него не влезет,

то контейнер будет хранить указатель на него, а само значение будет лежать в куче.

Так решается первая проблема.

Дополнительно к этому компилятор создаёт несколько

witness tables: одну value witness table и по одной protocol

witnes table для каждого протокола, ограничивающего плейсхолдер.

Witness table содержит указатели на фундаментальные операции над конкретным

типом, например, создание, копирование или уничтожение.

Также в этой таблице содержится реальный размер типов.

В нашем примере дженерик-параметр T будет иметь одну protocol witness table.

В ней будут содержаться указатели на реализацию всех методов сравнения

в переданном типе.

Каждое обращение к такому методу во время выполнения будет проходить через таблицу.

В результате получится примерно такой код.

В функцию передаются оба параметра, обёрнутые в контейнер, и две таблицы.

Как вы видите, протоколы тесно связаны с дженериками,

а их associated type обрабатывается похожим образом.

Использование generics