在Swift协议上引用静态变量的正确方法是什么？

Question

假设下面定义了一个协议：

protocol Identifiable {
  static var identifier: String { get }
}
extension Identifiable {
  static var identifier: String { return "Default Id" }
}

引用静态变量的最佳方法是什么？下面的示例说明了两种访问变量的方法。有什么区别，type(of:)更好吗？

func work<I: Identifiable>(on identifiable: I) {
  let identifier: String = I.identifier
  print("from Protocol: \(identifier)")

  let identiferFromType: String = type(of: identifiable).identifier
  print("using type(of:): \(identiferFromType)")
}

struct Thing: Identifiable {
  static var identifier: String { return "Thing" }
}

work(on: Thing())

Answer 1

在您展示的示例中，没有区别。因为identifier这是协议要求，所以在这两种情况下都会动态分派，因此您无需担心调用错误的实现。

\n\n

但是，当类符合您的协议时，当您考虑计算属性self内部的值时，就会出现一个差异。static

\n\n

self静态方法/计算属性中的 是调用它的元类型值。因此，当调用 时I，self将是I.self\xe2\x80\x93，这是编译器推断通用占位符的静态I类型。当调用时type(of: identifiable)，self将是实例的动态元类型值identifiable。

\n\n

为了说明这种差异，请考虑以下示例：

\n\n

protocol Identifiable {\n    static var identifier: String { get }\n}\n\nextension Identifiable {\n    static var identifier: String { return "\\(self)" }\n}\n\nfunc work<I : Identifiable>(on identifiable: I) {\n    let identifier = I.identifier\n    print("from Protocol: \\(identifier)")\n\n    let identiferFromType = type(of: identifiable).identifier\n    print("using type(of:): \\(identiferFromType)")\n}\n\nclass C : Identifiable {}\nclass D : C {}\n\nlet d: C = D()\n\n// \'I\' inferred to be \'C\', \'type(of: d)\' is \'D.self\'.\nwork(on: d)\n\n// from Protocol: C\n// using type(of:): D\n

\n\n

在这种情况下，“哪个更好”完全取决于您想要 \xe2\x80\x93 静态或动态的行为。

\n