複数のプロパティラッパーの合成

複数のプロパティラッパーを1つのプロパティに適用できます。適用する順序が重要です。外側のラッパーが内側のラッパーをラップし、初期化の順序は宣言の順序に従います。

```swift @propertyWrapper struct A { var wrappedValue: Int { didSet { print("A") } } init(wrappedValue: Int) { self.wrappedValue = wrappedValue } } @propertyWrapper struct B { var wrappedValue: Int { didSet { print("B") } } init(wrappedValue: Int) { self.wrappedValue = wrappedValue } } struct S { @A @B var x = 0 } ```

`@A @B var x` と記述すると、構文糖衣を取り除いた形は次のようになります。 ```swift var _x: A> = A(wrappedValue: B(wrappedValue: 0)) ``` AがBをラップし、BがIntをラップします。

```swift @propertyWrapper struct Trimmed { var wrappedValue: String { didSet { wrappedValue = wrappedValue.trimmingCharacters(in:.whitespaces) } } init(wrappedValue: String) { self.wrappedValue = wrappedValue.trimmingCharacters(in:.whitespaces) } } @propertyWrapper struct NonEmpty { var wrappedValue: String { didSet { if wrappedValue.isEmpty { wrappedValue = "(empty)" } } } init(wrappedValue: String) { self.wrappedValue = wrappedValue.isEmpty ? "(empty)" : wrappedValue } } struct Form { @NonEmpty @Trimmed var username = " " } ```

ラッパーは最も外側から最も内側へ向かって初期化されます。つまり、外側のラッパーのinitが受け取るのは、元の値ではなく、内側のラッパーによる変換結果です。

• すべてのラッパーがきれいに合成できるとは限りません。`wrappedValue` の型が一致することを確認してください • Swiftコンパイラーが複数のラッパーを常に許可するとは限りません（ラップされる型の互換性によります） • `projectedValue` へのアクセス `$x` で到達できるのは、最も外側のラッパーの射影だけです

SwiftUIでは、同じプロパティに `@EnvironmentObject` と `@Published` を重ねて指定することはできません。ただし、内部で `@Published` を使用している `@EnvironmentObject` モデルは監視できます。

`_propertyName` を使うと、ラッパーのインスタンスに直接アクセスできます。 ```swift print(form._username) // A> — the outer wrapper instance ```

多くの場合、ロジックを1つのラッパーの内部で合成したほうがすっきりします。 ```swift @propertyWrapper struct CleanUsername { var wrappedValue: String { didSet { wrappedValue = clean(wrappedValue) } } func clean(_ s: String) -> String { let t = s.trimmingCharacters(in:.whitespaces) return t.isEmpty ? "(empty)" : t } } ```

一般的に有効なスタックの例: • `@UserDefault` + `@Published`（データの永続化 + 監視） • `@NonNegative` + `@Clamped`（検証レイヤー） • フレームワーク固有の例: SwiftUIビューでの `@Environment` + `@Binding`

2つのプロパティラッパーをスタックした場合、どちらが先に初期化されますか？

重要なポイント: • `@A @B var x` は `A>` に展開されます • 外側のラッパーは、内側の `wrappedValue` を入力として初期化されます • `$x` で到達できるのは、最も外側の `projectedValue` だけです • `_x` でラッパーのインスタンスに直接アクセスできます • 可能であれば、深くスタックするより、1つのラッパーにまとめる方法を優先してください コース完了です！次はResult型です。