Swift 协议在 function 中具有相互递归关联的类型约束

Question

是否可以将 function 中的两个通用参数关联类型相互约束？

我正在尝试做这样的事情：

protocol One {
    associatedtype first: Two
}

protocol Two {
    associatedtype second: One
}

func f<O: One, T: Two>(o: O) -> T where O.first == T, T.second == O {
    fatalError()
}

它失败并出现以下错误：

'first' is not a member type of 'O'

'second' is not a member type of 'T'

Answer 1

通过删除 function 上的一个约束，我能够得到这个编译：

func f<O: One, T>(o: O) -> T where O.first == T, T.second == O {
    fatalError()
}

您不需要说T符合Two ，因为O.first == T已经暗示了这一点（因为O.first必须符合Two ）。 一旦我把它拿出来，这个就编译好了。