使 swift 协议符合 Hashable

Question

我正在Hashable试图让Hashable与符合相同protocol多个struct一起工作。

我有一个协议SomeLocation声明如下：

protocol SomeLocation {
    var name:String { get }
    var coordinates:Coordinate { get }
}

然后我创建多个包含类似数据的对象，如下所示：

struct ShopLocation: SomeLocation, Decodable {
    var name: String
    var coordinates: Coordinate

    init(from decoder: Decoder) throws {
        ...
    }
}

struct CarLocation: SomeLocation, Decodable {
    var name: String
    var coordinates: Coordinate

    init(from decoder: Decoder) throws {
        ...
    }
}

我稍后可以通过声明在同一个数组中使用这些：

let locations: [SomeLocation]

问题是，我创建了一个MKAnnotation子类，并且需要在SomeLocation对象上使用自定义Hashable 。

final class LocationAnnotation:NSObject, MKAnnotation {
    let location:SomeLocation
    init(location:SomeLocation) {
        self.location = location
        super.init()
    }
}

override var hash: Int {
    return location.hashValue
}

override func isEqual(_ object: Any?) -> Bool {
    if let annot = object as? LocationAnnotation
    {
        let isEqual = (annot.location == location)
        return isEqual
    }
    return false
}

这给了我两个错误：

“SomeLocation”类型的值没有成员“hashValue”二元运算符

“==”不能应用于两个“SomeLocation”操作数

所以我将Hashable协议添加到我的SomeLocation协议中：

protocol SomeLocation: Hashable {
    ...
}

这消除了 hashValue 不可用的第一个错误，但现在我收到一个错误，我声明了let location:SomeLocation说

协议 'SomeLocation' 只能用作通用约束，因为它具有 Self 或关联类型要求

所以看起来我不能将Hashable添加到协议中。

我可以将Hashable直接添加到实现SomeLocation协议的每个结构中，但这意味着我需要使用这样的代码并在每次我可能创建另一个符合SomeLocation协议的对象时不断更新它。

override var hash: Int {
    if let location = location as? ShopLocation
    {
        return location.hashValue
    }
    return self.hashValue
}

我尝试了另一种方法，通过创建SomeLocationRepresentable结构：

struct SomeLocationRepresentable {
    private let wrapped: SomeLocation
    init<T:SomeLocation>(with:T) {
        wrapped = with
    }
}
extension SomeLocationRepresentable: SomeLocation, Hashable {
    var name: String {
        wrapped.name
    }
    
    var coordinates: Coordinate {
        wrapped.coordinates
    }
    
    func hash(into hasher: inout Hasher) {
        hasher.combine(name)
        hasher.combine(coordinates)
    }

    static func == (lhs: Self, rhs: Self) -> Bool {
        return lhs.name == rhs.name && lhs.coordinates == rhs.coordinates
    }
}

但是当我尝试在LocationAnnotation类中使用它时

let location: SomeLocationRepresentable
init(location:SomeLocation) {
    self.location = SomeLocationRepresentable(with: location)
    super.init()
}

我收到一个错误

协议类型“SomeLocation”的值不能符合“SomeLocation”； 只有结构/枚举/类类型可以符合协议

是否有可能实现我想要做的事情？ 使用所有符合协议的对象并使用自定义Hashable来比较一个对象？

Answer 1

从Hashable派生协议并使用类型橡皮擦可能会有所帮助：

protocol SomeLocation: Hashable {
    var name: String { get }
    var coordinates: Coordinate { get }
}

struct AnyLocation: SomeLocation {
    let name: String
    let coordinates: Coordinate
    
    init<L: SomeLocation>(_ location: L) {
        name = location.name
        coordinates = location.coordinates
    }
}

然后您可以简单地在结构上声明协议一致性，如果Coordinate已经是Hashable ，那么您不需要编写任何额外的散列代码代码，因为编译器可以自动为您合成（对于新类型也是如此）只要它们的所有属性都是Hashable ：

struct ShopLocation: SomeLocation, Decodable {
    var name: String
    var coordinates: Coordinate
}

struct CarLocation: SomeLocation, Decodable {
    var name: String
    var coordinates: Coordinate
}

如果Coordinate也是Codable ，那么您也可以省略为编码/解码操作编写任何代码，编译将合成所需的方法（前提是所有其他属性都已经是Codable ）。

然后，您可以通过转发初始化器约束在注释类中使用橡皮擦：

final class LocationAnnotation: NSObject, MKAnnotation {   
    let location: AnyLocation
    
    init<L: SomeLocation>(location: L) {
        self.location = AnyLocation(location)
        super.init()
    }
    
    override var hash: Int {
        location.hashValue
    }
    
    override func isEqual(_ object: Any?) -> Bool {
        (object as? LocationAnnotation)?.location == location
    }
}