swift – 不支持使用一些协议作为符合另一个协议的具体类型

概述我正在尝试将泛型与协议混合起来，而且我真的很难xD 我在Android / Java项目中实现了一定的架构，我正在尝试重写它以适应一个swift / iOS项目。但是我发现了这个限制。 协议A. protocol ProtocolA {} ProtocolB protocol ProtocolB : ProtocolA {} ImplementProtocolA class Impleme 我正在尝试将泛型与协议混合起来，而且我真的很难xD

我在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

限制的根本原因是Swift没有一流的元类型。最简单的例子是这不行：

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?讨论如何进行类型擦除，以便可以保存抽象类型。但是你需要在具体的类型中工作。你最终不能专门从事协议。在大多数情况下，你必须最终专注于具体的事情。

总结

以上是内存溢出为你收集整理的swift – 不支持使用一些协议作为符合另一个协议的具体类型全部内容，希望文章能够帮你解决swift – 不支持使用一些协议作为符合另一个协议的具体类型所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。