型引数の制約によるオーバーロード - Qiita

(Swift 1.1, 2.1 で確認済み） SwiftのcountElements()を自前で実装する（or C++のSTLのような総称的な操作を行う）でサラっと触れましたが、Swiftでは型引数の制約（constraint）が違うとオーバーロードできるようです。典型的な使い方は、まさに件のエントリで触れたように、CollectionType.Indexがランダムアクセス可能かどうかで使うアルゴリズムをを静的に切り替えるというようなことです。 単純化すると次のようになるでしょうか。 protocol P { typealias I } struct A<T>: P { typealias I = T } func f<T: P where T.I: IntegerType>(a: T) -> String { return "f for T.I: IntegerType" } func