递归解析 CollectionType答案

【问题标题】：Recursively parse a CollectionType递归解析 CollectionType
【发布时间】：2016-03-08 13:49:50
【问题描述】：

我正在编写一个递归下降解析器。我希望我的解析器可以处理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.SubSequence 是 SubSequence : Indexable, SequenceType = Slice<Self>
Slice 是 CollectionType。
因此，m 应该是 CollectionType。

但是由于某种原因，这不起作用。如何定义unpack 以便递归传递子序列？

【问题讨论】：

【解决方案1】：

Swift 中不再有CollectionType。 Array 和 ArraySlice 都采用 Sequence。您使用的dropFirst() 方法在Sequence 中声明。所以你可以像这样制作递归泛型函数：

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

【讨论】：