我在写一个递归下降解析器。我希望我的解析器能够处理UInt8的任何(或至少“多个”)集合(例如,不仅仅是Swift.Array)

func unpack<T: CollectionType where T.Generator.Element == UInt8>(t: T) {
    let m = t.dropFirst()
    //[do actual parsing here]
    unpack(m)
}

然而:
error: cannot invoke 'unpack' with an argument list of type '(T.SubSequence)'
note: expected an argument list of type '(T)'

这令人费解,因为:
dropFirst返回Self.SubSequence
CollectionType.SubSequenceSubSequence : Indexable, SequenceType = Slice<Self>
Slice是指CollectionType
因此,m应该是CollectionType
但是由于某种原因,这不起作用。如何定义unpack以便它可以递归地传递子序列?

最佳答案

Swift中不再有CollectionTypeArrayArraySlice都采用Sequence。您使用的dropFirst()方法在Sequence中声明。因此,可以将递归泛型函数设置为:

func unpack<T: Sequence>(t: T) where T.Element == UInt8 {
    let m = t.dropFirst()
    //[do actual parsing here]
    unpack(m)
}

关于swift - 递归解析CollectionType,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/34074624/

10-10 00:20