协议和泛型类型中的Swift类型
发布时间:2020-12-14 04:30:45 所属栏目:百科 来源:网络整理
导读:我有一个协议,有一个typealias: protocol Fooable { typealias T: Equatable func makeFoo() - T} 我希望,符合它的所有类型都将从makeFoo返回Equatable值. 现在我想创建一个数组扩展,它存储Fooable值: extension Array where Element: Fooable { func arra
我有一个协议,有一个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是不相关的类型. 您可以使用其他约束来解决此问题 func arrayFoo<F: Fooable,S where F.T == Element.T >(array: Array<F>,[F]) -> S) -> [S] { // ... } (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |