在 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 是一个协议 requirement，在这两种情况下它都会被动态调度到，因此你不需要担心调用错误的实现。

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

self in a static method/computed 属性是调用它的元类型值。因此，当调用 I 时，self 将是 I.self – 这是编译器推断通用占位符 I 的 static 类型成为。在 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

在这种情况下，"which is better" 完全取决于您想要的行为 – 静态或动态。

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

What is the proper way to reference a static variable on a Swift Protocol?

generics

swift

swift-protocols