先生と生徒の会話形式で理解しよう

生徒

「先生、Swiftのextensionやprotocolでwhereって書かれているコードを見たんですけど、これは何をしているんですか？」

先生

「とても大事なポイントですね。Swiftのwhere句は、条件を追加して拡張やプロトコルに制約をかける仕組みなんです。」

生徒

「条件を追加するって、具体的にはどういうことなんでしょう？」

先生

「例えば、ある型がIntやStringのときだけ動作するようにしたり、特定のプロトコルに準拠しているときだけメソッドを追加することができます。」

生徒

「なるほど！それって使える場面が多そうですね！」

先生

「はい、それでは実際の例を見ながら一緒に学んでいきましょう。」

1. Swiftのwhere句とは？

Swiftのwhere句は、拡張（extension）やプロトコル（protocol）に条件を加えるための便利な構文です。これを使うことで「この型がある条件を満たすときだけ」メソッドや機能を追加できます。プログラミング未経験の方にも分かりやすく説明すると、「特定の条件のときだけ道具箱に新しい道具を追加する仕組み」と考えると理解しやすいです。

2. extensionでのwhere句の基本

extensionは既存の型に新しい機能を追加するための仕組みです。where句を使うと、その拡張を特定の条件下でだけ有効にできます。

例えば、配列（Array）の要素がEquatable（比較可能）なときだけ使えるメソッドを追加してみましょう。


extension Array where Element: Equatable {
    func containsTwice(_ item: Element) -> Bool {
        return self.filter { $0 == item }.count >= 2
    }
}

let numbers = [1, 2, 3, 2, 4]
print(numbers.containsTwice(2))  // true
print(numbers.containsTwice(5))  // false


true
false

この例では、配列の要素が比較可能な場合にだけcontainsTwiceメソッドが追加されます。もし要素が比較できない型だと、このメソッドは使えません。

3. protocolでのwhere句の活用

プロトコルは「こんな機能を持っていますよ」と型に約束させる仕組みです。where句を使うことで、特定の条件を満たす場合にだけメソッドを用意できます。


protocol Printable {
    func printInfo()
}

extension Printable where Self: CustomStringConvertible {
    func printInfo() {
        print(self.description)
    }
}

struct User: Printable, CustomStringConvertible {
    var name: String
    var description: String {
        return "User name is \(name)"
    }
}

let user = User(name: "Taro")
user.printInfo()


User name is Taro

この例では、CustomStringConvertibleという「文字列として表現できる」プロトコルに準拠している場合だけ、printInfoメソッドが自動的に使えるようになります。

4. 複数条件を組み合わせたwhere句

where句は1つの条件だけでなく、複数の条件を組み合わせることも可能です。これによりさらに細かい制御ができます。


extension Array where Element: Numeric, Element: Comparable {
    func average() -> Element {
        let sum = self.reduce(0, +)
        return sum / Element(self.count)
    }
}

let scores = [80, 90, 100]
print(scores.average()) // 90

この例では、配列の要素が数値であり、かつ大小比較が可能なときだけ平均値を計算できるようにしています。