クラス名やextensionのあとのwhereって何ですか？

Question

見ていただきありがとうございます。
表題通り下記のようなコードでwhereとselfの意味、使い方、どういう時にこのような形態をとるのか
教えていただきたいです。何をしているのかがわかりません。
優しい言葉でお願いします。よろしくお願いします。

extension Alertable where Self :UIViewController {

下記のサイトにも出てきています
https://tutorialmore.com/questions-2068503.htm

この場合Alertableを継承した（またはプロトコルなら批准）したクラスがUIViewControllerなら
extensionで追加した定義が使用できるという認識で合っていますでしょうか？

Answer 1

概ねは質問者さんの考えている通りです。

まず、このタイプのwhereは型制約と呼ばれてるものです。
クラスに言及していますが、通常のクラスの場合は使用できません。

protocol extension以外でもGenericsな型宣言や関数にも使用可能です。

制約自体の文法は２種類あります。
１つ目はprotocolの準拠あるいは継承していることを制約とするもので提示の : を使った文法です。
たとえば以下のstructAのプロパティaはEquatbleに準拠していることを要請しています。

struct A<T> where T: Equtable {
   let a: T
}

これは以下のように書かれているものと同等です。

struct A<T: Equatable> {
   let a: T
}

protocol extensionの場合はそれ自身の準拠の要請をする必要があるため、Selfが利用可能です。（Sは大文字です。）

extension Alertable where Self:　UIViewController {
   ...
}

Swift5.0から上記のようにクラスを指定できるようになりました。
なお、protocol extensionでこの型制約を用いた場合、

extension Alertable where Self:　UIViewController {
   
   func toDoubleHeight() {
      guard let frame = self.view?.frame else { return nil }
      self.view.frame = CGRect(x: frame.x, y: frame.y, width: frame.width, height: frame.height * 2.0)
   }
}

のようにUIViewControllerでなければ利用可能ではないプロパティやメソッドが利用できるようになります。

２つ目は型が特定の場合であることを要請する文法です。==を使います。

extension Array where Element == String {
   func joined() {
        return self.reduce("") { $0 + $1 }
   }
}

このように書くことでArray<String>にのみメソッドを増やすことが可能です。

Comments

[yasumaro]

具体例までありがとうございます。Selfをつける理由が理解できました。