RangeReplaceableCollectionに空のイニシャライザが必要なのはなぜですか？

Question

RangeReplaceableCollectionは、init()の実装が必要です。この空の初期化子は、init(_:),init(repeating:count:)およびremoveAll(keepingCapacity:)のデフォルトの実装で使用されているようですが、後者の実装もremoveSubrange(_:)で実装する必要があります。

なぜこれらの3つの初期化子がRangeReplaceableCollectionの一部ですか？

私はこれにどう対処しましたか：配列のように動作するコレクションを作成しましたが、Strideableに準拠する任意の一般的なインデックスを使用して添え字を付けることができます。このように宣言です：

public struct AnyIndexArray 
<Index: Strideable, Element where Index.Stride == Int> { 

    private var elements: [Element] 
    public var startIndex: Index 

    public init<S: Sequence where S.Iterator.Element == Element> 
     (elements: S, startIndex: Index) { 
     self.elements = Array(elements) 
     self.startIndex = startIndex 
    } 

} 

基になる配列がRangeReplaceableCollectionに準拠しているので、それはまた、このプロトコルにAnyIndexArrayに準拠するために理にかなって。しかし、最低でもstartIndexが必要なので空のイニシャライザを提供することはできません。とにかく空のイニシャライザを実装して、本体にfatalError()を置くと、3つのイニシャライザとremoveAllを除いてすべて正常に動作します。

RangeReplaceableCollectionとは何ですか、空のイニシャライザが必要ですが、Collectionはありませんか？

Answer 1

"空のイニシャライザは、objc.io" Advanced Swift "という言及と同じ型の新しい空のコレクションを作成できるため、汎用関数で便利です。

私にとっては、実装はオプションである必要がありますが、それは迅速な進化のグループで議論する価値があると思います。

なぜ、startIndexにデフォルト値0を設定できないのですか？

追加：実はそれはすでにここで議論された

https://lists.swift.org/pipermail/swift-users/Week-of-Mon-20160704/002510.html