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

时间:2017-03-22 15:16:28

标签: swift generics swift-protocols

假设下面定义的协议:

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())

1 个答案:

答案 0 :(得分:1)

在您显示的示例中,没有区别。由于identifier是协议要求,因此在两种情况下都会动态调度它,因此您不必担心调用错误的实现。

但是,当类符合您的协议时,在self计算属性中考虑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

在这种情况下,&#34;哪个更好&#34;完全取决于你想要的行为 - 静态或动态。