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。

但斯威夫特抱怨：Binary operator == cannot be applied to operands of type Element.T and F.T

任何想法或解决方法？

Answer 1

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

您可以使用其他约束来解决此问题类型占位符上的where F.T == 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编译器不知道，热得比较它。您使用的是通用类型，例如<{1}}和Int的比较尚无定论

String

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

2 个答案: