符合協議時的Swift類擴展

Question

是否可以提供僅為符合協議的類添加功能的擴展？ 我想要實現的功能是這樣的：

protocol Identifiable {
  var id: String { get }
}

class Model {
  func report(data: String) {
    ...
  }
}

class Thing: Model, Identifiable {
  var id: String
  ...
}

class Place: Model, Identifiable {
  var id: String
  ...
}

extension (Model + Identifiable) {

  func identifiy() {
    report("\(self.id)")
  }

}

// Invalid: Model().identify()
Place().identify() // OK
Thing().identify() // OK

無法擴展協議本身，因為擴展需要訪問model定義的方法。 擴展模型失敗，因為id僅在子對象上定義。 擴展Model: Identifiable失敗，因為Model不符合協議可Identifiable 。

Answer 1

您可以擴展Identifiable ，您只需要指定Self是Model或Model子類：

extension Identifiable where Self: Model {
    func identifiy() {
        report(id) 
        // `id` is already a `String` so there's 
        // no need to use String Interpolation.
    }
}