swift - 区分 Swift 协议(protocol)中继承的 `associatedtype`

Question

我正在使用一个库，它定义了两个协议(protocol)，A 和 B，每个协议(protocol)都有它的 associatedtype T，像这样:

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

这两个协议(protocol)在 T 上没有耦合，因此理论上第三个协议(protocol)可以继承 A 和 B，typealiasing每个 T 到不同的类型。不幸的是，我无法让 Swift 区分这两个 T。我试过类似的东西:

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

但这不是受支持的语法。有办法解决这个问题吗？

Answer 1

这已在 Multiple protocols associatedtype name collision 中讨论过在 swift 论坛。吴晓迪写道:

It is very much possible, but the identically named associated types must be, in the conforming type, fulfilled by the same type.

In the future, there may be syntax added to allow types to conform to two protocols with such clashing requirements, but it adds great complexity in terms of implementation and is not without its own pitfalls for users (for example, it can get very confusing for end users of your type).

因此一个类型可以同时符合 A 和 B 以及相同的关联类型 T，例如

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

一个协议(protocol)可以同时继承A和B，并将T限制为相同的类型:

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

目前不支持同时符合具有不同关联类型的两种协议(protocol)。