如何将集合的 Swift 扩展限制为通用类型？

Question

因为元组在 Swift 中不可散列，所以我创建了一个通用结构 Couple 来包含两个元素，它们组合起来可以用作字典的键。

struct Couple<U: Hashable, V: Hashable>: Hashable {
    let u: U
    let v: V

    init( _ u: U, _ v: V ) {
        self.u = u
        self.v = v
    }
}
var dictionary: [ Couple<Int,Int> : Any ] = ...

现在，我想一般地使用 Couple 来扩展 Dictionary。

extension Dictionary where Key == Couple<U: Hashable, V: Hashable>, Value == Any {
    func exampleConvertToArray() -> [ ( U, V, Any ) ] {
    }
}

无论我如何在扩展语句中引用 Couple、U、V，编译器都会报错。如果我改为将泛型添加到函数定义中，编译器也会报错。

如果类型不是泛型 (extension Dictionary where Key == Couple<Int, Int>, Value == Any)，则一切正常。

如何创建这个通用扩展？

Answer 1

这是可能的，但不幸的是，通用约束必须在成员本身而不是整个成员上表达 extension:

struct Couple<U: Hashable, V: Hashable>: Hashable {
    let u: U
    let v: V

    init( _ u: U, _ v: V ) {
        self.u = u
        self.v = v
    }
}

extension Dictionary {
    func exampleConvertToArray<U, V>() -> [(U, V, Any)] where Key == Couple<U, V> {
        self.map { (key, value) in (key.u, key.v, value) }
    }
}

let input = [
    Couple(1, 2): 3,
    Couple(4, 5): 6,
    Couple(7, 8): 9,
]

let result = input.exampleConvertToArray()
print(result)

如何将集合的 Swift 扩展限制为通用类型？

How to restrict a Swift extension of a collection to a generic type?

generics

extension-methods

dictionary

swift