为什么RangeReplaceableCollection需要一个空的初始化器？

Question

RangeReplaceableCollection需要实现init()。这个空的初始化器似乎用在init(_:)、init(repeating:count:)和removeAll(keepingCapacity:)的默认实现中，后者也应该可以用removeSubrange(_:)实现。

为什么这三个初始化器是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()放在它的主体中，那么除了三个初始化器和removeAll之外，一切都可以正常工作。

为什么RangeReplaceableCollection需要一个空的初始化器，而Collection不需要呢？

Answer 1

“空初始化器-在泛型函数中很有用，因为它允许函数创建相同类型的新的空集合”，正如objc.io "Advanced Swift“一书中提到的那样。

对我来说，这听起来像是实现应该是可选的，但值得在快速进化小组中讨论。

在您的情况下，为什么startIndex不能有默认值0？

添加：

实际上，这里已经讨论过了，https://lists.swift.org/pipermail/swift-users/Week-of-Mon-20160704/002510.html