如何使协议关联类型需要协议继承而不是协议采用

Question

在我的快速项目中，我有一种情况，我使用协议继承如下

protocol A : class{

}

protocol B : A{

}

我接下来要实现的是声明另一个具有关联类型的协议，该类型必须从protocol继承A。如果我尝试将其声明为：

protocol AnotherProtocol{
    associatedtype Type : A
    weak var type : Type?{get set}
}

它在编译时没有错误，但是AnotherProtocol在以下情况下尝试采用时：

class SomeClass : AnotherProtocol{

    typealias Type = B
    weak var type : Type?
}

编译失败，SomeClass并声明与不一致的错误AnotherProtocol。如果我正确理解这一点，则意味着Im在尝试声明并询问如何声明从协议继承的关联类型时B 不采用？AA

我基于以下情况进行编译的事实做出了上述假设

class SomeDummyClass : B{

}

class SomeClass : AnotherProtocol{

    typealias Type = SomeDummyClass
    weak var type : Type?
}

Answer 1

这很有趣。它似乎一旦你限制的类型associatedtype在给定的协议，您需要提供该协议（而不是其他协议类型）实施情况的具体类型-这就是为什么你的第二个例子的工作。

如果您删除A关联类型的约束，您的第一个示例将起作用（减去无法weak在非类类型上使用的错误，但这似乎并不相关）。

话虽如此，我似乎无法找到任何文件来证实这一点。如果有人能找到支持这一点的东西（或完全反对），我很想知道！

要使您当前的代码正常工作，您可以使用泛型。这实际上将一石激起二只鸟，因为您的代码现在将编译，您将受益于泛型带来的增加的类型安全性（通过推断您传递给它们的类型）。

例如：

protocol A : class {}
protocol B : A {}

protocol AnotherProtocol{
    associatedtype Type : A
    weak var type : Type? {get set}
}

class SomeClass<T:B> : AnotherProtocol {
    typealias Type = T
    weak var type : Type?
}

编辑：似乎上述解决方案在您的特定情况下不起作用，因为您想避免使用具体类型。我会把它留在这里，以防它对其他人有用。

在您的特定情况下，您可以使用类型擦除来为您的B协议创建伪具体类型。Rob Napier 有一篇关于类型擦除的很棒的文章。

在这种情况下，这是一个有点奇怪的解决方案（因为类型擦除通常用于包装协议associatedtypes），而且它也绝对不如上述解决方案更受欢迎，因为您必须为每个方法重新实现一个“代理”方法你的A&B协议——但它应该适合你。

例如：

protocol A:class {
    func doSomethingInA() -> String
}

protocol B : A {
    func doSomethingInB(foo:Int)
    func doSomethingElseInB(foo:Int)->Int
}

// a pseudo concrete type to wrap a class that conforms to B,
// by storing the methods that it implements.
class AnyB:B {

    // proxy method storage
    private let _doSomethingInA:(Void)->String
    private let _doSomethingInB:(Int)->Void
    private let _doSomethingElseInB:(Int)->Int

    // initialise proxy methods
    init<Base:B>(_ base:Base) {
        _doSomethingInA = base.doSomethingInA
        _doSomethingInB = base.doSomethingInB
        _doSomethingElseInB = base.doSomethingElseInB
    }

    // implement the proxy methods
    func doSomethingInA() -> String {return _doSomethingInA()}
    func doSomethingInB(foo: Int) {_doSomethingInB(foo)}
    func doSomethingElseInB(foo: Int) -> Int {return _doSomethingElseInB(foo)}
}

protocol AnotherProtocol{
    associatedtype Type:A
    weak var type : Type? {get set}
}

class SomeClass : AnotherProtocol {
    typealias Type = AnyB
    weak var type : Type?
}

class AType:B {
    // implement the methods here..
}
class AnotherType:B {
    // implement the methods here..
}

// your SomeClass instance
let c = SomeClass()

// set it to an AType instance
c.type = AnyB(AType())

// set it to an AnotherType instance
c.type = AnyB(AnotherType())

// call your methods like normal
c.type?.doSomethingInA()
c.type?.doSomethingInB(5)
c.type?.doSomethingElseInB(4)

您现在可以使用AnyB类型代替使用B协议类型，而无需对其进行更多类型限制。