🔢 Приватные свойства больше не ломают memberwise инициализатор в Swift 6.4

Swift автоматически создает memberwise инициализатор для структуры, если мы не объявили его вручную. Это работает, пока в структуре нет приватных свойств. Добавление одного приватного свойства ломает инициализатор для всей структуры. В Swift 6.4 это наконец-то было исправлено.


В чем была проблема:

Рассмотрим простую структуру:

struct Post {
    var title: String
    var body: String
}

Memberwise инициализатор создается автоматически, и мы можем инициализировать объем нашей структуры: Post(title: "Hello", body: "Hello, World!"). Но стоит добавить приватное свойство:

struct Post {
    var title: String
    var body: String
    private var id = UUID()
}

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

То есть id приватный, значит и инициализатор приватный. Вызвать его извне нельзя. Одно приватное свойство отнимает инициализатор у всей структуры.


Что изменилось в Swift 6.4:

Теперь свойства, которые менее доступны, чем максимально возможный уровень доступа инициализатора, исключаются из него.

struct Post {
    var title: String
    var body: String
    private var id = UUID()

    // Создается автоматически в Swift 6.4:
    // internal init(title: String, body: String) { ... }
}

let post = Post(title: "Hello", body: "Hello, World!") // Теперь работает

id сохраняет свое значение по умолчанию, а инициализатор остается internal.


Когда это работает:

Свойство исключается из memberwise инициализатора, когда выполняются два условия. Оно менее доступно, чем максимальный уровень доступа инициализатора. И оно имеет значение по умолчанию.

Максимальный уровень доступа - это наивысший уровень среди свойств, которые могут быть включены в memberwise инициализатор, но не выше internal.

Значение по умолчанию - это либо явно указанное значение, либо значение, которое Swift присваивает автоматически. Например опциональное свойство получает nil по умолчанию.


Когда поведение не меняется:

Есть несколько случаев, когда все работает как раньше:

🔹Приватное свойство без значения по умолчанию остается в инициализаторе и делает его приватным. Swift не может присвоить ему значение, поэтому вынужден оставить его.

🔹Если все свойства приватные, максимальный уровень доступа тоже приватный. Ничего не исключается, и мы получаем приватный memberwise инициализатор для использования внутри.

🔹Если структура публичная, а свойство internal, ничего не исключается. Потому что максимальный уровень доступа memberwise инициализатора - internal, и свойство ему соответствует.


🔗 Читать подробнее


💡 Вывод:

В Swift 6.4 свойство исключается из синтезированного memberwise инициализатора, когда оно менее доступно, чем максимальный уровень доступа инициализатора и имеет значение по умолчанию.

На практике это значит, что добавление приватного идентификатора или внутреннего состояния в структуру больше не отнимает memberwise инициализатор. Рефакторинг упрощается: можно добавлять приватные свойства без ручного написания инициализатора.

Полного контроля над memberwise инициализатором пока нет. Явное указание, какие свойства включать или исключать заявлено как направление будущего развития. Но основная проблема была решена.


Подписаться на канал:
➡️ Telegram | Max