Ответ

Property Wrappers — это механизм, позволяющий инкапсулировать логику работы со свойствами (например, валидацию, изменения или хранение определённым образом) и переиспользовать её для различных свойств посредством аннотаций в коде. Они помогают избавиться от повторяющегося кода и повысить читаемость.

Property Wrapper — это структура, класс или enum, реализующие протокол property wrapper через аннотацию @propertyWrapper и обязательное свойство wrappedValue.

Ограничения и тонкости:

Property Wrapper нельзя применять к computed свойствам.
Передача аргументов при инициализации wrapper может быть ограничена.
При использовании нескольких обёрнутых свойств внутри структуры корректно работает только с value type.

Пример: Напишем property wrapper для автоматического ограничения диапазона значения (Clamped).

@propertyWrapper
struct Clamped<Value: Comparable> {
    var value: Value
    let range: ClosedRange<Value>

    var wrappedValue: Value {
        get { value }
        set { value = min(max(newValue, range.lowerBound), range.upperBound) }
    }

    init(wrappedValue initialValue: Value, _ range: ClosedRange<Value>) {
        self.range = range
        self.value = min(max(initialValue, range.lowerBound), range.upperBound)
    }
}

struct Person {
    @Clamped(0...120) var age: Int = 25
}

var p = Person()
p.age = 200 // Теперь p.age = 120
p.age = -10 // Теперь p.age = 0

Вопрос с подвохом

Какой способ доступа к исходному property wrapper-объекту доступен вне структуры/класса, где он применён?

Ответ: Через название свойства с подчёркиванием (_). Например, если свойство называется age, то property wrapper-объект можно получить как _age:

var p = Person()
let wrapper = p._age // это тип Clamped<Int>

Примеры реальных ошибок из-за незнания тонкостей темы

История

В проекте для хранения UserDefaults был реализован кастомный property wrapper, который работал с примитивными типами. При использовании его для ссылочных типов (class) возникала неожиданная утечка памяти — property wrapper держал strong reference на объект, что приводило к сильному циклу и утечке данных. Ошибка исправлялась переходом к weak/unowned reference внутри обёртки.

История

В проекте пытались применять property wrapper к computed свойствам, но компилятор выдавал ошибку: property wrapper может быть использован только с stored property. Этот факт упустили из виду, что задержало разработку модуля на 2 дня.

История

При создании обёрточной структуры забыли реализовать правильный синтаксис инициализации через init(wrappedValue:...). В результате нельзя было задавать дефолтные значения через property wrapper, что выявилось только после интеграции обёртки в большом числе моделей. Пришлось пересматривать архитектуру.