我在Android / Java项目中实现了一定的架构，我正在尝试重写它以适应一个swift / iOS项目。但是我发现了这个限制。
协议A.
protocol ProtocolA {
}
ProtocolB
protocol ProtocolB : ProtocolA {
}
ImplementProtocolA
class ImplementProtocolA <P : ProtocolA> {
let currentProtocol : P
init(currentProtocol : P) {
self.currentProtocol = currentProtocol
}
}
ImplementProtocolB
class ImplementProtocolB : ImplementProtocolA<ProtocolB> {
}
所以，当我尝试将ProtocolB设置为实现ProtocolA的具体类型时，我得到这个错误：
不支持使用“ProtocolB”作为符合协议“ProtocolA”的具体类型
有没有这个“限制”的理由？
2有没有解决方法来实现这一点？
3有什么需要支持吗？
– 更新 –
同样的问题的另一个变体，我想：
查看协议
protocol View {
}
protocol GetUserView : View {
func showProgress()
func hideProgress()
func showError(message:String)
func showUser(userDemo:UserDemo)
}
演示者协议
protocol Presenter {
typealias V : View
}
class UserDemoPresenter : Presenter {
typealias V = GetUserView
}
错误：
UserDemoPresenter.swift Possibly intended match ‘V’ (aka
‘GetUserView’) does not conform to ‘View’
那是什么？？它符合！
即使我使用View而不是GetUserView，它也不会编译。
class UserDemoPresenter : Presenter {
typealias V = View
}
UserDemoPresenter.swift Possibly intended match ‘V’ (aka ‘View’) does
not conform to ‘View’
xxDD我不明白，真的。
– 更新 –
随着Rob Napier提出的解决方案，问题不是固定的，而是延迟。
当尝试定义对UserDemoPresenter的引用时，我需要指定泛型类型，所以我得到相同的错误：
private var presenter : UserDemoPresenter<GetUserView>
Using ‘GetUserView’ as a concrete type conforming to protocol
‘GetUserView’ is not supported
func isEmpty(xs: Array) -> Bool {
return xs.count == 0
}
在理论上，这段代码可以工作，如果这样做会有很多我可以做的其他类型(如Functor和Monad，这在Swift今天不能表达)。但你不能。你需要帮助Swift把它钉在一个具体的类型上。我们通常用泛型：
func isEmpty<T>(xs: [T]) -> Bool {
return xs.count == 0
}
请注意，T在这里是完全冗余的。没有理由我应该表达它;它从来没有被使用过。但是Swift需要它，所以它可以将抽象数组变成具体的[T]。在你的情况下也是如此。
这是一个具体的类型(嗯，它是一个抽象类型，将被变成一个具体的类型，任何时间实例化和P填充)：
class ImplementProtocolA<P : ProtocolA>
这是一个完全抽象的类型，Swift没有任何规则变成具体的类型：
class ImplementProtocolB : ImplementProtocolA<ProtocolB>
你需要具体化。这将编译：
class ImplementProtocolB<T: ProtocolB> : ImplementProtocolA<T> {}
并且：
class UserDemoPresenter<T: GetUserView> : Presenter {
typealias V = T
}
只是因为你可能会遇到这个问题：如果你做这些结构或最终的课程，你的生活将会变得更加简单。混合协议，泛型和类多态性充满了非常锋利的边缘。有时你很幸运，只是不会编译。有时它会调用你不期望的东西。
您可能对A Little Respect for AnySequence有兴趣了解一些相关问题。
private var presenter : UserDemoPresenter<GetUserView>
这仍然是一个抽象类型。你意思是：
final class Something<T: GetUserView> {
private var presenter: UserDemoPresenter<T>
}
如果这造成问题，您需要创建一个框。请参阅Protocol doesn’t conform to itself?讨论如何进行类型擦除，以便可以保存抽象类型。但是你需要在具体的类型中工作。你最终不能专门从事协议。在大多数情况下，你必须最终专注于具体的事情。
