在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是一种协议需求，所以在这两种情况下都将动态地分派给它，因此您不需要担心调用错误的实现。

但是，当类符合您的协议时，当您考虑static计算属性中的static值时，会出现一个不同的情况。

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

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

protocol Identifiable {
    static var identifier: String { get }
}

extension Identifiable {
    static var identifier: String { return "\(self)" }
}

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

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

class C : Identifiable {}
class D : C {}

let d: C = D()

// 'I' inferred to be 'C', 'type(of: d)' is 'D.self'.
work(on: d)

// from Protocol: C
// using type(of:): D

在这种情况下，“哪个更好”完全取决于你想要的行为--静态的还是动态的。