条件付き適合

条件付き適合を使うと、ジェネリック型は型パラメーターが特定の制約を満たす場合にのみプロトコルに適合できます。これはSwiftの型システムの表現力を支える中核機能です。

```swift extension Array: Equatable where Element: Equatable { // Array is Equatable only when Element is Equatable } let a = [1,2,3] let b = [1,2,3] print(a == b) // true — works because Int is Equatable ```

```swift struct Box { var value: T } extension Box: Equatable where T: Equatable { static func == (lhs: Box, rhs: Box) -> Bool { lhs.value == rhs.value } } print(Box(value: 42) == Box(value: 42)) // true ```

```swift extension Box: Hashable where T: Hashable { func hash(into hasher: inout Hasher) { hasher.combine(value) } } // Box is Hashable; Box is not ```

```swift extension Box: Codable where T: Codable {} let box = Box(value: "hello") let data = try JSONEncoder().encode(box) // works — String is Codable ```

```swift extension Collection where Element == Int { var sum: Int { reduce(0, +) } } print([1,2,3,4].sum) // 10 // This extension only applies to collections of Int ```

```swift extension Dictionary where Key: Comparable, Value: Equatable { func sortedByKey() -> [(Key, Value)] { sorted { $0.key < $1.key } } } ```

```swift protocol Printable { func prettyPrint() } extension Optional: Printable where Wrapped: Printable { func prettyPrint() { switch self { case .none: print("nil") case .some(let v): v.prettyPrint() } } } ```

```swift let opt: Int? = 42 // If Int conformed to Printable: // opt.prettyPrint() // "42" // Standard usage: let nums = Optional([1,2,3]) // [1,2,3]? if let arr = nums, arr == [1,2,3] { ... } // Equatable via conditional ```

Swift 5.7以降では、遡及的適合（別のモジュールの型に適合を追加すること）について警告が表示されます: ```swift extension String: SomeThirdPartyProtocol {} // ⚠️ retroactive ``` 意図的な場合は、`@retroactive` を付けて明示してください。

条件付き適合の extension で条件を導入するキーワードは何ですか？

主なポイント: • `extension T: Protocol where Param: Constraint` — 条件付き適合 • Array、Optional、Result などは、Equatable、Hashable、Codable にこの仕組みを使用します • カスタムのジェネリック型でも同じことができます • `where Element == Int` は、特定の具体型に制約します • Swift 5.7以降では、遡及的適合に `@retroactive` が必要です 次は `Self` の要件です。