Question

从外部图书馆我得到以下情况。

协议和基类：

protocol P1 {
    // P1 Stuff
}

class A {
    // A Stuff
}

然后有一个扩展，这会导致我的麻烦。它是针对P1和A类型的组合定义的。

extension P1 where Self : A {
    public func myDesiredFunc() {
        // Do stuff.
    }
}

最后还有我使用的实现B1 - Bn。

class B1 : A, P1 {
}
class B2 : A, P1 {
}
...

在我的代码中，我需要将B类的实例放在一起并与它们一起工作。问题是，我需要使用扩展功能myDesiredFunc()。所以我需要以某种方式定义，数组类型类似[(A & P1)]，生成函数的返回类型也是(A & P1)。

但是，使用此代码：

func createBeeInstance() -> (A & P1) {
    if something {
        return B1()
    } else if something {
        return B2()
    }
    ...
}

我收到错误：

非协议类型＆＃39; A＆＃39;不能在协议组合中使用。

有没有办法说返回类型是类和协议的组合？我无法更改方案，因为它是一个外部库。

Answer 1

一种可能的解决方案是定义一个协议，该协议定义A类型对象的基本性质（让我们调用新协议Aable），并制作{{1} } type符合它：

然后，您可以使用class A: Aable { // A stuff }而不是P1来约束Aable协议扩展名：

这将允许您将协议组合用于函数的返回类型...

extension P1 where Self : Aable {
    func myDesiredFunc() {
        // Do stuff.
    }
}

...以及数组的元素类型：

func createBeeInstance(useB1: Bool) -> (Aable & P1) {
    return useB1 ? B1() : B2()
}

Answer 2

Swift 4 ：

^ _ ^
现在可以在swift 4中编写类和协议，因此修改之前的代码片段应该可以正常工作

class A {
// A Stuff
required init () {}
}
protocol P1 {
// P1 Stuff
}

class B1 : A {}
class B3: P1 {}
class B2 : A, P1 {}

func createBeeInstance<T: P1 & A>(type: T.Type) -> T  {
return type.init()
 }

var things = [P1 & A]() // still Element has to be P1 as well
let f = createBeeInstance(type: B2.self)
//let f1 = createBeeInstance(type: B1.self) // will error
//let f2 = createBeeInstance(type: B3.self) // will error

things.append(f) // is fine

--- OLD Way无效 -

你可以用这种方式，让你提供的样本修改类A以具有init

class A {
    // A Stuff
    required init () {}
}

将createBee方法修改为

func createBeeInstance<T: P1>(type: T.Type) -> T where T: A {
    return type.init()
}

这样你就可以提供类型作为输入，例如B1.self

对于数组我们可以提供类型化的通用

typealias B<T:P1> = T where T: A

var things = [B<A>]() // still Element has to be P1 as well 
let f = createBeeInstance(type: B2.self)
let f1 = createBeeInstance(type: B1.self)
things.append(f)

Swift：func返回类型继承类并符合一个或多个协议

2 个答案: