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 синтезирует оба инициализатора: новый и старый с прежней сигнатурой.
Старый инициализатор имеет прежний уровень доступа и влияет только на код в том же файле. В будущем его могут удалить с предупреждением и предложением написать явный инициализатор.
Есть один случай, когда совместимость не спасает. Если в расширении уже объявлен инициализатор, который совпадает с новой сигнатурой, возникает конфликт.
Важно для макросов:
Property wrappers уже работали так: компилятор знал, что приватное хранилище нужно оставить вне
memberwise инициализатора. А макросы - нет. Макрос, который разворачивался в приватное свойство, ломал
memberwise инициализатор любого типа, к которому был прикреплен.
Это делало невозможным переписать
property wrapper как макрос без того, чтобы заставить всех вручную писать инициализатор. Новое правило снимает это ограничение и делает это в общем случае, а не добавляет специальное правило для макросов.
Вывод:
В
Swift 6.4 свойство исключается из синтезированного
memberwise инициализатора, когда оно менее доступно, чем максимальный уровень доступа инициализатора и имеет значение по умолчанию.
На практике это значит, что добавление приватного идентификатора или внутреннего состояния в структуру больше не отнимает
memberwise инициализатор. Рефакторинг упрощается: можно добавлять приватные свойства без ручного написания инициализатора.
Полного контроля над
memberwise инициализатором пока нет. Явное указание, какие свойства включать или исключать заявлено как направление будущего развития. Но основная проблема была решена.
