符合协议（作为协议）

Question

假设我有一个协议Item，以及一个符合它的结构ConcreteItem。

protocol Item {
    var name: String { get }
}

struct ConcreteItem: Item {
    let name: String
}

在某个时候，我想拥有两组ConcreteItem。

let set1 = Set([ConcreteItem(name: "item1")])
let set2 = Set([ConcreteItem(name: "item2"), ConcreteItem(name: "item1")])

我希望返回名称为 "item1" 的项目。

---

我可以使ConcreteItem 符合Hashable 并且Set 代码将起作用。但是，可以说我还有以下内容：

struct AnotherConcreteItem: Item {
    let name: String
}

我希望 AnotherConcreteItem 也符合 Hashable 只是因为符合 Item。

但是，当我尝试实现这个想法时：

extension Item: Hashable {
    var hashValue: Int {
        return name.characters.count
    }
}

我收到以下错误：Extension of protocol 'Item' cannot have an inheritance clause。

Answer 1

协议“项目”的扩展不能有继承子句

这里的项目是协议，所以符合Hashable 协议将不起作用。更多详情请参考here

Answer 2

您尝试做的事情可以通过某些协议实现，但不是全部。如果您尝试遵循的协议没有任何关联类型或Self，这是可能的。

例子：

protocol A {
    func foo()
}

protocol Item: A {
    var name: String { get }
}

struct ConcreteItem: Item {
    let name: String
}

extension Item {
    func foo() {

    }
}

符合Item 的所有内容也将符合A。

但是，Hashable 具有 Self 约束。要符合Hashable，您还必须符合Equatable。为了符合Equatable，== 的实现必须在具体类中，而不是在另一个协议中，因为Equatable 不能用作参数类型。你能做的最多是这样的：

protocol Item: Hashable {
    var name: String { get }
}

struct ConcreteItem: Item {
    let name: String
    // you need to implement == in every concrete class
    static func ==(lhs: ConcreteItem, rhs: ConcreteItem) -> Bool {
        return ...
    }
}

extension Item {
    var hashValue: Int {
        return name.characters.count
    }
}