为什么SequenceType.dropFirst(_:)返回Self.SubSequence而不是Self？

Question

试着理解 protocol

protocol SequenceType {
    associatedtype SubSequence
    @warn_unused_result func dropFirst(_ n: Int) -> Self.SubSequence
    /* ... */
}

为什么我们需要associatedtype SubSequence，为什么不需要Self，SequenceType

Answer 1

这样做是为了增加灵活性。允许符合SequenceType协议的类定义不同的类来表示其子序列，使实现者可以构造轻量级类，在不复制的情况下将视图呈现到原始序列中，同时保持重用与Subsequence相同的序列类型的能力。

考虑保持元素排序的树集集合的实现。dropFirst的实现可以返回链接到原始树的“子树”集合，但是有一个不同的起始节点。这种子树的实现可能非常轻量级--不管树的大小如何，您都需要相同的空间，即O(1)。相反，绑定实现者到同一个树类将迫使它们创建子树的副本，即O(n)。