swift - 如何将集合的 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

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

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)