protocolとextensionを使ったプロトコル指向プログラミングを説明してください。

Question

IT Interview Practice · Accepted Answer

**プロトコル指向プログラミング（POP）** は、Swiftが振る舞いを共有するための好ましい方法です。基底クラスから継承する代わりに、型が**プロトコルに準拠**し、**プロトコルextension**が再利用可能なデフォルト実装を提供します。これにより、単一継承の硬直性なしにコンポジションとコード再利用が得られます。

## 仕組み

プロトコルは要件を宣言し、そのプロトコルへのextensionが、すべての準拠型が無料で継承するデフォルトの振る舞いを提供します。

```swift
protocol Identifiable {
    var id: String { get }          // requirement
}

protocol Describable {
    var name: String { get }
}

// Default implementation shared by ALL conformers
extension Describable {
    func describe() -> String { "Item: \(name)" }
}

struct Product: Identifiable, Describable {   // composes multiple protocols
    let id: String
    let name: String
}

Product(id: "1", name: "Book").describe()     // => "Item: Book" (free)
```

## プロトコルextension と クラス継承

- **structやenumも準拠できます** — POPは値型で機能しますが、クラス継承はできません。
- **複数準拠**: 型は多くのプロトコルを採用できますが、クラスはスーパークラスを1つしか持てません。
- **制約付きextension**は、意味のある場合にのみ振る舞いを追加します:

```swift
extension Collection where Element: Numeric {
    func total() -> Element { reduce(0, +) }   // only for numeric collections
}
[1, 2, 3].total()   // => 6
```

## 落とし穴

- **静的ディスパッチ と 動的ディスパッチ:** extension内でのみ定義された（プロトコルには宣言されていない）メソッドは、変数の宣言された型によって静的にディスパッチされます。そのため、準拠型でそれをオーバーライドしても、プロトコル型の参照を通じては呼ばれないことがあります。動的ディスパッチを得るにはプロトコルに宣言してください。

## なぜ重要なのか

POPはSwift標準ライブラリ（`Equatable`、`Collection`、`Codable`）とテスト可能なアーキテクチャの背骨です。プロトコルに依存し、準拠型をモックに差し替えます。面接官がこれを探るのは、あなたが深く脆いクラス階層を築く代わりにプロトコルで振る舞いを組み立てるかを見るためです。

protocolとextensionを使ったプロトコル指向プログラミングを説明してください。

仕組み

プロトコルextension とクラス継承

落とし穴

なぜ重要なのか

関連する質問

仕組み

プロトコルextension と クラス継承

落とし穴

なぜ重要なのか

関連する質問

プロトコルextension とクラス継承