将现有（通用）swift 类扩展为可散列答案

【问题标题】：Extend existing (generic) swift class to be hashable将现有（通用）swift 类扩展为可散列
【发布时间】：2015-10-17 16:40:19
【问题描述】：

我有一些类要放入字典中，但是该类不符合 Hashable，我不能将其用作 Swift 字典中的键。由于它是一个类，它可以通过它在内存中的位置来识别，并且我很乐意使用它的标识符，所以类型本身无论如何都不属于值语义世界。

因此我声明了一个扩展来实现它

extension SomeGenericType : Hashable {

    public var hashValue: Int {
        return unsafeAddressOf(self).hashValue
    }

}

这似乎没问题，但是 Hashable 从 Equatable 继承，所以我也需要实现 tha，我的第一次尝试：

public func ==(lhs: SomeGenericType, rhs: SomeGenericType) -> Bool {
    return unsafeAddressOf(lhs) == unsafeAddressOf(rhs)
}

错误

 "Reference to generic type 'SomeGenericType' requires arguments in <...>"

...足够公平，让我们这样做

public func ==<T : SomeGenericType >(lhs: T, rhs: T) -> Bool {
    return unsafeAddressOf(lhs) == unsafeAddressOf(rhs)
}

现在它说

 "Reference to generic type 'SomeGenericType' requires arguments in <...>"

嗯，所以我可以使所有 SomeGenericType 都可以使用它，而不管它得到什么类型。也许我们可以把 AnyObject 放在那里？

public func ==<T : SomeGenericType<AnyObject>>(lhs: T, rhs: T) -> Bool {
    return unsafeAddressOf(lhs) == unsafeAddressOf(rhs)
}

好的，现在 == 很高兴，但显然我没有正确实现 Hashable，因为我的 Hashable 扩展现在有一个错误说：

"Type 'SomeGenericType<T>' does not conform to protocol 'Equatable'"

我尝试在 SomeGenericType 上摆弄一个受限扩展，但我似乎无法让一个类型的受限扩展采用另一种协议，语言语法似乎不允许它，所以我在这里有点麻烦

编辑，供参考 SomeGenericType 定义如下：

class SomeGenericType<T> {

}

【问题讨论】：

我已经编辑以展示 SomeGenericType 是如何实现的，当我扩展的类型不是通用时，原始版本可以工作

标签： swift generics

【解决方案1】：

正确的语法是

public func ==<T>(lhs: SomeGenericType<T>, rhs: SomeGenericType<T>) -> Bool {
    return unsafeAddressOf(lhs) == unsafeAddressOf(rhs)
}

操作数必须是 SomeGenericType 的实例相同类型占位符T。

对于 Swift 3， 使用 ObjectIdentifier 而不是 unsafeAddressOf。

【讨论】：

这样做的结果是，只有当它们的泛型类型相同时，我才能比较两个“someGenericTypes”的相等性，而在编译时我无法确定这一点。无论如何，最终结果是将各种 SomeGenericType （其中 T 可以是任何东西）作为键放入字典中。这甚至可能吗？基本上我想把它们放在一个异类集合中，我是否遇到了协议的自我要求问题的一个奇怪的变种，或者有没有办法解决这个问题。
@LukeDeFeo：据我所知，SomeGenericType<A> 和 SomeGenericType<B> 是不同/不相关的类型。然而，Equatable 协议需要一个运算符func ==(lhs: Self, rhs: Self) -> Bool，即一个实例与另一个相同类型的实例进行比较。 – 这可能是您想要的，但它会变得更加复杂。
我在你的意思下，你对值类型显然是正确的 SomeGenericType 和 SomeGenericType 是不相等的。但是，我稍微改变了规则，并根据内存中的位置（即引用语义）定义相等性。有没有办法在 swift 类型系统中表达这一点，或者当你采用 equatable 时，它是否会迫使你进入世界的价值语义观。
@LukeDeFeo：如果要将 SomeGenericType 和 SomeGenericType 的实例作为键放入同一个字典中，该字典应该具有什么类型？如果不指定 T，则无法定义类型为 [SomeGenericType : Int] 的字典。这里有一个远程类似的问题：stackoverflow.com/questions/33189345/set-and-protocols-in-swift。 – 您可以通过定义一个通用（非泛型）可哈希超类来解决它。
@LukeDeFeo：您可以将== 定义为func ==<A, B>(lhs: SomeGenericType<A>, rhs: SomeGenericType<B>)。然后你可以比较不同的“类型”。但这可能无助于将它们作为键放入同一个字典中。

【解决方案2】：

这是一个较老的问题，但我最近遇到了类似的问题，除了我有一个struct。

您可能想要实现 4 个不同的中缀运算符函数：

// #1
public func ==<T>(lhs: SomeGenericType<T>, rhs: SomeGenericType<T>) -> Bool {
    return lhs === rhs // it's a class right - check the reference
}

// #2
public func !=<T>(lhs: SomeGenericType<T>, rhs: SomeGenericType<T>) -> Bool {
    return !(lhs === rhs)
}

// #3
public func ==<T, U>(lhs: SomeGenericType<T>, rhs: SomeGenericType<U>) -> Bool {
    return lhs.hashValue == rhs.hashValue
}

// #4
public func !=<T, U>(lhs: SomeGenericType<T>, rhs: SomeGenericType<U>) -> Bool {
    return lhs.hashValue != rhs.hashValue
}

问题解决了吗？程序应该使用这些而不是标准库中的通用函数。

您也可以通过hashValue 查看所有内容。 ;)

【讨论】：