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

Question

假设一个协议(protocol)定义如下:

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 是一个协议(protocol)requirement，在这两种情况下它都会被动态分派(dispatch)，因此您不必担心调用了错误的实现。

但是，当类符合您的协议(protocol)时，当您在 static 计算属性中考虑 self 的值时，会出现一个区别。

静态方法/计算属性中的

self 是调用它的元类型值。因此，当调用 I 时，self 将是 I.self – 这是编译器推断的 static 类型通用占位符 I 是。当调用 type(of: identifiable) 时，self 将是 identifiable 实例的dynamic 元类型值。

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

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

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