區分Swift協議中繼承的`associatedtype`

Question

我正在使用一個庫來定義兩個協議A和B ，每個協議都有associatedtype T ，如下所示：

protocol A {
    associatedtype T
}
protocol B {
    associatedtype T
}

這兩個協議沒有在T上耦合，因此理論上第三個協議可以從A和B繼承， typealias每個T類型typealias不同的類型。 不幸的是，我無法讓Swift區分這兩個T 我嘗試過類似的東西：

protocol C: A, B {
    typealias A.T = String
    typealias B.T = String
}

但這不支持語法。 有辦法解決這個問題嗎？

Answer 1

這已在Swift論壇中的多協議關聯類型名稱沖突中討論過。 吳小迪寫道：

這是非常可能的，但是在相符類型中，相同名稱的關聯類型必須由相同類型實現。

在將來，可能會添加語法以允許類型符合具有此類沖突要求的兩個協議，但它在實現方面增加了極大的復雜性並且對用戶而言並非沒有它自己的陷阱（例如，它可能會變得非常混亂您的類型的最終用戶）。

因此，類型可以符合具有相同關聯類型T A和B兩者，例如

struct Foo: A, B {
    typealias T = String
}

並且協議可以從A和B繼承並將T限制為相同的類型：

protocol C: A, B where T == String {

}

目前不支持符合具有不同關聯類型的兩種協議。