なぜSequenceType.dropFirst（_ :)はSelfの代わりにSelf.SubSequenceを返しますか？

Question

はSequenceType 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）というサブツリーのコピーが作成されます。