如何將集合的 Swift 擴展限制為泛型類型？

Question

因為元組在 Swift 中不可散列，所以我創建了一個通用的 struct 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)