Self要件とEquatableの設計

プロトコル内の `Self` は、適合する具体型を指します。これにより、`Equatable` や `Comparable` などのプロトコルを、異なる型が混在する場合でも安全に機能させられます。

```swift protocol Equatable { static func == (lhs: Self, rhs: Self) -> Bool } ``` `Self` は、両方のパラメーターが同じ具体型でなければならないことを意味します。このプロトコルを通して `Int` と `String` を比較することはできません。

```swift struct Point: Equatable { var x: Double var y: Double // Auto-synthesised: // static func == (lhs: Point, rhs: Point) -> Bool // { lhs.x == rhs.x && lhs.y == rhs.y } } print(Point(x:1,y:2) == Point(x:1,y:2)) // true ```

```swift struct Version: Comparable { let major, minor, patch: Int static func < (lhs: Version, rhs: Version) -> Bool { (lhs.major, lhs.minor, lhs.patch) < (rhs.major, rhs.minor, rhs.patch) } } let v1 = Version(major:1,minor:2,patch:0) let v2 = Version(major:2,minor:0,patch:0) print(v1 < v2) // true ```

```swift protocol Clonable { func clone() -> Self } class Animal: Clonable { var name: String = "" required init() {} func clone() -> Self { type(of: self).init() } } ``` 戻り値の型に `Self` を指定すると、サブクラスは `Animal` ではなく、それぞれの型を返します。

```swift protocol Scalable { func scaled(by factor: Double) -> Self } struct Size: Scalable { var w, h: Double func scaled(by f: Double) -> Size { Size(w: w*f, h: h*f) } } ```

```swift struct Color: Hashable { var r, g, b: UInt8 // Auto-synthesised: func hash(into:) and == } var palette: Set = [] palette.insert(Color(r:255,g:0,b:0)) ``` `Hashable` には `Equatable` が必要です。単純な構造体では、どちらも自動的に合成されます。

```swift // Before Swift 5.7: var shapes: [Equatable] = [] // ❌ Equatable has Self requirement // After Swift 5.7 with 'any': var boxes: [any Equatable] = [] // ⚠️ limited API ``` `any` キーワードを使うと、存在型ボックス化を明示的に選択できます。

`Equatable`、`Hashable`、`Comparable` の自動合成には、次の条件が必要です: • すべての格納プロパティが同じプロトコルに適合している • 列挙型のケース（関連値を含む）が適合している ```swift struct Pair: Equatable { var a, b: T } // Equatable synthesised automatically ```

```swift struct Person: Equatable { var id: UUID var name: String // Only compare by id, ignore name: static func == (lhs: Person, rhs: Person) -> Bool { lhs.id == rhs.id } } ```

プロトコル内の `Self` は何を指しますか？

主なポイント: • `Self` = 適合する具体型 • `Equatable`、`Comparable`、`Hashable` はすべて `Self` を使用します • Swift は単純な構造体と列挙型に対して、これらを自動的に合成します • 戻り値の型に `Self` を使うと、型を維持する API になります • `Self` 要件を持つプロトコルを存在型として使うには、`any` が必要です（Swift 5.7以降） 次は、プロトコル指向設計の原則です。