我创建了自定义序列类型,我希望函数接受任何类型的序列作为参数. (我想要使用两个集合,以及我的序列类型)
像这样的东西:
private func _addToCurrentTileset(tilesToAdd tiles: SequenceType)
有什么方法可以做到吗?
这似乎相对简单,但我无法以某种方式解决它. Swift工具链告诉我:
协议’SequenceType’只能用作通用约束,因为它具有Self或相关类型要求,我不知道如何创建符合SequenceType和Self要求的协议.
我可以消除associatedType要求,但不能取消Self:
protocol EnumerableTileSequence: SequenceType { associatedtype GeneratorType = geoBingAnCore.Generator associatedtype SubSequence: SequenceType = EnumerableTileSequence }
现在如果说我可以消除自我要求,那么已经使用这样的协议定义其他collectionType实体,如数组,集合将不符合它.
参考:
我的自定义序列是枚举器类型的所有子类,定义如下:
public class Enumerator<T> { public func nextObject() -> T? { RequiresConcreteImplementation() } } extension Enumerator { public var allObjects: [T] { return Array(self) } } extension Enumerator: SequenceType { public func generate() -> Generator<T> { return Generator(enumerator: self) } } public struct Generator<T>: GeneratorType { let enumerator: Enumerator<T> public mutating func next() -> T? { return enumerator.nextObject() } }
编译器告诉你答案:“协议’序列’只能用作通用约束,因为它具有自我或相关的类型要求”.
因此,您可以使用泛型来执行此操作:
private func _addToCurrentTileset<T: Sequence>(tilesToAdd tiles: T) { ... }
这将允许您将符合Sequence的任何具体类型传入您的函数. Swift将推断具体类型,允许您在不丢失类型信息的情况下传递序列.
如果要将序列中元素的类型限制为给定协议,可以执行以下操作:
private func _addToCurrentTileset<T: Sequence>(tilesToAdd tiles: T) where T.Element: SomeProtocol { ... }
或者具体类型:
private func _addToCurrentTileset<T: Sequence>(tilesToAdd tiles: T) where T.Element == SomeConcreteType { ... }
如果您不关心序列本身的具体类型(用于将它们混合在一起并且在大多数情况下存储它们),那么Anton’s answer已经为您提供了类型擦除版本的Sequence.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 [email protected] 举报,一经查实,本站将立刻删除。