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

Question

我有一个协议，有一个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抱怨： Binary operator == cannot be applied to operands of type Element.T and FT

任何想法或解决方法？

Answer 1

在你的arrayFoo()方法中， array和self都是Fooable元素的数组，但不一定具有相同的底层类型T ，即Element.T和FT是不相关的类型。

您可以使用类型占位符上的where FT == Element.T附加约束来解决此问题：

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

Answer 2

我认为这个问题在Equatable协议中，查看它的声明：

@warn_unused_result
public func ==(lhs: Self, rhs: Self) -> Bool

你应该覆盖func ==并为此提供一些结果，或者Swift编译器不知道，热点比较它。 您使用泛型类型，例如，如何比较Int和String并未解决

let t = 0
let a = "string"
if t == a { // error
}