Что должны реализовывать переменные, содержащиеся в протоколе?

Переменные, объявленные в протоколе в iOS (Swift), определяют требования к свойствам, которые должен реализовать класс, структура или перечисление, подписывающиеся на этот протокол. Такие переменные должны иметь определённый тип и могут быть как только для чтения (get), так и для чтения и записи (get set).

Это значит, что любой тип, реализующий протокол, обязан предоставить эти свойства с нужной доступностью. Таким образом протокол задаёт контракт, который гарантирует наличие определённых данных или поведения.

Пример:

protocol Identifiable {
    var id: String { get }
}

struct User: Identifiable {
    var id: String
}