协议和泛型类型中的Swift类型

2023年11月21日 203次阅读

我有一个协议,有一个typealias：

protocol Fooable {
    typealias T: Equatable
    func makeFoo() -> T
}

我希望,符合它的所有类型都将从makeFoo返回Equatable值.

现在我想创建一个数组扩展,它存储Fooable值：

extension Array where Element: Fooable {

    func arrayFoo<F: Foobable, S>(array: Array<F>, transform: (Element, [F]) -> S) -> [S] {

我希望,给定数组A,其中包含Fooable元素和数组B,其中包含我可以制作的Fooable元素：

a.arrayFoo(b, {...})

我有一部分arrayFoo函数：

var leftGenerator = self.generate()
var rightGenerator = array.generate()

if let leftValue = leftGenerator.next(), rightValue = rightGenerator.next() {
    let leftFoo = leftValue.makeFoo()
    let rightFoo = rightValue.makeFoo()

    if leftFoo == rightFoo {

我希望leftFoo和rightFoo是Equatable,因为它们是由makeFoo()生成的,它应该返回Equatables.

但Swift抱怨：二进制运算符==不能应用于Element.T和F.T类型的操作数

任何想法或解决方法？

最佳答案 在您的arrayFoo()方法中,array和self都是数组

Fooable元素,但不一定具有相同的底层元素

类型T,即Element.T和F.T是不相关的类型.

您可以使用其他约束来解决此问题
其中F.T == Element.T类型占位符：

func arrayFoo<F: Fooable, S where F.T == Element.T >(array: Array<F>, transform: (Element, [F]) -> S) -> [S] {
    // ...
}
点赞